Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Lassen, K. B. & van Dongen, B. F. (2008). Translating Message Sequence Charts to other Process Languages using Process. Lecture Notes in Computer Science, 5100, 71-85. https://doi.org/10.1007/978-3-540-89287-8_5

Lund, M. S., Sørensen, P., Madsen, P. & Jaffrézik, F. (2008). Detection and modelling of time-dependent QTL in animal populations. Genetics Selection Evolution, 40(2), 177-194. https://doi.org/10.1051/gse:2007043

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. M. P. (2008). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Journal on Software Tools for Technology Transfer, 10(1), 15-26.

Lassen, K. B. & Tjell, S. (2007). Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. I K. Jensen (red.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 udg., s. 127-146)

Mans, R. S., van der Aalst, W. M. P., Bakker, P. J. M., Moleman, A. J., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. I K. Jensen (red.), Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 187-206)

Bækgaard, L., Jørgensen, J. B. & Lassen, K. B. (2007). On Industrial Use of Requirements Engineering Techniques. I M. Reichert, S. Strecker & K. Turowski (red.), Enterprise Modelling and Information Systems Architectures: Concepts and Applications, Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), St. Goar, Germany, October 8-9, 2007 (Bind P-119, s. 177-190). <Forlag uden navn>.

Filinski, A. & Støvring, K. (2007). Inductive Reasoning about Effectful Data Types. I Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 (s. 97-110). Society for Industrial and Applied Mathematics.

Le Bourg, E. & Rattan, S. (2008). Hormesis and aging: what's the deal? I Mild stress and healthy aging: applying hormesis in aging research and interventions (s. 1-4). Springer.

Rattan, S. (2008). Hormetic modulation of aging in human cells. I Mild stress and healthy aging: applying hormesis in aging research and interventions (s. 81-96). Springer.

Abete, P., Calabrese, E., Ji, L. L., Kristensen, T. N., Le Bourg, E., Loeschcke, V., Morris, B., Rengo, F., Rattan, S., Safwat, A., Sarup, P., Sørensen, J. G. & Vaiserman, A. (2008). Mild stress and healthy aging: perspectives for human beings. I Mild stress and healthy aging: applying hormesis in aging research and interventions (s. 171-183). Springer.

Fukuda, K., Jensen, A. N. & Thomas, R. R. (2007). Computing Gröbner fans. Mathematics of Computation, 76(260), 2189-2212. https://doi.org/10.1090/S0025-5718-07-01986-2

Goodwin, S. M. (2007). Counting conjugacy classes in sylow p-subgroups of Chevalley groups. Journal of Pure and Applied Algebra, 210(1), 201-218.

Hendricks, R., Sørensen, J. L., Champenois, C., Knoop, M. & Drewsen, M. (2008). Doppler cooling of calcium ions using a dipole-forbidden transition. Physical Review A, 77(021401(R)).

Damgård, I. B., Geisler, M. & Krøigaard, M. (2008). Homomorphic encryption and secure comparison. International Journal of Applied Cryptography, 1(1), 22-31. https://doi.org/10.1504/IJACT.2008.017047

Bogart, T., Jensen, A. N. & Thomas, R. R. (2007). The circuit ideal of a vector configuration. Journal of Algebra, 309(2), 518-842.

Brundan, J. & Goodwin, S. M. (2007). Good grading polytopes. Proceedings of the London Mathematical Society, 94(1), 155-180.

Bogart, T., Jensen, A. N., Speyer, D., Sturmfels, B. & Thomas, R. R. (2007). Computing tropical varieties. Journal of Symbolic Computation, 42(1-2), 54-73.

Nielsen, M., Krukow, K. K. & Sassone, V. (2007). Towards a Formal Framework for Computational Trust. I F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (red.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (s. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Skydsgaard, M. A., Meyer, M. K. K. & Kirkfeldt, S. (2007). Ægløsninger. At få børn med teknologien. 2D/3D (Fysisk produkt) .

Büscher, M., Kristensen, M. & Mogensen, P. H. (2008). Making the future palpable: Notes from a major incident Future Laboratory. International Journal of Emergency Medicine, 5(1/2), 145-163. https://doi.org/10.1504/IJEM.2008.019911

Mach, H., Fraile, L. M., Arndt, O., Blazhev, A., Boelaert, N., Borge, M. J. G., Boutami, R., Bradley, H., Braun, N., Brown, B. A., Butler, P. A., Covello, A., Dlouhy, Z., Fransen, C., Fynbo, H. O. U., Gargano, A., Hinke, C., Hoff, P., Joinet, A. ... Walters, W. B. (2007). The single-particle and collective features in the nuclei just above ¹³²Sn. Acta Physica Polonica B, 38(4).

Büscher, M., Mogensen, P. H. & Kristensen, M. (2008). When and How (Not) to Support IT? Supporting virtual emergency teamwork. I F. Fiedrich & B. Van de Walle (red.), ISCRAM 2008,: Technology Showcase - Communication Systems and Technologies for Crisis and Disaster Responses (Bind Session 2, Track 2, s. 167-176)

Ottosen, I. & Bökstedt, M. (2007). String cohomology groups of complex projective spaces. Algebr. Geom. Topol., 7, 2165-2238. https://doi.org/10.2140/agt.2007.7.2165

White, E. R., Mach, H., Fraile, L. M., Köster, U., Arndt, O., Blazhev, A., Boelaert, N., Borge, M. J. G., Boutami, R., Bradley, H., Braun, N., Dlouhy, Z., Fransen, C., Fynbo, H. O. U., Hinke, C., Hoff, P., Joinet, A., Jokinen, A., Jolie, J. ... Walters, W. B. (2007). Lifetime measurement of the 167.1 keV state in ⁴¹Ar. Physical Review C (Nuclear Physics), 76(057303).

Madurga, M., Borge, M. J. G., Fynbo, H. O. U., Jonson, B., Nyman, G., Prezado, Y., Riisager, K. V. & Tengblad, O. (2007). Multiple particle break-up study of low excited states in Be-9: The ghost peak in the Be-8 excitation energy spectrum visited. European Phys. Jour. - Special Topics, 150, 137-138.

Borge, M. J. G., Alcorta, M., Fynbo, H. O. U., Garcia, G., Jeppesen, H. B., Kirsebom, O. S., Madurga, M., Nyman, G., Obradors, D. & Tengblad, O. (2007). Mapping of the C-12* states via the B-10(He-3,p alpha alpha alpha) reaction. European Phys. Jour. - Special Topics, 150, 207-210.

Liu, B., Haag, N., Johansson, H., Schmidt, H. T., Cederquist, H., Nielsen, S. B., Zettergren, H., Hvelplund, P., Manil, B. & Huber, B. A. (2008). Electron capture induced dissociation of nucleotide anions in water nanodroplets. Journal of Chemical Physics, 128(075102).

Zhang, W. & Kunz, T. (2006). Product line based ontology development for semantic web service. I C. Chi-Hung, F. B. Bastani & X. Xiangyang (red.), Proceedings of the IEEE International Symposium on Service-Oriented System Engineering (SOSE 2006): Session 7: Service Discovery (s. 183-188). IEEE Computer Society Press. https://doi.org/10.1109/SOSE.2006.25

Zhang, W. & Kunz, T. (2006). Product line based ontology reuse in context-aware e-business environment. I Proceedings of the IEEE International Conference on e-Business Engineering: ICEBE 2006 (s. 138-145). IEEE Computer Society Press.

Zhang, W. & Kunz, T. (2006). A Product Line Enhanced Unified Process. I Q. Wang, D. Pfahl, D. M. Raffo & P. Wernick (red.), Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings (s. 142-149). Springer. https://doi.org/10.1007/11754305_16

Danvy, O. (red.), O’Hearn, P. & Wadler, P. (2006). Preface, Festschrift for John C. Reynolds's 70th birthday. I Theoretical Computer Science, Volume 375, Issues 1–3, (s. 1-2). Elsevier.

Biernacka, M. & Danvy, O. (2007). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. Theoretical Computer Science, 375(1-3), 76-108.

Mosegaard, L., Møller, B., Jørgensen, J.-E., Filinchuk, Y., Cerenius, Y., Hanson, J. C., Dimasi, E., Besenbacher, F. & Jensen, T. R. (2008). Reactivity of LiBH₄: In Situ Synchrotron Radiation Powder X-ray Diffraction Study. Journal of Physical Chemistry Part C: Nanomaterials and Interfaces, 112, 1299-1303.

Simula, T., Davis, M. J. & Blakie, P. B. (2008). Superfluidity of an interacting trapped quasi-two-dimensional Bose gas. Physical Review A, 77(023618). https://doi.org/10.1103/PhysRevA.77.023618

Jensen, A. N. (2007). A non-regular Gröbner fan. Discrete & Computational Geometry, 37(3), 443-453.

Jurkiewicz, A., Radutoiu, E. S., Jensen, E. Ø. & Stougaard, J. (2008). Analysis of legume-rhizobia interactions using different gfp-expressing rhizobia strains. Poster-session præsenteret på Plant Biotech Danmark Annual Meeting 2007, København, Danmark.

Cvitanich, C., Sandal, N. N., Jensen, D. B., Husted, S., Busk, H., Hougaard, B. K., Ørnfelt, J. H., Stougaard, J. & Jensen, E. Ø. (2008). Isolation and Characterization of Lotus japonicus Genes Involved in Iron and Zinc Homeostasis. Poster-session præsenteret på Zinc Crops 2007, Istanbul, Tyrkiet.

Cvitanich, C., Sandal, N. N., Jensen, D. B., Busk, H., Hougaard, B. K., Ørnfelt, J. H., Husted, S., Stougaard, J. & Jensen, E. Ø. (2008). Isolation and Characterization of Lotus japonicus Genes Involved in Iron and Zinc Homeostasis.. Poster-session præsenteret på Micronutrient forum, Istanbul, Tyrkiet.

Barndorff-Nielsen, O. E., Hansen, P. R., Lunde, A. & Shephard, N. (2008). Designing realized kernels to measure the ex post variation of equity prices in the presence of noise. Econometrica, 76(6), 1481-1536. https://doi.org/10.3982/ECTA6495

Cvitanich, C., Jensen, W., Sandal, N. N., Jensen, D. B., Busk, H., Husted, S., Stougaard, J. & Jensen, E. Ø. (2008). Isolation and characterization of Lotus japonicus genes involved in iron and zinc homeostasis. Poster-session præsenteret på Plant Biotech Denmark, København, Danmark.

Barndorff-Nielsen, O. E. & Schmiegel, J. (2008). Time change, volatility and turbulence. I A. Sarychev, A. Shiryaev, M. Guerra & M. D. R. Grossinho (red.), Mathematical Control Theory and Finance (s. 29-53). Springer.