- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3 (2012) |
| j5 | | Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard: Static Analysis of IMC. J. Log. Algebr. Program. 81(4): 522-540 (2012) |
| i1 | | Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang: Roadmap Document on Stochastic Analysis. CoRR abs/1209.6578 (2012) |
| 2011 | ||
| c7 | | Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard: From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 74-89 |
| 2008 | ||
| j4 | | Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008) |
| c6 | | Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46 |
| 2007 | ||
| j3 | | Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007) |
| j2 | | Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007) |
| c5 | | Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89 |
| 2006 | ||
| c4 | | Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006 |
| c3 | | Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006 |
| 2004 | ||
| c2 | | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83 |
| c1 | | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265 |
| 2003 | ||
| j1 |  | Henrik Pilegaard, Michael R. Hansen, Robin Sharp: An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10(4): 337- (2003) |
| 1 | Mikael Buchholtz | |
| 2 | Michael R. Hansen (Michael Rygaard Hansen) | |
| 3 | René Rydhof Hansen | |
| 4 | Jörg Kreiker (Jörg Bauer 0001) | |
| 5 | Bo Friis Nielsen | |
| 6 | Christoffer Rosenkilde Nielsen | |
| 7 | Flemming Nielson | |
| 8 | Hanne Riis Nielson | |
| 9 | Helmut Seidl | |
| 10 | Robin Sharp | |
| 11 | Nataliya Skrypnyuk | |
| 12 | Michael J. A. Smith (Michael James Andrew Smith) | |
| 13 | Hongyan Sun | |
| 14 | Ender Yüksel | |
| 15 | Kebin Zeng | |
| 16 | Lijun Zhang 0001 |
Colors in the list of coauthors
Last update Sun May 19 21:29:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page