×
Edit Profile (opens in new tab)

Joubert, Christophe

Co-Author Distance
Author ID: joubert.christophe Recent zbMATH articles by "Joubert, Christophe"
Published as: Joubert, Christophe
Documents Indexed: 4 Publications since 2003
Co-Authors: 4 Co-Authors with 3 Joint Publications
124 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Mateescu, Radu
1 Alpuente, María
1 Bergamini, Damien
1 Descoubes, Nicolas
1 Feliú, Marco A.
1 Hermanns, Holger
1 Villanueva, Alicia

Serials

Fields

4 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 12 times in 10 Documents Cited by ▼ Year ▼
BISIMULATOR: A modular tool for on-the-fly equivalence checking. Zbl 1087.68583
Bergamini, Damien; Descoubes, Nicolas; Joubert, Christophe; Mateescu, Radu
7
2005
Distributed on-the-fly model checking and test case generation. Zbl 1178.68345
Joubert, Christophe; Mateescu, Radu
3
2006
A set of performance and dependability analysis components for CADP. Zbl 1031.68552
Hermanns, Holger; Joubert, Christophe
2
2003
Distributed on-the-fly model checking and test case generation. Zbl 1178.68345
Joubert, Christophe; Mateescu, Radu
3
2006
BISIMULATOR: A modular tool for on-the-fly equivalence checking. Zbl 1087.68583
Bergamini, Damien; Descoubes, Nicolas; Joubert, Christophe; Mateescu, Radu
7
2005
A set of performance and dependability analysis components for CADP. Zbl 1031.68552
Hermanns, Holger; Joubert, Christophe
2
2003
all cited Publications top 5 cited Publications
all top 5

Cited by 17 Authors

4 Lang, Frédéric
3 Garavel, Hubert
3 Mateescu, Radu
2 de Jong, Hidde
2 Deifel, Hans-Peter
2 Dumas, Estelle
2 Milius, Stefan
2 Monteiro, Pedro T.
2 Salaün, Gwen
2 Schröder, Lutz
2 Serwe, Wendelin
2 Wißmann, Thorsten
1 Evrard, Hugues
1 Hérilier, Rémi
1 Kramer, Jeff
1 Magee, Jeff
1 van de Pol, Jan Cornelis

Cited in 4 Serials

2 Formal Aspects of Computing
1 Theoretical Computer Science
1 Science of Computer Programming
1 Journal of Logical and Algebraic Methods in Programming

Cited in 5 Fields

10 Computer science (68-XX)
2 Biology and other natural sciences (92-XX)
1 Mathematical logic and foundations (03-XX)
1 Probability theory and stochastic processes (60-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year