Hanne Riis Nielson Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hankin, Flemming Nielson, Hanne Riis Nielson: Advice from Belnap Policies. CSF 2009: 234-247
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnder Yüksel, Hanne Riis Nielson, Flemming Nielson: A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345
2008
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008)
2007
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Gilberto Filé: Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings Springer 2007
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Cryptographic Pattern Matching. Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007)
2006
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson: Transactions on Computational Systems Biology VII Springer 2006
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYe Zhang, Hanne Riis Nielson: Analyzing Security Protocols in Hierarchical Networks. ATVA 2006: 430-445
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoffer Rosenkilde Nielsen, Hanne Riis Nielson: Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006)
2005
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen M. Hansen, Jakob Skriver, Hanne Riis Nielson: Using static analysis to validate the SAML single sign-on protocol. WITS 2005: 27-40
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara 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)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson: Static Validation of a Voting Protocol. Electr. Notes Theor. Comput. Sci. 135(1): 115-134 (2005)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
2004
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael 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)
2003
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
2002
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara 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)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
2001
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Cryptographic Analysis in Cubic Time. Electr. Notes Theor. Comput. Sci. 62: (2001)
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara 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)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: Kleene's Logic with Equality. Inf. Process. Lett. 80(3): 131-137 (2001)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. Nord. J. Comput. 8(2): 233-275 (2001)
2000
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. POPL 2000: 142-154
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000)
1999
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Type and Effect Systems. Correct System Design 1999: 114-136
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Interprocedural Control Flow Analysis. ESOP 1999: 20-39
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148
1998
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Flow Logics for Constraint Based Analysis. CC 1998: 109-127
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Flow Logic for Imperative Objects. MFCS 1998: 220-228
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson: Strictness and Totality Analysis. Sci. Comput. Program. 31(1): 113-145 (1998)
1997
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson: Systematic Realisation of Control Flow Analyses for CML. ICFP 1997: 38-51
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Flow Logic and Operational Semantics. Electr. Notes Theor. Comput. Sci. 10: (1997)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hankin, Hanne Riis Nielson, Jens Palsberg: Position Statements on Strategic Directions for Research on Programming Languages. SIGPLAN Notices 32(1): 59-65 (1997)
1996
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings Springer 1996
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation 1996: 338-354
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hankin, Hanne Riis Nielson: Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. 28(2): 293-294 (1996)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hankin, Hanne Riis Nielson, Jens Palsberg: Strategic Directions in Research on Programming Languages. ACM Comput. Surv. 28(4): 644-652 (1996)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Operational Semantics of Termination Types. Nord. J. Comput. 3(2): 144-187 (1996)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: From CML to its Process Algebra. Theor. Comput. Sci. 155(1): 179-219 (1996)
1995
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT 1995: 590-604
1994
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Constraints for Polymorphic Behaviours of Concurrent ML. CCL 1994: 73-88
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Higher-Order Concurrent Programs with Finite Communication Topology. POPL 1994: 84-97
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. Sci. Comput. Program. 22(3): 327-354 (1994)
1993
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: From CML to Process Algebras (Extended Abstract). CONCUR 1993: 493-508
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Strictness Analysis. WSA 1993: 194-205
1992
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. ESOP 1992: 351-370
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Fixed Point Iteration. LISP and Functional Programming 1992: 96-108
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Bounded Fixed Point Iteration. POPL 1992: 71-82
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Layered Predicates. REX Workshop 1992: 425-456
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson: Inference Systems for Binding Time Analysis. WSA 1992: 247-254
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Bounded Fixed-Point Iteration. J. Log. Comput. 2(4): 441-464 (1992)
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Using Transformations in the Implementations of Higher-Order Functions. J. Funct. Program. 1(4): 459-494 (1991)
1990
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Context Information for Lazy Code Generation. LISP and Functional Programming 1990: 251-263
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. Theor. Comput. Sci. 70(1): 99-126 (1990)
1989
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Transformations on Higher-Order Functions. FPCA 1989: 129-143
1988
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: 2-level lambda-lifting. ESOP 1988: 328-343
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed Lambda-Calculus. POPL 1988: 98-106
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed lambda-Calculus. Sci. Comput. Program. 10(1): 139-176 (1988)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Two-Level Semantics and Code Generation. Theor. Comput. Sci. 56: 59-133 (1988)
1987
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson: A Hoare-Like Proof System for Analysing the Computation Time of Programs. Sci. Comput. Program. 9(2): 107-136 (1987)
1986
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP 1986: 133-143
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson: Semantics Directed Compiling for Functional Languages. LISP and Functional Programming 1986: 249-257
1985
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson: Code generation from two-level denotational meta-languages. Programs as Data Objects 1985: 192-205
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson: Computation Sequences: A Way to Characterize Classes of Attribute Grammars. Acta Inf. 19: 255-268 (1983)
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Sven Skyum: k-visit Attribute Grammars. Mathematical Systems Theory 15(1): 17-28 (1981)

Coauthor Index

1Jürgen Ammann [33]
2Torben Amtoft (Torben Amtoft Hansen) [32] [33] [34] [38] [44] [46]
3Esben Heltoft Andersen [76]
4Chiara Bodei [47] [50] [54] [59] [61] [62] [65] [71] [75] [77] [80] [100]
5Mikael Buchholtz [68] [71] [72] [73] [75] [77] [80]
6Michele Curti [77] [80]
7Pierpaolo Degano [47] [50] [54] [59] [61] [62] [65] [71] [75] [77] [80] [100]
8Gilberto Filé [101]
9Han Gao [89] [100]
10Kirsten Lackner Solberg Gasser (Kirsten Lackner Solberg) [17] [42] [43]
11Daniele Gorla [107]
12Chris Hankin [30] [31] [37] [106] [110]
13René Rydhof Hansen [49] [53] [63] [70] [73] [107] [108]
14Steffen M. Hansen [78]
15Anna Ingólfsdóttir [90]
16Jacob Grydholt Jensen [49] [53]
17Jörg Kreiker (Jörg Bauer) [97] [103]
18Bud Mishra (Bhubaneswar Mishra) [90]
19Sebastian Nanz [99] [104]
20David M. Nicol [84] [85] [91]
21Rocco De Nicola [107]
22Christoffer Rosenkilde Nielsen [76] [81] [96] [97] [105]
23Flemming Nielson [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [32] [33] [34] [35] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [77] [79] [80] [82] [83] [86] [87] [92] [93] [94] [95] [96] [97] [98] [99] [102] [103] [104] [105] [106] [107] [108] [109] [110]
24Jens Palsberg [30] [37]
25Henrik Pilegaard [73] [74] [82] [83] [92] [94] [97] [102] [103]
26Corrado Priami [77] [80] [84] [85] [90] [91] [93]
27Christian W. Probst [107] [108]
28Rosario Pugliese [107]
29Debora Rosa [93]
30Shmuel Sagiv (Mooly Sagiv) [56] [58]
31Helmut Seidl [60] [64] [67] [69] [73]
32Jakob Skriver [78]
33Sven Skyum [1]
34Hongyan Sun [73]
35Terkel K. Tolstrup [79]
36Adelinde M. Uhrmacher (Adelinde Uhrmacher) [84] [85] [91]
37Fan Yang [106]
38Ender Yüksel [109]
39Ye Zhang [88]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)