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

Cheng, A. & Nielsen, M. (1996). Open maps, behavioural equivalences, and congruences. I H. Kirchner (red.), Trees in Algebra and Programming - CAAP '96: 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings (s. 257-271). Springer. https://doi.org/10.1007/3-540-61064-2_42

Klarlund, N., Nielsen, M. & Sunesen, K. (1996). Automated logical verification based on trace abstractions. I PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (s. 101-110). Association for Computing Machinery. https://doi.org/10.1145/248052.248069

Bally, M., Bailey, K., Sugihara, K., Grieshaber, D., Voros, J. & Stadler, B. (2010). Liposome and Lipid Bilayer Arrays Towards Biosensing Applications. Small, 6(22), 2481-2497.

Stadler, B., Price, A. D. & Zelikin, A. N. (2011). A Critical Look at multilayered Polymer Capsules in Biomedicine: Drug Carriers, Artificial organelles, and Cell Mimic. Advanced Functional Materials, 21(1), 14-28.

Hosta-Rigau, L., Chandrawati, R., Saveriades, E., Odermatt, P. D., Postma, A., Ercole, F., Breheney, K., Wark, K. L., Stadler, B. & Caruso, F. (2010). Noncovalent Liposome Linkage and Miniaturization of Capsosomes for Drug Delivery. Biomacromolecules, 11, 3548-3555.

Sunesen, K. & Nielsen, M. (1996). Behavioural equivalence for infinite systems - Partially decidable! I J. Billington & W. Reisig (red.), Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings (s. 460-479). Springer. https://doi.org/10.1007/3-540-61363-3_25

Nielsen, M. & Cheng, A. (1995). Observing behaviour categorically. I P. S. Thiagarajan (red.), Foundations of Software Technology and Theoretical Computer Science: 15th Conference Bangalore, India, December 18-20, 1995 Proceedings (s. 263-278). Springer. https://doi.org/10.1007/3-540-60692-0_54

Herrmann, R., Greilich, S., Grzanka, L. & Bassler, N. (2011). Amorphous track predictions in ‘libamtrack’ for alanine relative effectiveness in ion beams. Radiation Measurements, 46(12), 1551-1553. https://doi.org/10.1016/j.radmeas.2011.05.066

Nielsen, M., Priese, L. & Sassone, V. (1995). Characterizing behavioural congruences for Petri nets. I I. Lee & S. A. Smolka (red.), CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21-24, 1995 Proceedings (s. 175-189). Springer. https://doi.org/10.1007/3-540-60218-6_13

Nielsen, M. & Clausen, C. (1994). Bisimulation for models in concurrency. I B. Jonsson & J. Parrow (red.), CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22-25, 1994 Proceedings (s. 385-400). Springer. https://doi.org/10.1007/BFb0015021

Sarup, P. M., Sørensen, J. G., Kristensen, T. N., Hoffmann, A. A., Loeschcke, V., Paige, K. N. & Sørensen, P. (2011). Candidate Genes Detected in Transcriptome Studies are Strongly Dependent on Genetic Background. P L o S One, 6(1), 1-5. https://doi.org/10.1371/journal.pone.0015644

Nielsen, M. & Clausen, C. (1994). Bisimulations, games, and logic. I J. Karhumäki, H. Maurer & G. Rozenberg (red.), Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings (s. 289-306). Springer. https://doi.org/10.1007/3-540-58131-6_54

Nielsen, M., Sassone, V. & Winskel, G. (1994). Relationships between models of concurrency. I J. W. de Bakker, W. .-P. de Roever & G. Rozenberg (red.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1-4, 1993 Proceedings (s. 425-476). Springer. https://doi.org/10.1007/3-540-58043-3_25

Joyal, A., Nielsen, M. & Winskel, G. (1993). Bisimulation and open maps. I Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93., (s. 418-427). IEEE Computer Society Press. https://doi.org/10.1109/LICS.1993.287566

Avid, O., Toker, J., Rajput, J., Strasser, D., Heber, O., Schwalm, D., Zajfman, D. & Andersen, L. H. (2010). Search for dimer emission from photoexcited Al₄^-. Physical Review A, 82(3), 035201. https://doi.org/10.1103/PhysRevA.82.035201

Gopalan, A., Antoine, R., Klærke, B., Lemoine, J., Racaud, A., Rahbek, D. B., Rajput, J., Dugourd, P. & Andersen, L. H. (2010). Sub-microsecond photodissociation pathways of gas phase adenosine 5'-monophosphate nudeotide ions. Physical Chemistry Chemical Physics, 12, 3486-3490. https://doi.org/10.1039/B921038E

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

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. B R I C S Report Series, (RS-99-19).

Jurdzinski, M. & Nielsen, M. (1999). Hereditary history preserving simulation is undecidable. B R I C S Report Series, (RS-99-1).

Cheng, A. & Nielsen, M. (1995). Open Maps (at) Work. B R I C S Report Series, (RS-95-23).

Klarlund, N., Nielsen, M. & Sunesen, K. (1995). A case study in automated verification based on trace abstractions. B R I C S 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 PB Bind 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. 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.

Kjeldsen, M. K., Pedersen, F. S., Johansen, P., Johnsen, H. E. & Dybkær, K. (2010). The role of SOX4 in malignant lymphopoiesis. Poster-session præsenteret på PhD Day, Århus, Danmark.

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

Viser resultater 18401 til 18450 ud af 54019