Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Cheng, A. & Nielsen, M. (1998). Open maps, behavioural equivalences, and congruences 1. Theoretical Computer Science, 190(1), 87-112. https://doi.org/10.1016/S0304-3975(97)00085-6

Joyal, A., Nielsen, M. & Winskel, G. (1996). Bisimulation from Open Maps. Information and Computation, 127(2), 164-185. https://doi.org/10.1006/inco.1996.0057

Sassone, V., Nielsen, M. & Winskel, G. (1996). Models for concurrency: towards a classification. Theoretical Computer Science, 170(1-2), 297-348. https://doi.org/10.1016/S0304-3975(96)80710-9

Nielsen, M. & Winskel, G. (1996). Petri nets and bisimulation. Theoretical Computer Science, 153(1-2), 211-244. https://doi.org/10.1016/0304-3975(95)00122-0

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1992). Elementary transition systems. Theoretical Computer Science, 96(1), 3-33. https://doi.org/10.1016/0304-3975(92)90180-N

Nielsen, M., Plotkin, G. & Winskel, G. (1981). Petri nets, event structures and domains, part I. Theoretical Computer Science, 13(1), 85-108. https://doi.org/10.1016/0304-3975(81)90112-2

Nielsen, M. & Clausen, C. (1995). Games and logics for a noninterleaving bisimulation. Nordic Journal of Computing, 2(2), 221-249.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1995). Transition-Systems, Event Structures, and Unfoldings. Information and Computation, 118(2), 191-207. https://doi.org/10.1006/inco.1995.1062

Jørgensen, H. B. H., Sørensen, P., Cooper, G. A., Lorenzen, E., Lorenzen, N., Hansen, M. H. H., Koop, B. F. & Henryon, M. (2011). General and family-specific gene expression responses to viral hemorrhagic septicaemia virus infection in rainbow trout (Oncorhynchus mykiss). Molecular Immunology, 48(8), 1046-1058. https://doi.org/10.1016/j.molimm.2011.01.014

Nielsen, M. (1974). On the decidability of some equivalence problems for DOL-systems. Information and Computation, 25(2), 166-193. https://doi.org/10.1016/S0019-9958(74)90857-2

Ravnsbæk, D., Filinchuk, Y., Cerny, R. & Jensen, T. R. (2010). Powder diffraction methods for studies of borohydride-based energy storage materials. Zeitschrift für Kristallographie - Crystalline Materials, 255, 557-569. https://doi.org/10.1524/zkri.2010.1357

Bomholdt Ravnsbæk, D., Frommen, C., Reed, D., Filinchuk, Y., Sørby, M., Hauback, B., Jakobsen, H. J., Book, D., Besenbacher, F., Skibsted, J. & Jensen, T. R. (2011). Structural studies of lithium zinc borohydride by neutron powder diffraction, Raman and NMR Spectroscopy. Journal of Alloys and Compounds, 509S, S698-S704.

Ezparza, J. & Nielsen, M. (1994). Decidability in Petri Nets - a Survey. Bulletin of the European Association for Theoretical Computer Science, 52, 244-262.

Ezparza, J. & Nielsen, M. (1994). Decidability issues for Petri Nets. Information Processing and Cybernetics, 30(3), 143-160.

Knudsen, H. (2010). Videnskabens mand: Fysiologen, formidleren og forskningsaktivisten Poul Brandt Rehberg. Aarhus Universitetsforlag.

Knudsen, H. (2010). Halvledermaterialer fra reaktorer: en innovationshistorie. Dansk Teknologihistorisk Selskab. http://www.teknologihistorie.dk/halvledermaterialer.pdf

Knudsen, H. (2009). Alexander Foss - ener og organisationsmenneske. 1066, 39(3), 32-33.

Knudsen, H. (2009). Spøgelser fra Edinburgh: Vidar Enebakk: Vitenskapsstudier: Historie, teori, kritikk. Slagmark: tidsskrift for idéhistorie , 54, 182-184.

Knudsen, H. (2009). En kerneforretning: Produktion, distribution og anvendelse af radioaktive isotoper i Danmark 1959-2000. Polhem, 06-07, 75-110. http://www.sntv.kva.se/files/Polhem%202006%E2%80%932007%20Knudsen.pdf

Knudsen, H. (2009). Hans Buhl: Buesenderen: Valdemar Poulsens radiosystem. Polhem, 06-07. http://www.sntv.kva.se/files/Polhem%202006%E2%80%932007%20Knudsen%20rec.pdf

Knudsen, H. (2009). Roger Smith: Being Human: Historical Knowledge and the Creation of Human Nature. Nyt fra Historien, 58(2).

Moatari Kazerouni, A., Poulsen, M. L. K., Friis, H., Svendsen, J. B. & Hansen, J. P. V. (2013). Illite/smectite transformation in detrital glaucony during burial diagenesis of sandstone: A study from Siri Canyon - Danish North Sea. Sedimentology, 60(3), 679-692. https://doi.org/10.1111/j.1365-3091.2012.01356.x

Kyng, M. & Nielsen, P. A. (1993). Domain Modelling and Application Frameworks. In The 16th IRIS Information Systems Research Seminar (pp. 221-235)

Björklund, M., Ranta, E., Kaitala, V., Bach, L. A. & Lundberg, P. (2011). Environmental fluctuations and level of density-compensation strongly affects the probability of fixation. Bulletin of Mathematical Biology, 73(7), 1666-1681. https://doi.org/10.1007/s11538-010-9587-3

Kyng, M. (1983). Specification and Verification of Networks in a Petri Net Based Language. In A. Pagnoni & G. Rozenberg (Eds.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets (pp. 181-198). Springer.

Deuretzbacher, F., Gebreyesus, G., Topic, O., Scherer, M., Lücke, B., Ertmer, W., Arlt, J., Klempt, C. & Santos, L. (2010). Parametric amplification of matter waves in dipolar spinor Bose-Einstein condensates. Physical Review A, 82(5), 053608. https://doi.org/10.1103/PhysRevA.82.053608

Kyng, M. (1977). Systemarbejde og Fagbevægelsesprojekter: Materiale fra marts-seminaret.

Arnbjerg, L. M., Bomholdt Ravnsbæk, D., Filinchuk, Y., Vang, R. T., Cerenius, Y., Besenbacher, F., Jørgensen, J. E., Jakobsen, H. J. & Jensen, T. R. (2009). Structure and Dynamics for LiBH₄-LiCl Solid Solutions. Chemistry of Materials, 21(24), 5772-5782. https://doi.org/10.1021/cm902013k

Kyng, M. & Mathiassen, L. (1976). Udkast til ansøgning om projekttilskud fra Teknologirådet.

Menezes, R., Attayde, J. L. & Vasconcelos, F. R. (2010). Effects of omnivorous filter-feeding fish and nutrient enrichment on the plankton community and water transparency of a tropical reservoir. Freshwater Biology, 767–779. https://doi.org/10.1111/j.1365-2427.2009.02319.x

Attayde, J. L. & Menezes, R. (2008). Effects of fish biomass and planktivore type on plankton communities. Journal of Plankton Research, 885–892. https://doi.org/10.1093/plankt/fbn051

Eskinazi-Sant'Anna, E. M., Menezes, R., Costa, I. S., Panosso, R., Araújo, M. & Attayde, J. L. (2007). Composição da comunidade zooplanctônica em reservatórios eutróficos do semi-árido do Rio Grande do Norte. Oecologia Brasiliensis. https://doi.org/10.4257/oeco.2007.1103.10

Attayde, J. L., Okun, N., Brasil, J., Menezes, R. & Mesquita, P. D. S. (2007). Impactos da introdução da tilápia do Nilo, Oreochromis niloticus, sobre a estrutura trófica dos ecossistemas aquáticos do Bioma Caatinga. Oecologia Brasiliensis, 450-461. https://doi.org/10.4257/oeco.2007.1103.13

Fadista, J., Thomsen, B., Holm, L.-E. & Bendixen, C. (2010). Copy number variation in the bovine genome. B M C Genomics, 11(article 284). https://doi.org/10.1186/1471-2164-11-284

Morueta-Holme, N., Normand, S., Fløjgaard, C., Skov, F. & Svenning, J.-C. (2010). Hvad kommer, hvad forsvinder. In Klima & Tilpasning: KFT's konferencemagasin 25. oktober 2010 (pp. 40-41). Koordineringsenhed for forskning i klimatilpasning.

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). Edb-systemer og klubarbejde på 12 virksomheder.

Kyng, M., Dybdal, E., Lundin, J. & Hansen, T. (1980). Klubarbejde og edb på Aalborg værft.

Kyng, M. (1980). Medbestemmelse på ny teknologi.

Fløjgaard, C., Morueta-Holme, N., Normand, S., Svenning, J.-C. & Skov, F. (2010). Værktøj til forvaltning af natur i forandring. In Klima & Tilpasning: KFT's konferencemagasin 25. oktober 2010 (pp. 42-43). Koordineringsenhed for forskning i klimatilpasning (KFT).

Jacobsen, H., Kensing, F., Kyng, M. & Mathiassen, L. (1981). Klubarbejde og EDB: Rapport om edb-udviklingen, dens konsekvenser og fagbevægelsens handlingsmuligheder - fra et projekt under Fagbevægelsens Forskningsråd. Fremad. DUE RAPPORT No. 4, 2. udgave

Kyng, M. (Ed.) (1974). EDB-rapporten: studier i datateknikkens udvikling og indflydelse på det danske samfund. Danske Studerendes Fællesråd, Studenterrådets Tryk.

Kyng, M. (1980). Medbestemmelse på ny teknologi. In O. Hammarström & M. fl. (Eds.), Förhandling eller partssammansatta grupper - om former för lokala partskontakter (pp. 72-83)

Jacobsen, H., Kyng, M. & Mathiassen, L. (1978). Demokrati, Udvikling og EDB. AOF' Forlag. DUE TEMAHÆFTE No. 1

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). EDB - elektronisk databehandling. AOF's Forlag. DUE TEMAHÆFTE No. 2

Jacobsen, H., Kyng, M. & Mathiassen, L. (1981). EDB til styring, planlægning og kontrol. AOF' Forlag. DUE TEMAHÆFTE No. 3

Kyng, M. & Mathiassen, L. (1979). Systems Development and Trade Union Activities. Department of Computer Science, Aarhus University.

Kyng, M. & Mogensen, P. H. (1992). Workpackage WP1 Task T1.3: Evaluation of EuroCoOp prototypes re work at Storebæltsforbindelsen (Great Belt Link Ltd.).

Braa, J., Sørgaard, P., Holmes, P., Mogensen, P. H., Kyng, M., Thüring, M. & Robinson, S. (1993). EuroCODE deliverable: D-1.2: Requirements for EuroCODE Systems.

Kyng, M. & Pedersen, B. M. (1974). Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment.

Kyng, M. (1976). Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula.

Displaying results 18301 to 18350 out of 54294

363

364

365