An Approach to Analyzing Availability Properties of Security Protocols. - Henrik Pilegaard; Michael R. Hansen; Robin Sharp (Nord. J. Comput., 2003)

Spatial Analysis of BioAmbients. - Hanne Riis Nielson; Flemming Nielson; Henrik Pilegaard (SAS, 2004)

The Succinct Solver Suite. - Flemming Nielson; Hanne Riis Nielson; Hongyan Sun; Mikael Buchholtz; René Rydhof Hansen; Henrik Pilegaard; Helmut Seidl (TACAS, 2004)

Static Analysis of a Model of the LDL Degradation Pathway. - Henrik Pilegaard; Hanne Riis Nielson; Flemming Nielson (Simulation and Verification of Dynamic Systems, 2006)

Context Dependent Analysis of BioAmbients. - Henrik Pilegaard; Hanne Riis Nielson; Flemming Nielson (Simulation and Verification of Dynamic Systems, 2006)

Active Evaluation Contexts for Reaction Semantics. - Henrik Pilegaard; Flemming Nielson; Hanne Riis Nielson (SOS@CONCUR, 2006)

Relational Analysis for Delivery of Services. - Flemming Nielson; Hanne Riis Nielson; Jörg Bauer 001; Christoffer Rosenkilde Nielsen; Henrik Pilegaard (TGC, 2007)

What is a free name in a process algebra? - Flemming Nielson; Hanne Riis Nielson; Henrik Pilegaard (Inf. Process. Lett., 2007)

Language Based Techniques for Systems Biology. - Henrik Pilegaard (2007)

Relational Analysis of Correlation. - Jörg Bauer 001; Flemming Nielson; Hanne Riis Nielson; Henrik Pilegaard (SAS, 2008)

Pathway analysis for BioAmbients. - Henrik Pilegaard; Flemming Nielson; Hanne Riis Nielson (J. Log. Algebraic Methods Program., 2008)

From Explicit to Symbolic Types for Communication Protocols in CCS. - Hanne Riis Nielson; Flemming Nielson; Jörg Kreiker; Henrik Pilegaard (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Roadmap Document on Stochastic Analysis - Bo Friis Nielsen; Flemming Nielson; Henrik Pilegaard; Michael James Andrew Smith; Ender Yüksel; Kebin Zeng; Lijun Zhang 001 (CoRR, 2012)

Flow Logic for Process Calculi. - Hanne Riis Nielson; Flemming Nielson; Henrik Pilegaard (ACM Comput. Surv., 2012)

Static Analysis of IMC. - Nataliya Skrypnyuk; Flemming Nielson; Henrik Pilegaard (J. Log. Algebraic Methods Program., 2012)