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

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
Mrowietz, U., Kragballe, K., Reich, K., Spuls, P., Griffiths, C. E. M., Nast, A., Franke, J., Antoniou, C., Arenberger, P., Balieva, F., Bylaite, M., Correia, O., Daudén, E., Gisondi, P., Iversen, L., Kemény, L., Lahfa, M., Nijsten, T., Rantanen, T. ... Yawalkar, N. (2010). Definition of treatment goals for moderate to severe psoriasis: a European consensus. Archives of Dermatological Research. https://doi.org/10.1007/s00403-010-1080-1

Sortér efter: Dato | Forfatter | Titel