Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Nielsen, M. & Rovan, B. (Eds.) (2005). Introduction - Combined TCSA/TCSB issue - Mathematical Foundations of Computer Science 2000. Theoretical Computer Science, 340(3), 457-458. https://doi.org/10.1016/j.tcs.2005.03.010

Nielsen, M. L. (2007). Conceptions of Object-oriented Terms: A Study in Progress. In Proceedings of WIP-PPIG 2007 Psychology of Programming Interest Group.

Nielsen, M. B., Nilsson, O., Soderstrom, A. & Museth, K. (2007). Out-Of-Core and Compressed Level Set Methods. A C M Transactions on Graphics, 26(4).

Nielsen, M. B., Nilsson, O., Soderstrom, A. & Museth, K. (2006). Virtually Infinite Deformable Surfaces. In ACM SIGGRAPH 2006 Society for Industrial and Applied Mathematics.

Nielsen, J. & Grønbæk, K. (2006). MultiLightTracker: Vision based simultaneous multi object tracking on semi-transparent surfaces. In Proceedings of the Conference on Computer Vision Theory and Applications Institute for Systems and Technologies of Information, Control and Communication.

Nielsen, M. & Krukow, K. (2007). Trust Structures. International Journal of Information Security, 6(2-3), 153-181.

Nielsen, M., Krukow, K. & Sassone, V. (2007). A Bayesian Model for Event-based Trust. Electronic Notes in Theoretical Computer Science, 172, 499-521. https://doi.org/10.1016/j.entcs.2007.02.017

Nielsen, J. D. & Schwartzbach, M. I. (2007). A Domain-Specific Programming Language for Secure Multiparty Computation. In Preceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (pp. 21-31). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1255329.1255333

Nielsen, M., Krukow, K. K. & Sassone, V. (2008). A Logical Framework for Reputation Systems. Journal of Computer Security, 16(1), 63-101. http://iospress.metapress.com/link.asp?id=2330826723581x76

Nielsen, A. B. (2007). Ensuring that User Defined Code does not See Uninitialized Fields. In O. Zendra, E. Jul & M. Cebulla (Eds.), ICOOOLPS '07: Proceedings of the Second ECOOP Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems (pp. 39-46). Technische Universität Berlin.

Nielsen, M. & Engberg, U. H. (Eds.) (2002). Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Springer. Lecture Notes in Computer Science Vol. 2303 https://doi.org/10.1007/3-540-45931-6

Nielsen, M., Aranda, J. A., Di Giusto, C. & Valencia, F. (2007). CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. In Z. Shao (Ed.), Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings (pp. 383-398). Springer. https://doi.org/10.1007/978-3-540-76637-7_26

Nielsen, M., Krukow, K. K. & Sassone, V. (2007). Towards a Formal Framework for Computational Trust. In F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (Eds.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (pp. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Nielsen, J. B. (Ed.), Alwen, J., Cachin, C., Pereira, O., Sadeghi, A.-R., Schoenmakers, B., Shelat, A. & Visconti, I. (2007). Summary Report on Rational Cryptographic Protocols. ECRYPT - European Network of Excellence in Cryptology.

Nielsen, J. B. (Ed.), Damgård, I. B., Salvail, L. & Cachin, C. (2006). Summary Report on Unconditionally Secure Protocols. (pp. 1- 25). ECRYPT - European Network of Excellence in Cryptology.

Nielsen, M., Krukow, K. & Sassone, V. (2008). Trust Models in Ubiquitous Computing. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 366(1881), 3781-3793. https://doi.org/10.1098/rsta.2008.0134

Nielsen, A. B. & Ernst, E. (2008). Optimizing Dynamic Class Composition in a Statically Typed Language. In R. Freeman Paige & B. Meyer (Eds.), Objects, Components, Models and Patterns: 46th International Conference , TOOLS EUROPE 2008, Zurich, Switzerland, June/July 2008 (11 ed., Vol. LNBIP, pp. 161-177). Springer. https://doi.org/10.1007/978-3-540-69824-1_10

Nielsen, M., Engberg, U. H. & Larsen, K. S. (1988). Fully abstract models for a process language with refinement. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (pp. 523-548). Springer. https://doi.org/10.1007/BFb0013034

Nielsen, J. & Mailund, T. (2008). SNPFile - A software library and file format for large scale association mapping and population genetics studies. BMC Bioinformatics, 9(526), 1-11. https://doi.org/10.1186/1471-2105-9-526

Nielsen, J. K., Freckmann, G., Kapitza, C., Ocvirk, G., Koelker, K. H., Amann-Zalan, I., Gillen, R., Kamecke, U., Jendrike, N., Christiansen, J. S., Koschinsky, T. & Heinemann, L. (2009). Glucose monitoring by microdialysis: performance in a multicentre study. Diabetic Medicine, 26(7), 714-21. https://doi.org/10.1111/j.1464-5491.2009.02750.x

Nielsen, J. B. & Orlandi, C. (2009). LEGO for Two-Party Secure Computation. Lecture Notes in Computer Science, 5444, 368-386. https://doi.org/10.1007/978-3-642-00457-5_22

Nielsen, J. D. & Schwartzbach, M. I. (2007). The SMCL Language Specification.

Nielsen, A. B. & Ernst, E. (2009). Virtual Class Support at the Virtual Machine Level. In H. Rajan, C. Bockisch, M. Haupt & R. Dyer (Eds.), Proceedings of The 3rd workshop on Virtual Machines and Intermediate Languages (VMIL) Association for Computing Machinery. https://doi.org/10.1145/1711506.1711507

Nielsen, J., Pedersen, C. S. & Hein, J. (2009). Investigation of a simple heuristic improving the speed of statistical alignments. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.

Nielsen, M. B., Christensen, B. B., Bin Zafar, N., Roble, D. & Museth, K. (2009). Guiding of Smoke Animations Through Variational Coupling of Simulations at Different Resolutions. ACM SIGGRAPH Symposium on Computer Animation, 217-226. http://delivery.acm.org/10.1145/1600000/1599499/p217-nielsen.pdf?key1=1599499&key2=4989534621&coll=GUIDE&dl=GUIDE&CFID=72903366&CFTOKEN=26156409

Nielsen, M. B. & Christensen, B. B. (2010). Improved Variational Guiding of Smoke Animations. Computer Graphics Forum, 29(2), 705-712. https://doi.org/10.1111/j.1467-8659.2009.01640.x

Nielsen, J. J., Grønbæk, L. J., Schwefel, H.-P., Renier, T. J. & Toftegaard, T. S. (2009). Cross - Layer Optimization of Multipoint Message Broadcast in MANETs. I E E E Wireless Communications and Networking Conference. Proceedings, 1-6. https://doi.org/10.1109/WCNC.2009.4917654

Nielsen, T. T. & Wigard, J. (2000). Performance Enhancements in a Frequency Hopping GSM Network. Kluwer Academic Publishers. http://www.springerlink.com/content/978-0-7923-7819-8

Nielsen, T. T. (2001). IPv6 for Future Wireless Networks. Wireless Personal Communications, 17(2-3), 237-247. https://doi.org/10.1023/A:1011261320056

Nielsen, T. T. & Wigard, J. (1998). How to do Frequency Planning in the Frequency Hopping parts of the Sonofon Network. Paper presented at IIR Conference on Frequency hopping and frequency re-use, London, United Kingdom.

Nielsen, J., Grønbæk, K. & Lykke-Olesen, A. (2005). MultiLightTracker: Vision Based Simultaneous Multi Object Tracking on Semi-Transparent Surfaces. Computer programme

Nielsen, M. & Rovan, B. (Eds.) (2000). Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1893 https://doi.org/10.1007/3-540-44612-5

Nielsen, M. & Simpson, D. (2000). Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26-30, 2000 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1825 https://doi.org/10.1007/3-540-44988-4

Nielsen, M. & Thomas, W. (Eds.) (1998). Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23-29, 1997 Selected Papers. Springer. Lecture Notes in Computer Science Vol. 1414 https://doi.org/10.1007/BFb0028003

Nielsen, M. & Thomas, W. (Eds.) (1997). Preliminary Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '97: Aarhus, Denmark, August 23-29, 1997. Department of Computer Science, Aarhus University.

Nielsen, M. & Schmidt, E. M. (Eds.) (1982). Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982. Springer. Lecture Notes in Computer Science Vol. 140 https://doi.org/10.1007/BFb0012751

Nielsen, M. & Valencia, F. D. (2003). Temporal constraint programming: A framework for discrete-timed systems. Association for Logic Programming Newsletter, 15(4).

Nielsen, M. (1999). Bisimulation and Open Maps for Timed Transition Systems. Fundamenta Informaticae, 38(1-2), 61-77.

Nielsen, M. & Winskel, G. (1996). Petri nets and bisimulation. Theoretical Computer Science, 153(1-2), 211-244. https://doi.org/10.1016/0304-3975(95)00122-0

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1992). Elementary transition systems. Theoretical Computer Science, 96(1), 3-33. https://doi.org/10.1016/0304-3975(92)90180-N

Nielsen, M., Plotkin, G. & Winskel, G. (1981). Petri nets, event structures and domains, part I. Theoretical Computer Science, 13(1), 85-108. https://doi.org/10.1016/0304-3975(81)90112-2

Nielsen, M. & Clausen, C. (1995). Games and logics for a noninterleaving bisimulation. Nordic Journal of Computing, 2(2), 221-249.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1995). Transition-Systems, Event Structures, and Unfoldings. Information and Computation, 118(2), 191-207. https://doi.org/10.1006/inco.1995.1062

Nielsen, M. (1974). On the decidability of some equivalence problems for DOL-systems. Information and Computation, 25(2), 166-193. https://doi.org/10.1016/S0019-9958(74)90857-2

Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S. (1974). Nonterminals, homomorphisms and codings in different variations of OL-systems. I. Deterministic systems. Acta Informatica, 4(1), 87-106. https://doi.org/10.1007/BF00288938

Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S. (1974). Nonterminals, homomorphisms and codings in different variations of OL-systems. II. Nondeterministic systems. Acta Informatica, 3(4), 357-364. https://doi.org/10.1007/BF00263589

Nielsen, M. & Winskel, G. (1995). Trace Structures and Other Models for Concurrency. In V. Diekert & G. Rozenberg (Eds.), The Book of Traces (pp. 271-306). World Scientific.

Nielsen, M. & Winskel, G. (1995). Models for Concurrency. In S. Abramsky, D. M. Gabbay & T. S. E. Maibaum (Eds.), Handbook of Logic in Computer Science: vol. 4: Semantic Modelling (pp. 1-148). Oxford University Press.

Nielsen, M. (1986). A Programming Language for Lindenmayer Systems. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 333-344). Springer.

Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (pp. 137-159). Springer. https://doi.org/10.1007/978-3-540-27755-2_20

Displaying results 1201 to 1250 out of 5895

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University