Henrik Pilegaard

15 papers A 1B 2Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2012 J jnl
Flow Logic for Process Calculi.
ACM Comput. Surv.
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
2012 J jnl
Roadmap Document on Stochastic Analysis
CoRR
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang
2012 J jnl
Static Analysis of IMC.
J. Log. Algebraic Methods Program.
Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard
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
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
2007 — —
Language Based Techniques for Systems Biology.
Henrik Pilegaard
2007 — conf
Relational Analysis for Delivery of Services.
TGC
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
2007 J jnl
What is a free name in a process algebra?
Inf. Process. Lett.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
2006 — conf
Active Evaluation Contexts for Reaction Semantics.
SOS@CONCUR
Henrik Pilegaard, Flemming Nielson, 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
Static Analysis of a Model of the LDL Degradation Pathway.
Simulation and Verification of Dynamic Systems
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
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
An Approach to Analyzing Availability Properties of Security Protocols.
Nord. J. Comput.
Henrik Pilegaard, Michael R. Hansen, Robin Sharp