default search action
Hanne Riis Nielson
Person information
- affiliation: Technical University of Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [c126]Flemming Nielson
, René Rydhof Hansen
Benign Interaction of Security Domains. Protocols, Strands, and Logic 2021: 312-331 - 2020
- [c125]Flemming Nielson
Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 201-215 - [c124]Flemming Nielson
Adaptive Security Policies. ISoLA (2) 2020: 280-294 - [i17]Flemming Nielson, Hanne Riis Nielson:
Program Analysis (an Appetizer). CoRR abs/2012.10086 (2020)
2010 – 2019
- 2019
- [j50]Ximeng Li, Flemming Nielson
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019) - [c123]Flemming Nielson
Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 455-470 - [c122]Panagiotis Vasilikos, Hanne Riis Nielson
Timing Leaks and Coarse-Grained Clocks. CSF 2019: 32-47 - [e7]Hanne Riis Nielson, Emilio Tuosto:
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11533, Springer 2019, ISBN 978-3-030-22396-0 [contents] - 2018
- [c121]Flemming Nielson
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta 2018: 89-109 - [c120]Panagiotis Vasilikos
Secure Information Release in Timed Automata. POST 2018: 28-52 - [c119]Jan Midtgaard
Process-Local Static Analysis of Synchronous Processes. SAS 2018: 284-305 - 2017
- [j49]Shuling Wang, Flemming Nielson
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60(8): 1111-1130 (2017) - [j48]Flemming Nielson
Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. 50: 82-107 (2017) - [j47]Hanne Riis Nielson
Content dependent information flow control. J. Log. Algebraic Methods Program. 87: 6-32 (2017) - [j46]Jan Midtgaard
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1(ICFP): 15:1-15:23 (2017) - [c118]Flemming Nielson
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools 2017: 3-21 - [c117]Panagiotis Vasilikos, Flemming Nielson
Time Dependent Policy-Based Access Control. TIME 2017: 21:1-21:18 - 2016
- [j45]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. 12(4) (2016) - [j44]Ximeng Li, Xi Wu, Alberto Lluch-Lafuente
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016) - [c116]Ximeng Li, Flemming Nielson
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS 2016: 29-42 - [c115]Hugo A. López
Enforcing Availability in Failure-Aware Communicating Systems. FORTE 2016: 195-211 - [c114]Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson:
Content-Dependent Security Policies in Avionics. MILS@HiPEAC 2016 - [c113]Andrea Margheri, Hanne Riis Nielson
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) 2016: 554-569 - [c112]Jan Midtgaard
Iterated process analysis over lattice-valued regular expressions. PPDP 2016: 132-145 - [c111]Jan Midtgaard
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS 2016: 338-360 - [i16]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
A Theory of Available-by-Design Communicating Systems. CoRR abs/1611.05651 (2016) - 2015
- [j43]Hanne Riis Nielson
A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. 84(5): 611-639 (2015) - [c110]Hanne Riis Nielson
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security 2015: 47-65 - [c109]Alberto Lluch-Lafuente
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency 2015: 427-450 - [c108]Flemming Nielson
Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems 2015: 522-537 - [c107]Xi Wu, Ximeng Li, Alberto Lluch-Lafuente
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212 - [c106]Alessandro Bruni, Sebastian Mödersheim
Set-Pi: Set Membership p-Calculus. CSF 2015: 185-198 - [c105]Ximeng Li, Flemming Nielson
Factorization of Behavioral Integrity. ESORICS (2) 2015: 500-519 - [c104]Erisa Karafili, Hanne Riis Nielson
How to Trust the Re-use of Data. STM 2015: 72-88 - [c103]Xi Wu, Hanne Riis Nielson
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE 2015: 23-30 - [c102]Ximeng Li, Flemming Nielson
Disjunctive Information Flow for Communicating Processes. TGC 2015: 95-111 - 2014
- [j42]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson
The logic of XACML. Sci. Comput. Program. 83: 80-105 (2014) - [j41]Ender Yüksel, Hanne Riis Nielson
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. 16(4): 421-435 (2014) - [c101]Kebin Zeng, Flemming Nielson
The Stochastic Quality Calculus. COORDINATION 2014: 179-193 - [c100]Roberto Vigo, Flemming Nielson
Automated Generation of Attack Trees. CSF 2014: 337-350 - [c99]Shuling Wang, Flemming Nielson
Denial-of-Service Security Attack in the Continuous-Time World. FORTE 2014: 149-165 - [c98]Roberto Vigo, Flemming Nielson
Uniform Protection for Multi-exposed Targets. FORTE 2014: 182-198 - [c97]Alessandro Bruni, Michal Sojka
Formal Security Analysis of the MaCAN Protocol. IFM 2014: 241-255 - [c96]Roberto Vigo, Alessandro Celestini
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191 - [i15]Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR abs/1403.6367 (2014) - 2013
- [j40]Fan Yang, Chris Hankin
Predictive access control for distributed computation. Sci. Comput. Program. 78(9): 1264-1277 (2013) - [c95]Hanne Riis Nielson
Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods 2013: 285-303 - [c94]Marco Carbone, Anders Skovbo Christensen, Flemming Nielson
ICT-powered Health Care Processes - (Position Paper). FHIES 2013: 59-68 - [c93]Hanne Riis Nielson
Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE 2013: 258-272 - [c92]Roberto Vigo, Flemming Nielson
Broadcast, Denial-of-Service, and Secure Communication. IFM 2013: 412-427 - [c91]Sebastian Mödersheim
Lazy Mobile Intruders. POST 2013: 147-166 - [e6]Hanne Riis Nielson
Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Lecture Notes in Computer Science 8208, Springer 2013, ISBN 978-3-642-41487-9 [contents] - [i14]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Design-Efficiency in Security. CoRR abs/1302.1111 (2013) - [i13]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Pushdown Systems for Monotone Frameworks. CoRR abs/1307.4585 (2013) - 2012
- [j39]Hanne Riis Nielson
Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3:1-3:39 (2012) - [c90]Michal Terepeta, Hanne Riis Nielson
Recursive Advice for Coordination. COORDINATION 2012: 137-151 - [c89]Hanne Riis Nielson
A Calculus for Quality. FACS 2012: 188-204 - [c88]Fuyuan Zhang, Flemming Nielson
Model Checking as Static Analysis: Revisited. IFM 2012: 99-112 - [c87]Ender Yüksel, Hanne Riis Nielson
Key Update Assistant for resource-constrained networks. ISCC 2012: 75-81 - [c86]Ender Yüksel, Hanne Riis Nielson
LBTool: A stochastic toolkit for leave-based key updates. ISCC 2012: 868-875 - [c85]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson
XACML 3.0 in Answer Set Programming. LOPSTR 2012: 89-105 - [c84]Piotr Filipiuk, Flemming Nielson
Layered fixed point logic. PPDP 2012: 45-54 - [c83]Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE 2012: 25-32 - [i12]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Secondary use of data in EHR systems. CoRR abs/1201.4262 (2012) - [i11]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Layered Fixed Point Logic. CoRR abs/1204.2768 (2012) - [i10]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) - [i9]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) - [i8]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
XACML 3.0 in Answer Set Programming. CoRR abs/1206.5327 (2012) - [i7]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012) - 2011
- [j38]Ender Yüksel, Hanne Riis Nielson
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54(4): 589-601 (2011) - [j37]Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson:
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comput. Sci. 21(1): 107-149 (2011) - [j36]Han Gao, Flemming Nielson
CaPiTo: protocol stacks for services. Formal Aspects Comput. 23(4): 541-565 (2011) - [j35]Flemming Nielson
Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12(3): 18:1-18:40 (2011) - [c82]Hanne Riis Nielson
From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 74-89 - [c81]Fan Yang, Tomoyuki Aotani
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION 2011: 202-218 - [c80]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson
The Logic of XACML. FACS 2011: 205-222 - [c79]Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152 - [c78]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Resilience analysis of key update strategies for resource-constrained networks. ICUMT 2011: 1-8 - [c77]Michael J. A. Smith, Flemming 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 - [i6]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML - Extended. CoRR abs/1110.3706 (2011) - 2010
- [j34]Sebastian Nanz, Flemming Nielson
Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2): 117-139 (2010) - [j33]Rocco De Nicola
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010) - [c76]Flemming Nielson
Model Checking Is Static Analysis of Modal Logic. FoSSaCS 2010: 191-205 - [c75]Flemming Nielson, Han Gao, Hanne Riis Nielson:
The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1 - [c74]Bo Friis Nielsen
Model Checking Multivariate State Rewards. QEST 2010: 7-16 - [c73]Chris Hankin
Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363 - [c72]Piotr Filipiuk, Hanne Riis Nielson
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. TAPAS@SAS 2010: 15-28
2000 – 2009
- 2009
- [j32]Hanne Riis Nielson
A monotone framework for CCS. Comput. Lang. Syst. Struct. 35(4): 365-394 (2009) - [c71]Chris Hankin
Advice from Belnap Policies. CSF 2009: 234-247 - [c70]Ender Yüksel, Hanne Riis Nielson
A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345 - 2008
- [j31]Henrik Pilegaard, Flemming Nielson
Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. 77(1-2): 92-130 (2008) - [c69]René Rydhof Hansen
Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111 - [c68]Rocco De Nicola
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116 - [c67]Chris Hankin
Advice for Coordination. COORDINATION 2008: 153-168 - [c66]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145 - [c65]Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard:
Relational Analysis of Correlation. SAS 2008: 32-46 - [c64]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173 - [e5]Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan:
Scalable Program Analysis, 13.04. - 18.04.2008. Dagstuhl Seminar Proceedings 08161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i5]Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan:
08161 Abstracts Collection - Scalable Program Analysis. Scalable Program Analysis 2008 - 2007
- [b6]Hanne Riis Nielson, Flemming Nielson:
Semantics with Applications: An Appetizer. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-691-9, pp. i-xii, 1-274 - [j30]Flemming Nielson
What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007) - [c63]Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson:
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165 - [c62]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240 - [c61]Hanne Riis Nielson
A flow-sensitive analysis of privacy properties. CSF 2007: 249-264 - [c60]Flemming Nielson
Relational Analysis for Delivery of Services. TGC 2007: 73-89 - [c59]Flemming Nielson
Heuristics for Safety and Security Constraints. Computation, Meaning, and Logic 2007: 523-543 - [e4]Hanne Riis Nielson, Gilberto Filé:
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 [contents] - 2006
- [j29]Christoffer Rosenkilde Nielsen, Hanne Riis Nielson:
Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006) - [c58]Han Gao, Hanne Riis Nielson
Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43 - [c57]Ye Zhang, Hanne Riis Nielson:
Analyzing Security Protocols in Hierarchical Networks. ATVA 2006: 430-445 - [c56]Flemming Nielson, Hanne Riis Nielson:
Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310 - [c55]Hanne Riis Nielson, Flemming Nielson:
Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327 - [c54]Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson:
Active Evaluation Contexts for Reaction Semantics. SOS@CONCUR 2006: 57-70 - [c53]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Cryptographic Pattern Matching. VODCA@FOSAD 2006: 91-107 - [e3]David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
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 [contents] - [e2]Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson:
Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science 4230, Springer 2006, ISBN 3-540-48837-5 [contents] - [i4]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 - [i3]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 - [i2]Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006 - [i1]Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006 - 2005
- [j28]Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Static validation of security protocols. J. Comput. Secur. 13(3): 347-390 (2005) - [c52]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 - [c51]Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson:
Information Flow Analysis for VHDL. PaCT 2005: 79-98 - [c50]Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson:
Using static analysis to validate the SAML single sign-on protocol. WITS 2005: 27-40 - [c49]Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson:
Static Validation of a Voting Protocol. ARSPA@ICALP 2005: 115-134 - 2004
- [j27]Mikael Buchholtz, Hanne Riis Nielson
A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. 2(3-4): 145-167 (2004) - [c48]Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard:
Spatial Analysis of BioAmbients. SAS 2004: 69-83 - [c47]Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen
The Succinct Solver Suite. TACAS 2004: 251-265 - [c46]Chiara Bodei
Performance Evaluation of Security Protocols Specified in LySa. QAPL 2004: 167-189 - 2003
- [j26]Flemming Nielson
Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003) - [c45]Chiara Bodei
Automatic Validation of Protocol Narration. CSFW 2003: 126-140 - [c44]Flemming Nielson
Control Flow Analysis for BioAmbients. BioConcur@CONCUR 2003: 65-79 - 2002
- [j25]Chiara Bodei
Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Gener. Comput. Syst. 18(6): 747-756 (2002) - [j24]Flemming Nielson, Helmut Seidl, Hanne Riis Nielson:
A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002) - [j23]Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002) - [c43]Hanne Riis Nielson, Flemming Nielson:
Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244 - [c42]Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
Automatic Complexity Analysis. ESOP 2002: 243-261 - [c41]Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz:
Security for Mobility. FOSAD 2002: 207-265 - [c40]Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35 - 2001
- [j22]Chiara Bodei
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) - [c39]Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41 - [c38]Flemming Nielson
Cryptographic Analysis in Cubic Time. TOSCA 2001: 7-23 - [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. Bull. EATCS 70: 112-130 (2000) - [c37]Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv:
A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319 - [c36]Hanne Riis Nielson
Shape Analysis for Mobile Ambients. POPL 2000: 142-154
1990 – 1999
- 1999
- [b5]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 - [b4]Flemming Nielson, Hanne Riis Nielson, Chris Hankin:
Principles of program analysis. Springer 1999, ISBN 978-3-540-65410-0, pp. I-XXI, 1-450 - [c35]Flemming Nielson, Hanne Riis Nielson:
Type and Effect Systems. Correct System Design 1999: 114-136 - [c34]Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477 - [c33]Flemming Nielson, Hanne Riis Nielson:
Interprocedural Control Flow Analysis. ESOP 1999: 20-39 - [c32]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 - [c31]René Rydhof Hansen
Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148 - 1998
- [j18]Kirsten Lackner Solberg Gasser, Hanne Riis 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. Int. J. Softw. Tools Technol. Transf. 2(1): 13-28 (1998) - [c30]Hanne Riis Nielson, Flemming Nielson:
Flow Logics for Constraint Based Analysis. CC 1998: 109-127 - [c29]Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98 - [c28]Hanne Riis Nielson, Torben Amtoft, Flemming Nielson:
Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269 - [c27]Flemming Nielson, Hanne Riis Nielson:
Flow Logic for Imperative Objects. MFCS 1998: 220-228 - 1997
- [j16]Torben Amtoft, Flemming Nielson, Hanne Riis Nielson:
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997) - [j15]Chris Hankin, Hanne Riis Nielson, Jens Palsberg:
Position Statements on Strategic Directions for Research on Programming Languages. ACM SIGPLAN Notices 32(1): 59-65 (1997) - [c26]Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson:
Systematic Realisation of Control Flow Analyses for CML. ICFP 1997: 38-51 - [c25]Flemming Nielson, Hanne Riis Nielson:
Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202 - [c24]Hanne Riis Nielson, Flemming Nielson:
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345 - [c23]Flemming Nielson, Hanne Riis Nielson:
Flow Logic and Operational Semantics. HOOTS 1997: 150-169 - 1996
- [j14]Chris Hankin, Hanne Riis Nielson:
Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. 28(2): 293-294 (1996) - [j13]Chris Hankin, Hanne Riis Nielson, Jens Palsberg:
Strategic Directions in Research on Programming Languages. ACM Comput. Surv. 28(4): 644-652 (1996) - [j12]Flemming Nielson, Hanne Riis Nielson:
Operational Semantics of Termination Types. Nord. J. Comput. 3(2): 144-187 (1996) - [j11]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:
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 [contents] - 1995
- [c18]Hanne Riis Nielson, Flemming Nielson:
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT 1995: 590-604 - 1994
- [j10]Flemming 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
- [b3]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 - [b2]Flemming Nielson, Hanne Riis Nielson:
Two-level functional languages. Cambridge tracts in theoretical computer science 34, Cambridge University Press 1992, ISBN 978-0-521-40384-9, pp. I-XII, 1-299 - [j9]Flemming Nielson, Hanne Riis Nielson:
Forced transformation of Occam programs. Inf. Softw. Technol. 34(2): 91-96 (1992) - [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]Hanne Riis Nielson, Flemming Nielson:
Bounded Fixed Point Iteration. POPL 1992: 71-82 - [c10]Flemming Nielson, Hanne Riis Nielson:
Layered Predicates. REX Workshop 1992: 425-456 - [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]Hanne Riis Nielson, Flemming Nielson:
Transformations on Higher-Order Functions. FPCA 1989: 129-143 - 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]Flemming Nielson, Hanne Riis Nielson:
2-level lambda-lifting. ESOP 1988: 328-343 - [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 - 1984
- [b1]Hanne Riis Nielson:
Hoare logic's for run-time analysis of programs. University of Edinburgh, UK, 1984 - 1983
- [j2]Hanne Riis Nielson:
Computation Sequences: A Way to Characterize Classes of Attribute Grammars. Acta Informatica 19: 255-268 (1983) - 1981
- [j1]Hanne Riis Nielson, Sven Skyum:
k-visit Attribute Grammars. Math. Syst. Theory 15(1): 17-28 (1981)
Coauthor Index
[c126] [c125] [c124] [i17] [j50] [c123] [c122] [c121] [c120] [c119] [j49] [j48] [j47] [j46] [c118] [c117] [j45] [j44] [c116] [c115] [c114] [c113] [c112] [c111] [i16] [j43] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c102] [j42] [j41] [c101] [c100] [c99] [c98] [c97] [c96] [i15] [j40] [c95] [c94] [c93] [c92] [c91] [i14] [i13] [j39] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [i12] [i11] [i10] [i9] [i8] [i7] [j38] [j37] [j36] [j35] [c82] [c81] [c80] [c79] [c78] [c77] [p2] [i6] [j34] [j33] [c76] [c75] [c74] [c73] [c72] [j32] [c71] [c70] [j31] [c69] [c68] [c67] [c66] [c65] [c64] [b6] [j30] [c62] [c61] [c60] [c59] [c56] [c55] [c54] [c53] [i2] [i1] [j28] [c52] [c51] [j27] [c48] [c47] [c46] [j26] [c45] [c44] [j25] [j24] [j23] [c43] [c42] [c41] [c40] [j22] [j21] [j20] [c39] [c38] [p1] [j19] [c37] [c36] [b5] [b4] [c35] [c34] [c33] [c32] [c31] [j18] [j17] [c30] [c29] [c28] [c27] [j16] [c26] [c25] [c24] [c23] [j12] [j11] [c22] [c21] [c20] [c19] [c18] [j10] [c17] [c16] [c15] [c14] [b3] [b2] [j9] [j8] [c13] [c12] [c11] [c10] [c9] [j7] [j6] [c8] [c7] [c6] [j5] [j4] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 23:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: