Search the dblp DataBase

Publications of Author

1. Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
   Spatial Analysis of BioAmbients. [Citation Graph (0, 0)][DBLP]
   SAS, 2004, pp:69-83 [Conf]
   
2. Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
   The Succinct Solver Suite. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:251-265 [Conf]
   
3. Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
   Active Evaluation Contexts for Reaction Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:57-70 [Journal]
   
4. Henrik Pilegaard, Michael R. Hansen, Robin Sharp
   An Approach to Analyzing Availability Properties of Security Protocols. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2003, v:10, n:4, pp:337-0 [Journal]
   
5. Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
   What is a free name in a process algebra? [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2007, v:103, n:5, pp:188-194 [Journal]
   
6. 
   Context Dependent Analysis of BioAmbients. [Citation Graph (, )][DBLP]
   
   
7. 
   Static Analysis of a Model of the LDL Degradation Pathway. [Citation Graph (, )][DBLP]
   
   
8. 
   Relational Analysis of Correlation. [Citation Graph (, )][DBLP]
   
   
9. 
   Relational Analysis for Delivery of Services. [Citation Graph (, )][DBLP]