Hanne Riis Nielson

208 papers A* 5A 16B 25C 17Misc 2Journal 62Unranked 69

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Benign Interaction of Security Domains. Protocols, Strands, and Logic Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
2020	—	`conf`	Adaptive Security Policies. ISoLA (2) Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
2020	J	`jnl`	Program Analysis (an Appetizer). CoRR Flemming Nielson, Hanne Riis Nielson
2020	—	`conf`	Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis Flemming Nielson, Hanne Riis Nielson
2019	C	`ed.`	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 COORDINATION Hanne Riis Nielson, Emilio Tuosto
2019	J	`jnl`	Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. Ximeng Li, Flemming Nielson, Hanne Riis Nielson
2019	—	`conf`	Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming Flemming Nielson, Hanne Riis Nielson
2019	A	`conf`	Timing Leaks and Coarse-Grained Clocks. CSF Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf
2018	—	`conf`	Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
2018	B	`conf`	Process-Local Static Analysis of Synchronous Processes. SAS Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2018	—	`conf`	Secure Information Release in Timed Automata. POST Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
2017	J	`jnl`	Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. Flemming Nielson, Hanne Riis Nielson
2017	J	`jnl`	Content dependent information flow control. J. Log. Algebraic Methods Program. Hanne Riis Nielson, Flemming Nielson
2017	J	`jnl`	Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
2017	—	`conf`	Information Flow for Timed Automata. Models, Algorithms, Logics and Tools Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
2017	J	`jnl`	Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan
2017	C	`conf`	Time Dependent Policy-Based Access Control. TIME Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
2016	J	`jnl`	A Coordination Language for Databases. Log. Methods Comput. Sci. Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2016	B	`conf`	A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2016	J	`jnl`	A Theory of Available-by-Design Communicating Systems. CoRR Hugo A. López, Flemming Nielson, Hanne Riis Nielson
2016	—	`conf`	Content-Dependent Security Policies in Avionics. MILS@HiPEAC Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson
2016	J	`jnl`	Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2016	C	`conf`	Enforcing Availability in Failure-Aware Communicating Systems. FORTE Hugo A. López, Flemming Nielson, Hanne Riis Nielson
2016	—	`conf`	Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS Ximeng Li, Flemming Nielson, Hanne Riis Nielson
2016	C	`conf`	Iterated process analysis over lattice-valued regular expressions. PPDP Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2016	—	`conf`	Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
2015	Misc	`conf`	A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE Xi Wu, Hanne Riis Nielson, Huibiao Zhu
2015	J	`jnl`	A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
2015	—	`conf`	Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Disjunctive Information Flow for Communicating Processes. TGC Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
2015	—	`conf`	Factorization of Behavioral Integrity. ESORICS (2) Ximeng Li, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security Hanne Riis Nielson, Flemming Nielson, Ximeng Li
2015	—	`conf`	How to Trust the Re-use of Data. STM Erisa Karafili, Hanne Riis Nielson, Flemming Nielson
2015	C	`conf`	Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015	A	`conf`	Set-Pi: Set Membership p-Calculus. CSF Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems Flemming Nielson, Hanne Riis Nielson, Kebin Zeng
2014	J	`jnl`	A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR Shuling Wang, Flemming Nielson, Hanne Riis Nielson
2014	A	`conf`	Automated Generation of Attack Trees. CSF Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2014	C	`conf`	Denial-of-Service Security Attack in the Continuous-Time World. FORTE Shuling Wang, Flemming Nielson, Hanne Riis Nielson
2014	B	`conf`	Formal Security Analysis of the MaCAN Protocol. IFM Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
2014	J	`jnl`	Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
2014	C	`conf`	The Stochastic Quality Calculus. COORDINATION Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
2014	J	`jnl`	The logic of XACML. Sci. Comput. Program. Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2014	—	`conf`	Trust-Based Enforcement of Security Policies. TGC Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
2014	C	`conf`	Uniform Protection for Multi-exposed Targets. FORTE Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2013	B	`conf`	Broadcast, Denial-of-Service, and Secure Communication. IFM Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2013	J	`jnl`	Design-Efficiency in Security CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2013	—	`conf`	ICT-powered Health Care Processes - (Position Paper). FHIES Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
2013	—	`conf`	Lazy Mobile Intruders. POST Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
2013	J	`jnl`	Predictive access control for distributed computation. Sci. Comput. Program. Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2013	—	`conf`	Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE Hanne Riis Nielson, Flemming Nielson
2013	J	`jnl`	Pushdown Systems for Monotone Frameworks. CoRR Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2013	—	`conf`	Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods Hanne Riis Nielson, Flemming Nielson
2013	—	`ed.`	Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings NordSec Hanne Riis Nielson, Dieter Gollmann
2012	—	`conf`	A Calculus for Quality. FACS Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
2012	J	`jnl`	Flow Logic for Process Calculi. ACM Comput. Surv. Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
2012	C	`conf`	Key Update Assistant for resource-constrained networks. ISCC Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2012	C	`conf`	LBTool: A stochastic toolkit for leave-based key updates. ISCC Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen
2012	J	`jnl`	Lattice based Least Fixed Point Logic CoRR Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
2012	J	`jnl`	Layered Fixed Point Logic CoRR Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
2012	C	`conf`	Layered fixed point logic. PPDP Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
2012	B	`conf`	Model Checking as Static Analysis: Revisited. IFM Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
2012	J	`jnl`	Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
2012	Misc	`conf`	Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson
2012	J	`jnl`	Optimizing ZigBee Security using Stochastic Model Checking CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
2012	C	`conf`	Recursive Advice for Coordination. COORDINATION Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2012	J	`jnl`	Secondary use of data in EHR systems CoRR Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2012	J	`jnl`	XACML 3.0 in Answer Set Programming CoRR Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2012	C	`conf`	XACML 3.0 in Answer Set Programming. LOPSTR Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2011	J	`jnl`	A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2011	—	`ch.`	Analysing Protocol Stacks for Services. Results of the SENSORIA Project Han Gao, Flemming Nielson, Hanne Riis Nielson
2011	J	`jnl`	CaPiTo: protocol stacks for services. Formal Aspects Comput. Han Gao, Flemming Nielson, Hanne Riis Nielson
2011	C	`conf`	Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
2011	—	`conf`	Controlling Modelling Artifacts. QEST Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson
2011	J	`jnl`	Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comput. Sci. Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson
2011	—	`conf`	From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
2011	—	`conf`	Galois Connections for Flow Algebras. FMOODS/FORTE Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2011	J	`jnl`	Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson
2011	—	`conf`	Resilience analysis of key update strategies for resource-constrained networks. ICUMT Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2011	J	`jnl`	The Logic of XACML - Extended CoRR Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2011	—	`conf`	The Logic of XACML. FACS Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2010	—	`conf`	Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. TAPAS@SAS Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson
2010	J	`jnl`	From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2010	B	`conf`	Model Checking FoSSaCS Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	Model Checking Multivariate State Rewards. QEST Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	Probabilistic Aspects: Checking Security in an Imperfect World. TGC Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2010	J	`jnl`	Static analysis of topology-dependent broadcast networks. Inf. Comput. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS Flemming Nielson, Han Gao, Hanne Riis Nielson
2009	J	`jnl`	A monotone framework for CCS. Comput. Lang. Syst. Struct. Hanne Riis Nielson, Flemming Nielson
2009	—	`conf`	A secure key establishment protocol for zigbee wireless sensor networks. ISCIS Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2009	A	`conf`	Advice from Belnap Policies. CSF Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2008	—	`conf`	08161 Abstracts Collection - Scalable Program Analysis. Scalable Program Analysis Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
2008	C	`conf`	Advice for Coordination. COORDINATION Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang
2008	C	`conf`	From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2008	A	`conf`	Iterative Specialisation of Horn Clauses. ESOP Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
2008	B	`conf`	Modal Abstractions of Concurrent Behaviour. SAS Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2008	J	`jnl`	Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
2008	B	`conf`	Relational Analysis of Correlation. SAS Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
2008	—	`ed.`	Scalable Program Analysis, 13.04. - 18.04.2008 Scalable Program Analysis Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
2008	B	`conf`	Static Validation of Licence Conformance Policies. ARES René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst
2007	—	`conf`	A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
2007	A	`conf`	A flow-sensitive analysis of privacy properties. CSF Hanne Riis Nielson, Flemming Nielson
2007	—	`conf`	Heuristics for Safety and Security Constraints. Computation, Meaning, and Logic Flemming Nielson, Hanne Riis Nielson
2007	—	`conf`	Relational Analysis for Delivery of Services. TGC Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
2007	—	`book`	Semantics with Applications: An Appetizer. Hanne Riis Nielson, Flemming Nielson
2007	B	`ed.`	Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings SAS Hanne Riis Nielson, Gilberto Filé
2007	B	`conf`	Topology-Dependent Abstractions of Broadcast Networks. CONCUR Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2007	J	`jnl`	What is a free name in a process algebra? Inf. Process. Lett. Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
2006	—	`conf`	06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
2006	—	`conf`	06161 Executive Summary -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher
2006	—	`conf`	Active Evaluation Contexts for Reaction Semantics. SOS@CONCUR Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
2006	—	`conf`	Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) Han Gao, Hanne Riis Nielson
2006	B	`conf`	Analyzing Security Protocols in Hierarchical Networks. ATVA Ye Zhang, Hanne Riis Nielson
2006	—	`conf`	Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
2006	—	`conf`	Cryptographic Pattern Matching. VODCA@FOSAD Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
2006	—	`conf`	Data Flow Analysis for CCS. Program Analysis and Compilation Hanne Riis Nielson, Flemming Nielson
2006	—	`ed.`	Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006 Simulation and Verification of Dynamic Systems David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
2006	J	`jnl`	Static Analysis for Blinding. Nord. J. Comput. Christoffer Rosenkilde Nielsen, Hanne Riis Nielson
2006	—	`conf`	Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
2006	—	`ed.`	Transactions on Computational Systems Biology VII Trans. Computational Systems Biology Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson
2006	—	`conf`	Types from Control Flow Analysis. Program Analysis and Compilation Flemming Nielson, Hanne Riis Nielson
2005	B	`conf`	Information Flow Analysis for VHDL. PaCT Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson
2005	B	`conf`	On Evaluating the Performance of Security Protocols. PaCT Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2005	—	`conf`	Static Validation of a Voting Protocol. ARSPA@ICALP Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson
2005	J	`jnl`	Static validation of security protocols. J. Comput. Secur. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2005	—	`conf`	Using static analysis to validate the SAML single sign-on protocol. WITS Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson
2004	J	`jnl`	A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson
2004	—	`conf`	Performance Evaluation of Security Protocols Specified in LySa. QAPL Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2004	B	`conf`	Spatial Analysis of BioAmbients. SAS Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
2004	A	`conf`	The Succinct Solver Suite. TACAS Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
2003	J	`jnl`	Abstract interpretation of mobile ambients. Sci. Comput. Program. Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
2003	—	`conf`	Automatic Validation of Protocol Narration. CSFW Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2003	—	`conf`	Control Flow Analysis for BioAmbients. BioConcur@CONCUR Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa
2002	J	`jnl`	A Succinct Solver for ALFP. Nord. J. Comput. Flemming Nielson, Helmut Seidl, Hanne Riis Nielson
2002	A	`conf`	Automatic Complexity Analysis. ESOP Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2002	—	`conf`	Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation Hanne Riis Nielson, Flemming Nielson
2002	J	`jnl`	Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Gener. Comput. Syst. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2002	B	`conf`	Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2002	—	`conf`	Security for Mobility. FOSAD Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
2002	J	`jnl`	Validating firewalls using flow logics. Theor. Comput. Sci. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
2001	—	`conf`	Cryptographic Analysis in Cubic Time. TOSCA Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2001	J	`jnl`	Kleene's Logic with Equality. Inf. Process. Lett. Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
2001	—	`ch.`	Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	J	`jnl`	Shape Analysis for Mobile Ambients. Nord. J. Comput. Hanne Riis Nielson, Flemming Nielson
2001	B	`conf`	Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	J	`jnl`	Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2000	A	`conf`	A Kleene Analysis of Mobile Ambients. ESOP Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
2000	J	`jnl`	Security Analysis using Flow Logics. Bull. EATCS Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2000	A*	`conf`	Shape Analysis for Mobile Ambients. POPL Hanne Riis Nielson, Flemming Nielson
1999	B	`conf`	Abstract Interpretation of Mobile Ambients. SAS René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
1999	A	`conf`	Interprocedural Control Flow Analysis. ESOP Flemming Nielson, Hanne Riis Nielson
1999	—	`book`	Principles of program analysis. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
1999	B	`conf`	Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1999	—	`conf`	Type and Effect Systems. Correct System Design Flemming Nielson, Hanne Riis Nielson
1999	—	`book`	Type and effect systems - behaviours for concurrency. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
1999	B	`conf`	Validating Firewalls in Mobile Ambients. CONCUR Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen
1998	J	`jnl`	Behavior Analysis for Validating Communication Patterns. Int. J. Softw. Tools Technol. Transf. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
1998	B	`conf`	Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
1998	B	`conf`	Control Flow Analysis for the pi-calculus. CONCUR Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1998	B	`conf`	Flow Logic for Imperative Objects. MFCS Flemming Nielson, Hanne Riis Nielson
1998	B	`conf`	Flow Logics for Constraint Based Analysis. CC Hanne Riis Nielson, Flemming Nielson
1998	J	`jnl`	Strictness and Totality Analysis. Sci. Comput. Program. Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson
1997	—	`conf`	Flow Logic and Operational Semantics. HOOTS Flemming Nielson, Hanne Riis Nielson
1997	A*	`conf`	Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL Hanne Riis Nielson, Flemming Nielson
1997	J	`jnl`	Position Statements on Strategic Directions for Research on Programming Languages. ACM SIGPLAN Notices Chris Hankin, Hanne Riis Nielson, Jens Palsberg
1997	C	`conf`	Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM Flemming Nielson, Hanne Riis Nielson
1997	A	`conf`	Systematic Realisation of Control Flow Analyses for CML. ICFP Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson
1997	J	`jnl`	Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
1996	J	`jnl`	Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. Chris Hankin, Hanne Riis Nielson
1996	J	`jnl`	From CML to its Process Algebra. Theor. Comput. Sci. Flemming Nielson, Hanne Riis Nielson
1996	—	`conf`	Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation Flemming Nielson, Hanne Riis Nielson
1996	J	`jnl`	Operational Semantics of Termination Types. Nord. J. Comput. Flemming Nielson, Hanne Riis Nielson
1996	—	`conf`	Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
1996	—	`conf`	Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
1996	—	`conf`	Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
1996	A	`ed.`	Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings ESOP Hanne Riis Nielson
1996	J	`jnl`	Strategic Directions in Research on Programming Languages. ACM Comput. Surv. Chris Hankin, Hanne Riis Nielson, Jens Palsberg
1995	—	`conf`	Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT Hanne Riis Nielson, Flemming Nielson
1994	—	`conf`	Constraints for Polymorphic Behaviours of Concurrent ML. CCL Flemming Nielson, Hanne Riis Nielson
1994	A*	`conf`	Higher-Order Concurrent Programs with Finite Communication Topology. POPL Hanne Riis Nielson, Flemming Nielson
1994	J	`jnl`	The Tensor Product in Wadler's Analysis of Lists. Sci. Comput. Program. Flemming Nielson, Hanne Riis Nielson
1993	—	`conf`	Finiteness Conditions for Strictness Analysis. WSA Flemming Nielson, Hanne Riis Nielson
1993	B	`conf`	From CML to Process Algebras (Extended Abstract). CONCUR Flemming Nielson, Hanne Riis Nielson
1992	A*	`conf`	Bounded Fixed Point Iteration. POPL Hanne Riis Nielson, Flemming Nielson
1992	J	`jnl`	Bounded Fixed-Point Iteration. J. Log. Comput. Hanne Riis Nielson, Flemming Nielson
1992	—	`conf`	Finiteness Conditions for Fixed Point Iteration. LISP and Functional Programming Flemming Nielson, Hanne Riis Nielson
1992	J	`jnl`	Forced transformation of Occam programs. Inf. Softw. Technol. Flemming Nielson, Hanne Riis Nielson
1992	—	`conf`	Inference Systems for Binding Time Analysis. WSA Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
1992	—	`conf`	Layered Predicates. REX Workshop Flemming Nielson, Hanne Riis Nielson
1992	—	`book`	Semantics with applications - a formal introduction. Hanne Riis Nielson, Flemming Nielson
1992	A	`conf`	The Tensor Product in Wadler's Analysis of Lists. ESOP Flemming Nielson, Hanne Riis Nielson
1992	—	`book`	Two-level functional languages. Flemming Nielson, Hanne Riis Nielson
1991	J	`jnl`	Using Transformations in the Implementations of Higher-Order Functions. J. Funct. Program. Hanne Riis Nielson, Flemming Nielson
1990	—	`conf`	Context Information for Lazy Code Generation. LISP and Functional Programming Hanne Riis Nielson, Flemming Nielson
1990	A	`conf`	Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP Hanne Riis Nielson, Flemming Nielson
1990	J	`jnl`	Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. Theor. Comput. Sci. Hanne Riis Nielson, Flemming Nielson
1989	—	`conf`	Transformations on Higher-Order Functions. FPCA Hanne Riis Nielson, Flemming Nielson
1988	A	`conf`	2-level lambda-lifting. ESOP Flemming Nielson, Hanne Riis Nielson
1988	A*	`conf`	Automatic Binding Time Analysis for a Typed Lambda-Calculus. POPL Hanne Riis Nielson, Flemming Nielson
1988	J	`jnl`	Automatic Binding Time Analysis for a Typed lambda-Calculus. Sci. Comput. Program. Hanne Riis Nielson, Flemming Nielson
1988	J	`jnl`	Two-Level Semantics and Code Generation. Theor. Comput. Sci. Flemming Nielson, Hanne Riis Nielson
1987	J	`jnl`	A Hoare-Like Proof System for Analysing the Computation Time of Programs. Sci. Comput. Program. Hanne Riis Nielson
1986	A	`conf`	Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP Hanne Riis Nielson, Flemming Nielson
1986	—	`conf`	Semantics Directed Compiling for Functional Languages. LISP and Functional Programming Hanne Riis Nielson, Flemming Nielson
1985	—	`conf`	Code generation from two-level denotational meta-languages. Programs as Data Objects Flemming Nielson, Hanne Riis Nielson
1984	—	`—`	Hoare logic's for run-time analysis of programs. Hanne Riis Nielson
1983	J	`jnl`	Computation Sequences: A Way to Characterize Classes of Attribute Grammars. Acta Informatica Hanne Riis Nielson
1981	J	`jnl`	k-visit Attribute Grammars. Math. Syst. Theory Hanne Riis Nielson, Sven Skyum