dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Hanne Riis Nielson (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3 (2012)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne 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
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265

Selection of 11 from 142 records - Hanne Riis Nielson has 51 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page