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). 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

Mapendano, C. K., Lykke-Andersen, S., Kjems, J., Bertrand, E. & Jensen, T. H. (2010). Crosstalk between mRNA 3’ end processing and transcription initiation. Molecular Cell, 40, 410-422.

Guerlin, C., Brion, E., Esslinger, T. & Mølmer, K. (2010). Cavity quantum electrodynamics with a Rydberg-blocked atomic ensemble. Physical Review A, 82(5), 053832. https://doi.org/10.1103/PhysRevA.82.053832

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.

Fedosov, S. (2010). Metabolic signs of vitamin B12 deficiency in humans: computational model and its implications for diagnostics. Metabolism, 59(8), 1124-1138.

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.

Kjeldsen, M. K., Pedersen, F. S., Johansen, P., Johnsen, H. E. & Dybkær, K. (2010). The role of SOX4 in malignant lymphopoiesis. Poster session presented at PhD Day, Århus, Denmark.

Kjeldsen, M. K., Pedersen, F. S., Johansen, P., Johnsen, H. E. & Dybkær, K. (2010). The role of SOX4 in malignant lymphopoiesis. Abstract from PhD Day, Århus, Denmark.

Elfving, B., Madsen, J. C. B. & Wegener, G. (2010). Chronic restraint stress alters vascular endothelial growht factor expression in frontal cortex. Poster session presented at Neuroscience 2010, San Diego, United States.

Petersen, A., Johansen, P., Pedersen, F. S., Johnsen, H. E. & Dybkær, K. (2010). Nodal and extranodal manifestations of Diffuse Large B-Cell Lymphoma differ in expression of specific microRNAs. Abstract from PhD Day, Århus, Denmark.

Dabrowska, M. J., Dybkær, K., Johansen, P., Johnsen, H. E. & Pedersen, F. S. (2010). Impact of growth factor independence 1 in human T-cell lymphomas; pathogenic potential identified by insertional mutagenesis in a murine T-cell lymphoma model. Poster session presented at Ph.D. Day, Århus, Denmark.

Jensen, G. V., Bremholm, M., Lock, N., Deen, R., Jensen, T. R., Iversen, B. B., Niederberger, M., Pedersen, J. S. & Birkedal, H. (2010). Anisotropic Crystal Growth Kinetics of Anatase TiO₂ Nanoparticles Synthesized in a Nonaqueous Medium. Chemistry of Materials, 22, 6044-6055.

Revsbech, N. P., Dalsgaard, T., Ulloa, O., Pavez, M., Canfield, D. E. & Thamdrup, B. (2010). In situ Determination of O₂ 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.

Ibsen, C. J. S. & Birkedal, H. (2010). Modification of bone-like apatite nanoparticle size and growth kinetics by alizarin red S. Nanoscale, 2(11), 2478-2486. https://doi.org/10.1039/c0nr00488j

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.

Byskov-Nielsen, J., Christensen, B. H., Le, D. Q. S., Christensen, M. N. & Balling, P. (2010). Fundamentals of femtosecond laser ablation of dielectric materials. AIP Conference Proceedings, 65-77. https://doi.org/10.1063/1.3507159

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.

Fournais, S. & Kachmar, A. (2011). Nucleation of bulk superconductivity close to critical magnetic fields. Advances in Mathematics, 226(2), 1213-1258. https://doi.org/10.1016/j.aim.2010.08.004

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

Kragh, H. (2010). (Review of:) D. Hoffmann, ed., Max Planck: Annalen Papers. Weinheim: Wiley. Archives Internationales d'Histoire des Idees, 60, 216-217.

Displaying results 19001 to 19050 out of 56770

381