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