Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

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. I V. Diekert & G. Rozenberg (red.), The Book of Traces (s. 271-306). World Scientific.

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

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

Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. I J. Desel, W. Reisig & G. Rozenberg (red.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (s. 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. I Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (s. 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. I J. Esparza & C. Lakos (red.), Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (s. 467-488). Springer. https://doi.org/10.1007/3-540-48068-4_20

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

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

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

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

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

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

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

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. I 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. I 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. I 48th IEEE Vehicular Technology Conference, 1998. VTC 98. (Bind 2, s. 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. I 1999 IEEE 49th Vehicular Technology Conference (s. 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. I 2011 IEEE IPDPS Workshops & PhD Forum (s. 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), Artikel 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. I K. Kurosawa & G. Hanaoka (red.), Public-Key Cryptography – PKC 2013: 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings (s. 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), Artikel 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. (s. 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. I S. Nanayakkara & E. Y.-L. Do (red.), AH '15 Proceedings of the 6th Augmented Human International Conference. SIGCHI ACM. (s. 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. I H. Krawczyk (red.), Public-Key Cryptography – PKC 2014: 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings (s. 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. I Proceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries, JCDL '15 : Large, Dynamic and Ubiquitous –The Era of the Digital Library (s. 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. I IVAPP 2015 - 6th International Conference on Information Visualization Theory and Applications; VISIGRAPP, Proceedings (s. 247-255). SCITEPRESS Digital Library.

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 præsenteret på VAST Infovis Scivis, Atlanta, Georgia, USA.

Nielsen, J. B. (2015). Tamper and leakage resilient von Neumann architectures from continuous non-malleable codes. I S. Wolf & A. Lehmann (red.), 8th International Conference on Information Theoretic Security, ICITS 2015 (Bind 9063, s. 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. I C. Parker (red.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (s. 238-247). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010950

Viser resultater 1301 til 1350 ud af 6074

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series