dblp.uni-trier.dewww.uni-trier.de

Hanne Riis Nielson Vis

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

*2008
108EERené Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
107EERocco 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
106EEChris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
105EEChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145
104EESebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173
103EEJörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
102EEHenrik 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
100EEHan Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
99EESebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240
98EEHanne Riis Nielson, Flemming Nielson: A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
97EEFlemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
96EEChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Cryptographic Pattern Matching. Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007)
95EEFlemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007)
94EEHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
93EEFlemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
92EEFlemming 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
89EEHan Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43
88EEYe Zhang, Hanne Riis Nielson: Analyzing Security Protocols in Hierarchical Networks. ATVA 2006: 430-445
87EEFlemming Nielson, Hanne Riis Nielson: Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310
86EEHanne Riis Nielson, Flemming Nielson: Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327
85EEDavid 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
84EEHanne 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
83EEHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
82EEHenrik 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
80EEChiara 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
79EETerkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98
78EESteffen M. Hansen, Jakob Skriver, Hanne Riis Nielson: Using static analysis to validate the SAML single sign-on protocol. WITS 2005: 27-40
77EEChiara 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)
76EEChristoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson: Static Validation of a Voting Protocol. Electr. Notes Theor. Comput. Sci. 135(1): 115-134 (2005)
75EEChiara 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
74EEHanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
73EEFlemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
72EEMikael 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
71EEChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
70EEFlemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
2002
69EEFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
68EEHanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
67EEFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
66EEHanne Riis Nielson, Flemming Nielson: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244
65EEChiara 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)
63EEFlemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
2001
62EEChiara 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
60EEFlemming 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)
58EEFlemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: Kleene's Logic with Equality. Inf. Process. Lett. 80(3): 131-137 (2001)
57EEHanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. Nord. J. Comput. 8(2): 233-275 (2001)
2000
56EEFlemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319
55EEHanne 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
53EEFlemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
52EEFlemming Nielson, Hanne Riis Nielson: Type and Effect Systems. Correct System Design 1999: 114-136
51EEFlemming 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
49EERené Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148
1998
48EEHanne Riis Nielson, Flemming Nielson: Flow Logics for Constraint Based Analysis. CC 1998: 109-127
47EEChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
46EEHanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
45EEFlemming Nielson, Hanne Riis Nielson: Flow Logic for Imperative Objects. MFCS 1998: 220-228
44EETorben 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
41EEFlemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202
40EEHanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345
39EEFlemming 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
34EEHanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
33EETorben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
32EEFlemming 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)
28EEFlemming Nielson, Hanne Riis Nielson: From CML to its Process Algebra. Theor. Comput. Sci. 155(1): 179-219 (1996)
1995
27EEHanne 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
23EEFlemming 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
21EEFlemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. ESOP 1992: 351-370
20EEFlemming 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
18EEFlemming 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
14EEHanne Riis Nielson, Flemming Nielson: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
13EEHanne 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
11EEHanne Riis Nielson, Flemming Nielson: Transformations on Higher-Order Functions. FPCA 1989: 129-143
1988
10EEFlemming 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
5EEHanne 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)

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]
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]
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]
38Ye Zhang [88]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)