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. & Krukow, K. K. (2003). Towards a Formal Notion of Trust. In Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 4-7). Association for Computing Machinery. https://doi.org/10.1145/888251.888253

Nielsen, M. & Thiagarajan, P. S. (2002). Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. In J. Esparza & C. Lakos (Eds.), Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 467-488). Springer. https://doi.org/10.1007/3-540-48068-4_20

Nielsen, M. (1998). Reasoning about the past. In L. Brim, J. Gruska & J. Zlatuska (Eds.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (pp. 117-128). Springer. https://doi.org/10.1007/BFb0055761

Nielsen, M. & Sassone, V. (1998). Petri nets and other models of concurrency. In W. Reisig & G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models: Advances in Petri Nets (pp. 587-642). Springer. https://doi.org/10.1007/3-540-65306-6_23

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

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

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

Nielsen, M. & Clausen, C. (1994). Bisimulations, games, and logic. In J. Karhumäki, H. Maurer & G. Rozenberg (Eds.), Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings (pp. 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. In J. W. de Bakker, W. .-P. de Roever & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1-4, 1993 Proceedings (pp. 425-476). Springer. https://doi.org/10.1007/3-540-58043-3_25

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

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

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.

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.

Nielsen, T. T., Wigard, J. & Mogensen, P. E. (1997). On the Capacity of a GSM Frequency Hopping network with Intelligent Underlayer-Overlayer. In 1997 IEEE 47th Vehicular Technology Conference IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1997.605882

Nielsen, T. T., Wagard, J., Skjærris, S., Jensen, C. O. & Elling, J. (1998). Enhancing Network Quality using Baseband Frequency Hopping, Downlink Power Control and DTX in a Live GSM Network. In The Ninth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1998.: The Ninth IEEE International Symposium on IEEE Computer Society Press. https://doi.org/10.1109/PIMRC.1998.734693

Nielsen, T. T., Wigard, J., Michaelsen, P.-H. & Mogensen, P. E. (1998). Slow Frequency Hopping Solutions for GSM Networks of Small Bandwidth. In 48th IEEE Vehicular Technology Conference, 1998. VTC 98. (Vol. 2, pp. 1321-1325). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686454

Nielsen, T. T., Wigard, J., Michaelsen, P.-H. & Mogensen, P. E. (1999). Resource Allocation in a Frequency Hopping PCS1900/GSM/DCS1800 Type of Network. In 1999 IEEE 49th Vehicular Technology Conference (pp. 209-214). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778048

Nielsen, J. & Sand, A. (2011). Algorithms for a parallel implementation of Hidden Markov Models with a small state space. In 2011 IEEE IPDPS Workshops & PhD Forum (pp. 447-454). IEEE Computer Society Press. https://doi.org/10.1109/IPDPS.2011.181

Nielsen, J., Kristensen, A. K., Mailund, T. & Pedersen, C. N. S. (2011). A sub-cubic time algorithm for computing the quartet distance between two general trees. Algorithms for Molecular Biology, 6(15). https://doi.org/10.1186/1748-7188-6-15

Nielsen, J. (2011). A Coarse-to-Fine Approach to Computing the k-best Viterbi Paths. Lecture Notes in Computer Science, 6661, 376-387. https://doi.org/10.1007/978-3-642-21458-5_32

Nielsen, J. B., Nordholt, P. S., Orlandi, C. & Burra, S. S. (2011). A New Approach to Practical Active-Secure Two-Party Computation. http://eprint.iacr.org/2011/091

Nielsen, M. & Krukow, K. (2012). Transfer of Trust in Event-based Reputation Systems. Theoretical Computer Science, 429, 236-246. https://doi.org/10.1016/j.tcs.2011.12.044,

Nielsen, J. B., Nordholt, P. S., Orlandi, C. & Burra, S. S. (2012). A New Approach to Practical Active-Secure Two-Party Computation. Lecture Notes in Computer Science, 7417, 681-700 . https://doi.org/10.1007/978-3-642-32009-5_40

Nielsen, M. B. & Østerby, O. (2013). A Two-Continua Approach to Eulerian Simulation of Water Spray. A C M Transactions on Graphics, 32(4), Article Article No. 67 . https://doi.org/10.1145/2461912.2461918

Nielsen, J. B., Venturi, D. & Zottarel, A. (2013). On the Connection between Leakage Tolerance and Adaptive Security. In K. Kurosawa & G. Hanaoka (Eds.), Public-Key Cryptography – PKC 2013: 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings (pp. 497-515 ). Springer VS. https://doi.org/10.1007/978-3-642-36362-7_30

Nielsen, M. (2014). Trust in Event Structures. Theoretical Computer Science, 546(August), 3-6. https://doi.org/10.1016/j.tcs.2014.02.039

Nielsen, M. B., Söderström , A. & Bridson, R. (2013). Synthesizing Waves from Animated Height Fields. A C M Transactions on Graphics, 32(1), Article Article 2. https://doi.org/10.1145/2421636.2421638

Nielsen, M. M., Tataru, P., Madsen, T., Hobolth, A. & Pedersen, J. S. (2016). Motif discovery in ranked lists of sequences. (pp. 1-4). http://biorxiv.org/content/biorxiv/suppl/2016/01/11/035956.DC2/035956-1.pdf

Nielsen, N., Pedersen, S. B., Sørensen, J. A., Verdezoto, N. & Øllegaard, N. (2015). EcoBears: Augmenting Everyday Appliances with Symbolic and Peripheral Feedback. In S. Nanayakkara & E. Y.-L. Do (Eds.), AH '15 Proceedings of the 6th Augmented Human International Conference. SIGCHI ACM. (pp. 155-156). Association for Computing Machinery. https://doi.org/10.1145/2735711.2735817

Nielsen, J. B., Venturi, D. & Zottarel, A. (2014). Leakage-resilient signatures with graceful degradation. In H. Krawczyk (Ed.), Public-Key Cryptography – PKC 2014: 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings (pp. 362-379). Springer. https://doi.org/10.1007/978-3-642-54631-0_21

Nielsen, M. & Grønbæk, K. (2015). PivotViz: Interactive Visual Analysis of Multidimensional Library Transaction Data. In Proceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries, JCDL '15 : Large, Dynamic and Ubiquitous –The Era of the Digital Library (pp. 139-142). Association for Computing Machinery. https://doi.org/10.1145/2756406.2756937

Nielsen, M. & Grønbæk, K. (2015). Towards highly affine visualizations of consumption data from buildings. In IVAPP 2015 - 6th International Conference on Information Visualization Theory and Applications; VISIGRAPP, Proceedings (pp. 247-255). SCITEPRESS Digital Library.

Nielsen, T. K., Benito, B., Svenning, J.-C., Sandel, B. S., McKerracher, L. J., Riede, F. & Kjærgaard, P. C. (2017). Investigating Neanderthal dispersal above 55°N in Europe during the Last Interglacial Complex. Quaternary International, 431(Part B), 88-103. https://doi.org/10.1016/j.quaint.2015.10.039

Nielsen, M., Kjærgaard, M. B. & Grønbæk, K. (2013). Exploring Interaction Techniques and Task Types for Direct-Touch as Input Modality. Poster session presented at VAST Infovis Scivis, Atlanta, Georgia, United States.

Nielsen, J. B. (2015). Tamper and leakage resilient von Neumann architectures from continuous non-malleable codes. In S. Wolf & A. Lehmann (Eds.), 8th International Conference on Information Theoretic Security, ICITS 2015 (Vol. 9063, pp. XI-XII). Springer.

Nielsen, M., Brewer, R. S. & Grønbæk, K. (2016). Supporting interactive visual analytics of energy behavior in buildings through affine visualizations. In C. Parker (Ed.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (pp. 238-247). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010950

Nielsen, M., Elmqvist, N. & Grønbæk, K. (2016). Scribble query: fluid touch brushing for multivariate data visualization. In C. Parker (Ed.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (pp. 381-390). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010951

Nielsen, J. B. & Orlandi, C. (2016). Cross and Clean: Amortized Garbled Circuits with Constant Overhead. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Vol. 9985, pp. 582-603). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_22

Nielsen, J. B. & Ranellucci, S. (2016). Reactive garbling: Foundation, instantiation, application. In J. H. Cheon & T. Takagi (Eds.), Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Vol. 10032, pp. 1022-1052). Springer VS. https://doi.org/10.1007/978-3-662-53890-6_34

Nielsen, J. B. & Ranellucci, S. (2016). On the Computational Overhead of MPC with Dishonest Majority. http://eprint.iacr.org/2016/643

Nielsen, J. B., Schneider, T. & Trifiletti, R. (2017). Constant Round Maliciously Secure 2PC with Function-independent Preprocessing using LEGO. In NDSS ’17 (pp. 1-15). Internet Society. https://doi.org/10.14722/ndss.2017.23075

Nielsen, K., Sillasen, M. K. & Daugbjerg, P. S. (2017). Engineering - svaret på naturfagenes udfordringer? MONA: Matematik og Naturfagsdidaktik, 2017-2, 64. https://tidsskrift.dk/mona/article/view/36656

Nielsen, B. L. & Nielsen, K. (2017). Kompetenceudvikling for undervisere/pædagogisk personale. In J. A. Nielsen (Ed.), Litteraturstudium til arbejdet med en national naturvidenskabsstrategi (pp. 50-72). Institut for Naturfagenes Didaktik, Københavns Universitet. https://astra.dk/sites/default/files/Naturvidenskabsstrategi_Litteraturstudium_Rapport.pdf

Displaying results 1251 to 1300 out of 5897

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University