Henrik Pilegaard

According to our database, Henrik Pilegaard authored at least 15 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Static Analysis of IMC.

Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard

J. Log. Algebraic Methods Program., 2012

Flow Logic for Process Calculi.

Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard

ACM Comput. Surv., 2012

Roadmap Document on Stochastic Analysis

Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang

CoRR, 2012

2011

From Explicit to Symbolic Types for Communication Protocols in CCS.

Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2008

Pathway analysis for BioAmbients.

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

J. Log. Algebraic Methods Program., 2008

Relational Analysis of Correlation.

Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Language Based Techniques for Systems Biology.

Henrik Pilegaard

PhD thesis, 2007

What is a free name in a process algebra?

Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

Inf. Process. Lett., 2007

Relational Analysis for Delivery of Services.

Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006

Active Evaluation Contexts for Reaction Semantics.

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Context Dependent Analysis of BioAmbients.

Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Static Analysis of a Model of the LDL Degradation Pathway.

Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2004

The Succinct Solver Suite.

Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Spatial Analysis of BioAmbients.

Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

An Approach to Analyzing Availability Properties of Security Protocols.

Henrik Pilegaard, Michael R. Hansen, Robin Sharp

Nord. J. Comput., 2003