Nicolas Rapin Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frederik Otzen Bagger, Nicolas Rapin, Kim Theilgaard-Mönch, Bogumil Kaczkowski, Lina A. Thoren, Johan Jendholm, Ole Winther, Bo T. Porse: HemaExplorer: a database of mRNA expression profiles in normal and malignant haematopoiesis. Nucleic Acids Research 41(Database-Issue): 1034-1039 (2013)
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicolas Rapin, Ole Lund, Filippo Castiglione: Immune system simulation online. Bioinformatics 27(14): 2013-2014 (2011)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani: Diagnosability Study of Technological Systems. IEA/AIE (1) 2011: 186-198
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicolas Rapin: Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. TAP 2009: 137-152
2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Refinement Testing. TAP 2007: 131-148
2006
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß: Report on the 3rd MoDeVa Workshop - Model Design and Validation. MoDELS Workshops 2006: 179-181
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18
2003
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin: Automatic Test Generation with AGATHA. TACAS 2003: 591-596

Coauthor Index

1Davide Alemani
[j1]
2Frederik Otzen Bagger
[j3]
3Kaye E. Basford
[j1]
4Michel Batteux
[c6]
5Benoit Baudry
[c3]
6Massimo Bernaschi
[j1]
7Céline Bigot
[c1]
8Søren Brunak
[j1]
9Vladimir Brusic
[j1]
10Filippo Castiglione
[j2] [j1]
11Daniel Churchill
[j1]
12Philippe Dague
[c6]
13Patrice Duroux
[j1]
14Andrew Emerson
[j1]
15Alain Faivre
[c1]
16Philippe Fiani
[c6]
17Pascale Le Gall
[c4] [c2]
18Jean-Pierre Gallois
[c1]
19Christophe Gaston
[c2]
20Mark D. Halling-Brown
[j1]
21David Hearnden
[c3]
22Johan Jendholm
[j3]
23Bogumil Kaczkowski
[j3]
24Arnault Lapitre
[c1]
25Marie-Paule Lefranc
[j1]
26Pierluigi Lollini
[j1]
27David Lugato
[c1]
28Ole Lund
[j2]
29Olivo Miotto
[j1]
30David S. Moss
[j1]
31Santo Motta
[j1]
32Paola Paci
[j1]
33Arianna Palladini
[j1]
34Francesco Pappalardo
[j1]
35Marzio Pennisi
[j1]
36Jean-Yves Pierron
[c1]
37Bo T. Porse
[j3]
38Elda Rossi
[j1]
39Adrian J. Shepherd
[j1]
40Jörn Guy Süß
[c3]
41Kim Theilgaard-Mönch
[j3]
42Lina A. Thoren
[j3]
43Assia Touil
[c4] [c2]
44Ole Winther
[j3]
45Ping Zhang 0008
[j1]

Colors in the list of coauthors

Last update Fri May 24 08:31:49 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page