Aarhus Universitets segl

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

Sassone, V., Nielsen, M. & Winskel, G. (1993). A classification of models for concurrency. I E. Best (red.), CONCUR'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (s. 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. I A. M. Borzyszkowski & S. Sokolowski (red.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (s. 682-692). Springer. https://doi.org/10.1007/3-540-57182-5_59
Mukund, M. & Nielsen, M. (1992). CCS, locations and asynchronous transition systems. I R. Shyamasundar (red.), Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings (s. 328-341). Springer. https://doi.org/10.1007/3-540-56287-7_116
Nielsen, M. (1991). Models for concurrency. I A. Tarlecki (red.), Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9-13, 1991 Proceedings (s. 43-46). Springer. https://doi.org/10.1007/3-540-54345-7_47
Nielsen, M. (1987). CCS - and its relationship to net theory. I W. Brauer, W. Reisig & G. Rozenberg (red.), 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 (s. 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. I G. Rozenberg (red.), Advances in Petri Nets 1984 (s. 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. I M. Joseph & R. Shyamasundar (red.), Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984 Proceedings (s. 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. I G. Kahn (red.), Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979 (s. 266-284). Springer. https://doi.org/10.1007/BFb0022474
Nielsen, M. (1974). Equivalence of L-systems. I G. Rozenberg & A. Salomaa (red.), L Systems (s. 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 præsenteret på MC 2010, Stockholm, Sverige.
Winskel, G. & Nielsen, M. (1993). Models for Concurrency. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 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. I F. Thomsen & J. Holtermann (red.), Filosofi: 5 Spørgsmål (s. 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 præsenteret på Oceans 2010, Portland, USA.
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 præsenteret på ISME 13, Seattle, USA.
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 præsenteret på Psykiatriens 5. Forskningsdag, Risskov, Danmark.
Jensen, V. P., Wiborg, O., Sinning, S. & Müller, H. K. (2010). Et nyt regulatorisk motiv i serotonintransporteren. Poster-session præsenteret på Psykiatriens 5. Forskningsdag, Risskov, Danmark.
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 præsenteret på Psykiatriens 5. Forskningsdag, Risskov, Danmark.
Canfield, D. E., Stewart, F. J., Thamdrup, B., De Brabandere, L., Dalsgaard, T., Delong, E. F., Revsbech, N. P. & Ulloa, O. (2010). A cryptic sulfur cycle in oxygen-minimum-zone waters off the Chilean Coast. Science, 330(6009), 1375-1378. https://doi.org/10.1126/science.1196889

Sortér efter: Dato | Forfatter | Titel