Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hanne Riis Nielson
2010 – today
- 2013
[j48]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Predictive access control for distributed computation. Sci. Comput. Program. 78(9): 1264-1277 (2013)- [c89]Hanne Riis Nielson, Flemming Nielson: Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods 2013: 285-303
- [c88]Hanne Riis Nielson, Flemming Nielson: Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE 2013: 258-272
- [c87]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson: Broadcast, Denial-of-Service, and Secure Communication. IFM 2013: 412-427
- [c86]Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson: Lazy Mobile Intruders. POST 2013: 147-166
- [i9]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Design-Efficiency in Security. CoRR abs/1302.1111 (2013)
- [i8]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Pushdown Systems for Monotone Frameworks. CoRR abs/1307.4585 (2013)
- 2012
- [j47]Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3 (2012)
- [c85]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Recursive Advice for Coordination. COORDINATION 2012: 137-151
- [c84]
- [c83]Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson: Model Checking as Static Analysis: Revisited. IFM 2012: 99-112
- [c82]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Key Update Assistant for resource-constrained networks. ISCC 2012: 75-81
- [c81]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen: LBTool: A stochastic toolkit for leave-based key updates. ISCC 2012: 868-875
- [c80]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: XACML 3.0 in Answer Set Programming. LOPSTR 2012: 89-105
- [c79]
- [c78]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
- [i7]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Secondary use of data in EHR systems. CoRR abs/1201.4262 (2012)
- [i6]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered Fixed Point Logic. CoRR abs/1204.2768 (2012)
- [i5]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)
- [i4]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)
- [i3]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: XACML 3.0 in Answer Set Programming. CoRR abs/1206.5327 (2012)
- [i2]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012)
- 2011
- [j46]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)
- [j45]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)
- [j44]Han Gao, Flemming Nielson, Hanne Riis Nielson: CaPiTo: protocol stacks for services. Formal Asp. Comput. 23(4): 541-565 (2011)
- [j43]Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson: Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12(3): 18 (2011)
- [c77]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
- [c76]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
- [c75]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: The Logic of XACML. FACS 2011: 205-222
- [c74]Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152
- [c73]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Resilience analysis of key update strategies for resource-constrained networks. ICUMT 2011: 1-8
- [c72]Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson: Controlling Modelling Artifacts. QEST 2011: 171-180
- [p2]Han Gao, Flemming Nielson, Hanne Riis Nielson: Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389
- [i1]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: The Logic of XACML - Extended. CoRR abs/1110.3706 (2011)
- 2010
- [j42]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)
- [j41]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2): 117-139 (2010)
- [j40]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)
- [c71]Flemming Nielson, Hanne Riis Nielson: Model Checking Is Static Analysis of Modal Logic. FOSSACS 2010: 191-205
- [c70]Flemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1
- [c69]Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson: Model Checking Multivariate State Rewards. QEST 2010: 7-16
- [c68]Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363
2000 – 2009
- 2009
- [j39]Hanne Riis Nielson, Flemming Nielson: A monotone framework for CCS. Computer Languages, Systems & Structures 35(4): 365-394 (2009)
- [c67]
- [c66]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345
- 2008
- [j38]Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008)
- [c65]René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
- [c64]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
- [c63]Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
- [c62]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145
- [c61]Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
- [c60]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173
- 2007
- [j37]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Cryptographic Pattern Matching. Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007)
- [j36]Flemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007)
- [j35]Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
- [j34]Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
- [j33]Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007)
- [c59]Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
- [c58]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240
- [c57]Hanne Riis Nielson, Flemming Nielson: A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
- [c56]Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
- [e4]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
- [j32]Christoffer Rosenkilde Nielsen, Hanne Riis Nielson: Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006)
- [c55]Han Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43
- [c54]
- [c53]Flemming Nielson, Hanne Riis Nielson: Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310
- [c52]Hanne Riis Nielson, Flemming Nielson: Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327
- [c51]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
- [c50]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
- [c49]Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006
- [c48]Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
- [e3]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
- [e2]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
- [b4]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
- [j31]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)
- [j30]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)
- [j29]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)
- [c47]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
- [c46]Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98
- [c45]Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson: Using static analysis to validate the SAML single sign-on protocol. WITS 2005: 27-40
- 2004
- [j28]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)
- [c44]Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
- [c43]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
- [j27]Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
- [c42]Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
- 2002
- [j26]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)
- [j25]Flemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002)
- [j24]Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
- [c41]Hanne Riis Nielson, Flemming Nielson: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244
- [c40]Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
- [c39]
- [c38]Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
- 2001
- [j23]Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Cryptographic Analysis in Cubic Time. Electr. Notes Theor. Comput. Sci. 62: 7-23 (2001)
- [j22]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)
- [j21]Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: Kleene's Logic with Equality. Inf. Process. Lett. 80(3): 131-137 (2001)
- [j20]Hanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. Nord. J. Comput. 8(2): 233-275 (2001)
- [c37]Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41
- [p1]Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
- 2000
- [j19]Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000)
- [c36]Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319
- [c35]
1990 – 1999
- 1999
- [b3]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
- [b2]Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis. Springer 1999, ISBN 978-3-540-65410-0, pp. I-XXI, 1-450
- [c34]
- [c33]Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
- [c32]
- [c31]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
- [c30]René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148
- 1998
- [j18]Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson: Strictness and Totality Analysis. Sci. Comput. Program. 31(1): 113-145 (1998)
- [j17]Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
- [c29]
- [c28]Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
- [c27]Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
- [c26]
- 1997
- [j16]Flemming Nielson, Hanne Riis Nielson: Flow Logic and Operational Semantics. Electr. Notes Theor. Comput. Sci. 10: 150-169 (1997)
- [j15]Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
- [j14]Chris Hankin, Hanne Riis Nielson, Jens Palsberg: Position Statements on Strategic Directions for Research on Programming Languages. SIGPLAN Notices 32(1): 59-65 (1997)
- [c25]Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson: Systematic Realisation of Control Flow Analyses for CML. ICFP 1997: 38-51
- [c24]Flemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202
- [c23]Hanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345
- 1996
- [j13]Chris Hankin, Hanne Riis Nielson: Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. 28(2): 293-294 (1996)
- [j12]Chris Hankin, Hanne Riis Nielson, Jens Palsberg: Strategic Directions in Research on Programming Languages. ACM Comput. Surv. 28(4): 644-652 (1996)
- [j11]Flemming Nielson, Hanne Riis Nielson: Operational Semantics of Termination Types. Nord. J. Comput. 3(2): 144-187 (1996)
- [j10]Flemming Nielson, Hanne Riis Nielson: From CML to its Process Algebra. Theor. Comput. Sci. 155(1): 179-219 (1996)
- [c22]Flemming Nielson, Hanne Riis Nielson: Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation 1996: 338-354
- [c21]Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
- [c20]Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
- [c19]Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
- [e1]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
- [c18]Hanne Riis Nielson, Flemming Nielson: Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT 1995: 590-604
- 1994
- [j9]Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. Sci. Comput. Program. 22(3): 327-354 (1994)
- [c17]Flemming Nielson, Hanne Riis Nielson: Constraints for Polymorphic Behaviours of Concurrent ML. CCL 1994: 73-88
- [c16]Hanne Riis Nielson, Flemming Nielson: Higher-Order Concurrent Programs with Finite Communication Topology. POPL 1994: 84-97
- 1993
- [c15]Flemming Nielson, Hanne Riis Nielson: From CML to Process Algebras (Extended Abstract). CONCUR 1993: 493-508
- [c14]Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Strictness Analysis. WSA 1993: 194-205
- 1992
- [b1]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
- [j8]Hanne Riis Nielson, Flemming Nielson: Bounded Fixed-Point Iteration. J. Log. Comput. 2(4): 441-464 (1992)
- [c13]Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. ESOP 1992: 351-370
- [c12]Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Fixed Point Iteration. LISP and Functional Programming 1992: 96-108
- [c11]
- [c10]
- [c9]Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson: Inference Systems for Binding Time Analysis. WSA 1992: 247-254
- 1991
- [j7]Hanne Riis Nielson, Flemming Nielson: Using Transformations in the Implementations of Higher-Order Functions. J. Funct. Program. 1(4): 459-494 (1991)
- 1990
- [j6]Hanne Riis Nielson, Flemming Nielson: Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. Theor. Comput. Sci. 70(1): 99-126 (1990)
- [c8]Hanne Riis Nielson, Flemming Nielson: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
- [c7]Hanne Riis Nielson, Flemming Nielson: Context Information for Lazy Code Generation. LISP and Functional Programming 1990: 251-263
1980 – 1989
- 1989
- [c6]
- 1988
- [j5]Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed lambda-Calculus. Sci. Comput. Program. 10(1): 139-176 (1988)
- [j4]Flemming Nielson, Hanne Riis Nielson: Two-Level Semantics and Code Generation. Theor. Comput. Sci. 56: 59-133 (1988)
- [c5]
- [c4]Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed Lambda-Calculus. POPL 1988: 98-106
- 1987
- [j3]Hanne Riis Nielson: A Hoare-Like Proof System for Analysing the Computation Time of Programs. Sci. Comput. Program. 9(2): 107-136 (1987)
- 1986
- [c3]Hanne Riis Nielson, Flemming Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP 1986: 133-143
- [c2]Hanne Riis Nielson, Flemming Nielson: Semantics Directed Compiling for Functional Languages. LISP and Functional Programming 1986: 249-257
- 1985
- [c1]Flemming Nielson, Hanne Riis Nielson: Code generation from two-level denotational meta-languages. Programs as Data Objects 1985: 192-205
- 1983
- [j2]Hanne Riis Nielson: Computation Sequences: A Way to Characterize Classes of Attribute Grammars. Acta Inf. 19: 255-268 (1983)
- 1981
- [j1]Hanne Riis Nielson, Sven Skyum: k-visit Attribute Grammars. Mathematical Systems Theory 15(1): 17-28 (1981)
Coauthor Index
[j48] [c89] [c88] [c87] [c86] [i9] [i8] [j47] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [i7] [i6] [i5] [i4] [i3] [i2] [j46] [j45] [j44] [j43] [c77] [c76] [c75] [c74] [c73] [c72] [p2] [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] [c37] [p1] [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]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:10 CEST by the dblp team