Aarhus University Seal

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

Sassone, V., Nielsen, M. & Winskel, G. (1993). A classification of models for concurrency. In E. Best (Ed.), CONCUR'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (pp. 82-96). Springer. https://doi.org/10.1007/3-540-57208-2_7
Rajput, J., Rahbek, D. B., Andersen, L. H., Hirshfeld, A., Sheves, M., Altoè, P., Orlandi, G. & Garavelli, M. (2010). Probing and Modeling the Absorption of Retinal Protein Chromophores in Vacuo. Angewandte Chemie International Edition, 49(10), 1790-1793. https://doi.org/10.1002/anie.200905061
Sassone, V., Nielsen, M. & Winskel, G. (1993). Deterministic behavioural models for concurrency. In A. M. Borzyszkowski & S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (pp. 682-692). Springer. https://doi.org/10.1007/3-540-57182-5_59
Mukund, M. & Nielsen, M. (1992). CCS, locations and asynchronous transition systems. In R. Shyamasundar (Ed.), Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings (pp. 328-341). Springer. https://doi.org/10.1007/3-540-56287-7_116
Nielsen, M. (1991). Models for concurrency. In A. Tarlecki (Ed.), Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9-13, 1991 Proceedings (pp. 43-46). Springer. https://doi.org/10.1007/3-540-54345-7_47
Nielsen, M. (1987). CCS - and its relationship to net theory. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.-19. September 1986 (pp. 393-415). Springer. https://doi.org/10.1007/3-540-17906-2_32
Férnandez, C., Nielsen, M. & Thiagarajan, P. S. (1985). A note on observable occurrence nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1984 (pp. 122-138). Springer. https://doi.org/10.1007/3-540-15204-0_8
Nielsen, M. & Thiagarajan, P. S. (1984). Degrees of non-determinism and concurrency: A Petri net view. In M. Joseph & R. Shyamasundar (Eds.), Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984 Proceedings (pp. 89-117). Springer. https://doi.org/10.1007/3-540-13883-8_66
Nielsen, M., Plotkin, G. & Winskel, G. (1979). Petri nets, event structures and domains. In G. Kahn (Ed.), Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979 (pp. 266-284). Springer. https://doi.org/10.1007/BFb0022474
Nielsen, M. (1974). Equivalence of L-systems. In G. Rozenberg & A. Salomaa (Eds.), L Systems (pp. 142-145). Springer. https://doi.org/10.1007/3-540-06867-8_11
Jurdzinski, M. & Nielsen, M. (1999). Hereditary History Preserving Bisimilarity Is Undecidable. BRICS Report Series, (RS-99-19).
Jurdzinski, M. & Nielsen, M. (1999). Hereditary history preserving simulation is undecidable. BRICS Report Series, (RS-99-1).
Cheng, A. & Nielsen, M. (1995). Open Maps (at) Work. BRICS Report Series, (RS-95-23).
Klarlund, N., Nielsen, M. & Sunesen, K. (1995). A case study in automated verification based on trace abstractions. BRICS Report Series, (RS-95-54).
Herrmann, R., Greilich, S., Grzanka, L., Lühr, A. & Bassler, N. (2010). Detector response calculated with libamtrack compared with data for different solid state detectors. Poster session presented at MC 2010, Stockholm, Sweden.
Winskel, G. & Nielsen, M. (1993). Models for Concurrency. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 429
Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1991). Elementary Transition Systems and Refinement. Department of Computer Science, Aarhus University.
Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1991). Transition Systems, Event Structures and Unfoldings. Department of Computer Science, Aarhus University.
Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1990). Elementary Transition Systems. Department of Computer Science, Aarhus University.
Fernández, C., Nielsen, M. & Thiagarajan, P. S. (1986). Notions of Realizable Non-Sequential Processes. Department of Computer Science, Aarhus University.
Berstel, J. & Nielsen, M. (1974). EOL and ETOL Systems with Control Devices. Department of Computer Science, Aarhus University.
Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S. (1974). Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems: Part I & II. Department of Computer Science, Aarhus University.
Nielsen, M. (1973). On the Decidability of some Equivalence Problems for Dol-Systems. Department of Computer Science, Aarhus University.
Nielsen, M. (1973). On Decomposition of Stochastic Finite-State Systems. Department of Computer Science, Aarhus University.
Siega, P., Wuerges, J., Arena, F., Gianolio, E., Fedosov, S., Dreos, R., Geremia, S., Aime, S. & Randaccio, L. (2009). Release of toxic Gd3+ ions to tumour cells by vitamin B12 bioconjugates. Chemistry: A European Journal, 15, 7980-7989.
Quadros, E., Lai, S.-C., Nakayama, Y., Sequeira, J., Hannibal, L., Wang, S., Jacobsen, D., Fedosov, S., Wright, E., Gallagher, R., Anastasio, N., Watkins, D. & Rosenblatt, D. (2010). Positive newborn screen for methylmalonic aciduria identifies the first mutation in TCblR/CD320, the gene for cellular uptake of transcobalamin-bound vitamin B12. Human Mutation, 31(8), 924-929.
Kragh, H. (2010). The childhood of H3 and H3+. Astronomy & Geophysics, 51, 6.25-6.29.
Kragh, H. (2010). Helge Kragh. In F. Thomsen & J. Holtermann (Eds.), Filosofi: 5 Spørgsmål (pp. 97-108). Automatic Press.
Kragh, H. (2010). Fysisk eskatologi: Universet og det evige liv. Kvant: Tidsskrift for Fysik og Astronomi, 20, 27-32.
Revsbech, N. P., Dalsgaard, T., Ulloa, O., Pavez, M., Canfield, D. E. & Thamdrup, B. (2010). In situ Determination of O2 Concentrations in Oxygen Minimum Zones. Poster session presented at Oceans 2010, Portland, United States.
Revsbech, N. P., Tiano, L., Dalsgaard, T., Thamdrup, B., De Brabandere, L. & Canfield, D. E. (2010). Kinetics of oxygen respiration by seawater microbial communities. Poster session presented at ISME 13, Seattle, United States.
Vázquez-Padín, J., Mosquera-Corral, A., Campos, J. L., Méndez, R. & Revsbech, N. P. (2010). Microbial community distribution and activity dynamics of granular biomass in a CANON reactor. Water Research, 44, 4359-4370. https://doi.org/10.1016/j.watres.2010.05.041
Stolper, D., Revsbech, N. P. & Canfield, D. E. (2010). Aerobic growth at nanomolar oxygen concentrations. Proceedings of the National Academy of Sciences (PNAS), 107(44), 18755-18760. https://doi.org/10.1073/pnas.1013435107
Gregersen, N., Buttenschøn, H. N., Dahl, H. A., Foldager, L., Als, T. D., Wang, A., Joensen, S., Kristensen, A. S., Woldbye, D., Koefoed, P., Kruse, T. A., Børglum, A. & Mors, O. (2010). Association mellem markører på kromosom 19p13 og panikangst. Poster session presented at Psykiatriens 5. Forskningsdag, Risskov, Denmark.
Jensen, V. P., Wiborg, O., Sinning, S. & Müller, H. K. (2010). Et nyt regulatorisk motiv i serotonintransporteren. Poster session presented at Psykiatriens 5. Forskningsdag, Risskov, Denmark.
Nielsen, M. H., Severinsen, K., Jensen, M., Jensen, H. H., Wiborg, O. & Sinning, S. (2010). In vitro evaluering af nye potentielt forbedrede antidepressiva. Poster session presented at Psykiatriens 5. Forskningsdag, Risskov, Denmark.

Sort by: Date | Author | Title