Hanne Riis Nielson Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson: Broadcast, Denial-of-Service, and Secure Communication. IFM 2013: 412-427
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson: Lazy Mobile Intruders. POST 2013: 147-166
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Design-Efficiency in Security. CoRR abs/1302.1111 (2013)
2012
j47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3 (2012)
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Recursive Advice for Coordination. COORDINATION 2012: 137-151
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo: A Calculus for Quality. FACS 2012: 188-204
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson: Model Checking as Static Analysis: Revisited. IFM 2012: 99-112
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Key Update Assistant for resource-constrained networks. ISCC 2012: 75-81
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen: LBTool: A stochastic toolkit for leave-based key updates. ISCC 2012: 868-875
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: XACML 3.0 in Answer Set Programming. LOPSTR 2012: 89-105
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered fixed point logic. PPDP 2012: 45-54
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson: Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE 2012: 25-32
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Secondary use of data in EHR systems. CoRR abs/1201.4262 (2012)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered Fixed Point Logic. CoRR abs/1204.2768 (2012)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang: Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska: Optimizing ZigBee Security using Stochastic Model Checking. CoRR abs/1205.6675 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: XACML 3.0 in Answer Set Programming. CoRR abs/1206.5327 (2012)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012)
2011
j46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54(4): 589-601 (2011)
j45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson: Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comp. Sci. 21(1): 107-149 (2011)
j44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Gao, Flemming Nielson, Hanne Riis Nielson: CaPiTo: protocol stacks for services. Formal Asp. Comput. 23(4): 541-565 (2011)
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson: Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12(3): 18 (2011)
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Gao, Flemming Nielson, Hanne Riis Nielson: Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard: From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 74-89
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson: Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION 2011: 202-218
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: The Logic of XACML. FACS 2011: 205-222
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Resilience analysis of key update strategies for resource-constrained networks. ICUMT 2011: 1-8
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson: Controlling Modelling Artifacts. QEST 2011: 171-180
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: The Logic of XACML - Extended. CoRR abs/1110.3706 (2011)
2010
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson: Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electr. Notes Theor. Comput. Sci. 267(2): 15-28 (2010)
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2): 117-139 (2010)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010)
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Model Checking Is Static Analysis of Modal Logic. FOSSACS 2010: 191-205
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson: Model Checking Multivariate State Rewards. QEST 2010: 7-16
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363
2009
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: A monotone framework for CCS. Computer Languages, Systems & Structures 35(4): 365-394 (2009)
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Advice from Belnap Policies. CSF 2009: 234-247
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345
2008
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008)
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173
2007
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Cryptographic Pattern Matching. Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007)
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
e4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Gilberto Filé (Eds.): Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Lecture Notes in Computer Science 4634, Springer 2007, isbn 978-3-540-74060-5
2006
j32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoffer Rosenkilde Nielsen, Hanne Riis Nielson: Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ye Zhang, Hanne Riis Nielson: Analyzing Security Protocols in Hierarchical Networks. ATVA 2006: 430-445
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher: 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems 2006
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher: 06161 Executive Summary -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems 2006
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (Eds.): Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (Eds.): Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science 4230, Springer 2006, isbn 3-540-48837-5
2005
b4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis (2. corr. print). Springer 2005, isbn 978-3-540-65410-0, pp. I-XXI, 1-452
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson: Static Validation of a Voting Protocol. Electr. Notes Theor. Comput. Sci. 135(1): 115-134 (2005)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson: Using static analysis to validate the SAML single sign-on protocol. WITS 2005: 27-40
2004
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson: A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. 2(3-4): 145-167 (2004)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
2003
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
2002
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst. 18(6): 747-756 (2002)
j25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
2001
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Cryptographic Analysis in Cubic Time. Electr. Notes Theor. Comput. Sci. 62: 7-23 (2001)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168(1): 68-92 (2001)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: Kleene's Logic with Equality. Inf. Process. Lett. 80(3): 131-137 (2001)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. Nord. J. Comput. 8(2): 233-275 (2001)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41
2000
j19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. POPL 2000: 142-154
1999
b3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Type and effect systems - behaviours for concurrency. Imperial College Press 1999, isbn 978-1-86094-154-2, pp. 1-253
b2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis. Springer 1999, isbn 978-3-540-65410-0, pp. I-XXI, 1-450
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Type and Effect Systems. Correct System Design 1999: 114-136
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Interprocedural Control Flow Analysis. ESOP 1999: 20-39
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS 1999: 120-134
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148
1998
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson: Strictness and Totality Analysis. Sci. Comput. Program. 31(1): 113-145 (1998)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Flow Logics for Constraint Based Analysis. CC 1998: 109-127
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Flow Logic for Imperative Objects. MFCS 1998: 220-228
1997
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Flow Logic and Operational Semantics. Electr. Notes Theor. Comput. Sci. 10: 150-169 (1997)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Hanne Riis Nielson, Jens Palsberg: Position Statements on Strategic Directions for Research on Programming Languages. SIGPLAN Notices 32(1): 59-65 (1997)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson: Systematic Realisation of Control Flow Analyses for CML. ICFP 1997: 38-51
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345
1996
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Hanne Riis Nielson: Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. 28(2): 293-294 (1996)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Hanne Riis Nielson, Jens Palsberg: Strategic Directions in Research on Programming Languages. ACM Comput. Surv. 28(4): 644-652 (1996)
j11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Operational Semantics of Termination Types. Nord. J. Comput. 3(2): 144-187 (1996)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: From CML to its Process Algebra. Theor. Comput. Sci. 155(1): 179-219 (1996)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation 1996: 338-354
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson (Ed.): Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Lecture Notes in Computer Science 1058, Springer 1996, isbn 3-540-61055-3
1995
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT 1995: 590-604
1994
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. Sci. Comput. Program. 22(3): 327-354 (1994)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Constraints for Polymorphic Behaviours of Concurrent ML. CCL 1994: 73-88
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Higher-Order Concurrent Programs with Finite Communication Topology. POPL 1994: 84-97
1993
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: From CML to Process Algebras (Extended Abstract). CONCUR 1993: 493-508
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Strictness Analysis. WSA 1993: 194-205
1992
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Semantics with applications - a formal introduction. Wiley professional computing, Wiley 1992, isbn 978-0-471-92980-2, pp. I-XII, 1-240
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Bounded Fixed-Point Iteration. J. Log. Comput. 2(4): 441-464 (1992)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. ESOP 1992: 351-370
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Fixed Point Iteration. LISP and Functional Programming 1992: 96-108
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Bounded Fixed Point Iteration. POPL 1992: 71-82
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Layered Predicates. REX Workshop 1992: 425-456
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson: Inference Systems for Binding Time Analysis. WSA 1992: 247-254
1991
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Using Transformations in the Implementations of Higher-Order Functions. J. Funct. Program. 1(4): 459-494 (1991)
1990
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. Theor. Comput. Sci. 70(1): 99-126 (1990)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Context Information for Lazy Code Generation. LISP and Functional Programming 1990: 251-263
1989
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Transformations on Higher-Order Functions. FPCA 1989: 129-143
1988
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed lambda-Calculus. Sci. Comput. Program. 10(1): 139-176 (1988)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Two-Level Semantics and Code Generation. Theor. Comput. Sci. 56: 59-133 (1988)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: 2-level lambda-lifting. ESOP 1988: 328-343
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed Lambda-Calculus. POPL 1988: 98-106
1987
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson: A Hoare-Like Proof System for Analysing the Computation Time of Programs. Sci. Comput. Program. 9(2): 107-136 (1987)
1986
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP 1986: 133-143
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Semantics Directed Compiling for Functional Languages. LISP and Functional Programming 1986: 249-257
1985
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Code generation from two-level denotational meta-languages. Programs as Data Objects 1985: 192-205
1983
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson: Computation Sequences: A Way to Characterize Classes of Attribute Grammars. Acta Inf. 19: 255-268 (1983)
1981
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Sven Skyum: k-visit Attribute Grammars. Mathematical Systems Theory 15(1): 17-28 (1981)

Coauthor Index

1Jürgen Ammann
[c20]
2Torben Amtoft (Torben Amtoft Hansen)
[b3] [j17] [c27] [j15] [c21] [c20] [c19]
3Esben Heltoft Andersen
[j30]
4Tomoyuki Aotani
[c76]
5Chiara Bodei
[c59] [j31] [j29] [c47] [c42] [j26] [j22] [p1] [c37] [j19] [c31] [c28]
6Mikael Buchholtz
[j31] [j29] [c47] [j28] [c43] [c42] [c39]
7Michele Curti
[j31] [c47]
8Pierpaolo Degano
[c59] [j31] [j29] [c47] [c42] [j26] [j22] [p1] [c37] [j19] [c31] [c28]
9Piotr Filipiuk
[c79] [i6] [i2] [c74] [j42]
10Gilberto Filé
[e4]
11Matthias Fruth
[i4]
12Han Gao
[j44] [p2] [c70] [c59] [c55]
13Kirsten Lackner Solberg Gasser (Kirsten Lackner Solberg)
[j18] [c25] [c9]
14Daniele Gorla
[j40] [c64]
15Chris Hankin
[i7] [c68] [c67] [c63] [b4] [b2] [j14] [j13] [j12]
16René Rydhof Hansen
[j40] [c65] [c64] [c43] [j27] [j24] [c33] [c30]
17Steffen M. Hansen
[c45]
18Alejandro Mario Hernandez
[j45]
19Heqing Huang
[c78] [i5]
20Anna Ingólfsdóttir
[e2]
21Jacob Grydholt Jensen
[c33] [c30]
22Jörg Kreiker (Jörg Bauer 0001)
[c77] [c61] [c56]
23Marta Z. Kwiatkowska
[i4]
24Hidehiko Masuhara
[c76]
25Bud Mishra (Bhubaneswar Mishra)
[e2]
26Sebastian Mödersheim (Sebastian Alexander Mödersheim)
[c86]
27Sebastian Nanz
[j43] [j41] [c60] [c58]
28David M. Nicol
[c51] [c50] [e3]
29Rocco De Nicola
[j40] [c64]
30Bo Friis Nielsen
[c81] [c69]
31Christoffer Rosenkilde Nielsen
[c62] [j37] [c56] [j32] [j30]
32Flemming Nielson
[c87] [c86] [i8] [j47] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [i7] [i6] [i5] [i4] [i3] [i2] [j46] [j45] [j44] [j43] [p2] [c77] [c76] [c75] [c74] [c73] [c72] [i1] [j42] [j41] [j40] [c71] [c70] [c69] [c68] [j39] [c67] [c66] [j38] [c65] [c64] [c63] [c62] [c61] [c60] [j37] [j36] [j35] [j34] [j33] [c58] [c57] [c56] [c53] [c52] [c49] [c48] [b4] [j31] [j29] [c47] [c46] [j28] [c44] [c43] [j27] [c42] [j26] [j25] [j24] [c41] [c40] [c39] [c38] [j23] [j22] [j21] [j20] [p1] [c37] [j19] [c36] [c35] [b3] [b2] [c34] [c33] [c32] [c31] [c30] [j18] [j17] [c29] [c28] [c27] [c26] [j16] [j15] [c25] [c24] [c23] [j11] [j10] [c22] [c21] [c20] [c19] [c18] [j9] [c17] [c16] [c15] [c14] [b1] [j8] [c13] [c12] [c11] [c10] [c9] [j7] [j6] [c8] [c7] [c6] [j5] [j4] [c5] [c4] [c3] [c2] [c1]
33Jens Palsberg
[j14] [j12]
34Henrik Pilegaard
[j47] [c77] [j38] [c61] [j35] [j33] [c56] [c49] [c48] [c44] [c43]
35Corrado Priami
[j34] [c51] [c50] [e3] [e2] [j31] [c47]
36Christian W. Probst
[j40] [c65] [c64]
37Rosario Pugliese
[j40] [c64]
38Carroline Dewi Puspa Kencana Ramli
[c80] [i3] [c75] [i1]
39Debora Rosa
[j34]
40Shmuel Sagiv (Mooly Sagiv)
[j21] [c36]
41Helmut Seidl
[c43] [j25] [c40] [c38] [j23]
42Jakob Skriver
[c45]
43Sven Skyum
[j1]
44Michael J. A. Smith (Michael James Andrew Smith)
[c72]
45Hongyan Sun
[c43]
46Michal Terepeta
[c85] [c74]
47Terkel K. Tolstrup
[c46]
48Adelinde M. Uhrmacher (Adelinde Uhrmacher)
[c51] [c50] [e3]
49Roberto Vigo
[c87] [c84]
50Fan Yang
[i7] [c76] [c63]
51Ender Yüksel
[i8] [c82] [c81] [c78] [i5] [i4] [j46] [c73] [c66]
52Fuyuan Zhang
[c83]
53Ye Zhang 0002
[c54]
54Huibiao Zhu
[c78] [i5]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 03:59:11 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page