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, J. B. (2002). A Threshold Pseudorandom Function Construction and Its Applications. I M. Yung (red.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (s. 43-59). Springer. https://doi.org/10.1007/3-540-45708-9_26

Nielsen, J. B. (2001). Non-Committing Encryption is Too Easy in the Random Oracle Model. BRICS Report Series, (RS-01-47).

Nielsen, J. B. (2002). Separating Random Oracle Proofs from Complexity Theoretic Proofs: The Non-Committing Encryption Case. I M. Yung (red.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (s. 191-214). Springer. https://doi.org/10.1007/3-540-45708-9_8

Nielsen, M., Paun, G., Rozenberg, G. & Salomaa, A. (red.) (2001). Current Trends in Theoretical Computer Science Entering the 21st Century: Concurrency. World Scientific.

Nielsen, M. (red.) (2004). Current Trends in Theoretical Computer Science - The Challenge of the New Century: Concurrency. World Scientific.

Nielsen, M. (2001). Modelling with Partial Orders - Why and Why Not? I F. Orejas, P. G. Spirakis & J. van Leeuwen (red.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (s. 61-63). Springer. https://doi.org/10.1007/3-540-48224-5_5

Nielsen, M., Krukow, K., Karhumäki, J. (red.), Maurer, H. A. (red.), Paun, G. (red.) & Rozenberg, G. (red.) (2004). On the Formal Modeling of Trust in Reputation-Based Systems. I Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (s. 192-204). Springer. https://doi.org/10.1007/978-3-540-27812-2_18

Nielsen, M., Palamidessi, C. & Valencia Posso, F. D. (2002). A Calculus for Temporal Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science, (1), A-59.

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). On the Expressive Power of Temporal Concurrent Constraint Programming Languages. I Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming (s. 156-167). Association for Computing Machinery. https://doi.org/10.1145/571157.571173

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M., Sassone, V. & Srba, J. (2001). Properties of Distributed Timed-Arc Petri Nets. I R. Hariharan, V. Vinay & M. Mukund (red.), FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13-15, 2001 Proceedings (s. 280-291). Springer. https://doi.org/10.1007/3-540-45294-X_24

Nielsen, M., Sassone, V. & Srba, J. (2001). Towards a Notion of Distributed Time for Petri Nets. I J.-M. Colom & M. Koutny (red.), Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (s. 23-31). Springer. https://doi.org/10.1007/3-540-45740-2_3

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. I W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (red.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (s. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17

Nielsen, M. B., Brodersen, A. T. & Skala, V. (red.) (2004). Inverse Rendering of Polished Materials under Constant Complex Uncontrolled Illumination. I Journal of WSCG (s. 309-316). UNION Agency - Science Press, Plzen, Czech Republic.

Nielsen, M. B., Kramp, G., Grønbæk, K., Bubak, M. (red.), van Albada, G. D. (red.), Sloot, P. M. A. (red.) & Dongarra, J. (red.) (2004). Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. I Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science udg., s. 921-928)

Nielsen, M. B., Museth, K. & Seipel, S. (red.) (2004). An Optimized, Grid Independent, Narrow Band Data Structure for High Resolution Level Sets. I SIGRAD'04: Svenska föreningen för grafisk databehandling (13 of Linköping Elec. Conf. Proc udg., Bind 13, s. 59-60). Linköping Electronic Conference Proceedings.

Nielsen, M. B. & Museth, K. (2004). Dynamic Tubular Grid: An Efficient Data Structure and Algorithms for High Resolution Level Sets. Linköping Electronic Articles in Computer and Information Science, (Vol. 9 (2004), No. 001).

Nielsen, P. M., Schori, C., Sørensen, J. L., Salvail, L., Damgård, I. B. & Polzik, E. S. (2001). Experimental quantum key distribution with proven security against realistic attacks. Journal of Modern Optics, 48, 1921-1942.

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

Nielsen, M. B. & Museth, K. (2006). Dynamic Tubular Grid: An Efficient Data Structure and Algorithms for High Resolution Level Sets. Journal of Scientific Computing, 26(3), 261-299.

Nielsen, M. & Rovan, B. (red.) (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. I 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. I 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. I 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. I Preceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (s. 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. I O. Zendra, E. Jul & M. Cebulla (red.), ICOOOLPS '07: Proceedings of the Second ECOOP Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems (s. 39-46). Technische Universität Berlin.

Nielsen, M. & Engberg, U. H. (red.) (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 Bind 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. I Z. Shao (red.), Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings (s. 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. I F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (red.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (s. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Nielsen, J. B. (red.), 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. (red.), Damgård, I. B., Salvail, L. & Cachin, C. (2006). Summary Report on Unconditionally Secure Protocols. (s. 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. I R. Freeman Paige & B. Meyer (red.), Objects, Components, Models and Patterns: 46th International Conference , TOOLS EUROPE 2008, Zurich, Switzerland, June/July 2008 (11 udg., Bind LNBIP, s. 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. I J. W. de Bakker, W. P. de Roever & G. Rozenberg (red.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (s. 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. I H. Rajan, C. Bockisch, M. Haupt & R. Dyer (red.), 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 præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

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

Viser resultater 1251 til 1300 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series