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

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). Engineering Algorithms for Finding Patterns in Biological Data.

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, J. A. S. (2015). Implicit Data Structures, Sorting, and Text Indexing. Department of Computer Science, Aarhus University.

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

Displaying results 1101 to 1150 out of 5424

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University