Concepedia

Radu Mateescu

RM

Statistics

Publications

37

Citations

1.7K

H-Index

19

Active since

1996

Affiliations

Centre Inria de l'Université Grenoble Alpes(Current)

Institut national de recherche en sciences et technologies du numérique

Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Centre National de la Recherche Scientifique

Radu Mateescu is an author at Centre Inria de l'Université Grenoble Alpes specializing in computer science, computing, and formal methods.

Publications per year

1996–2022

37

Publications

37

CADP 2011: a toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · International Journal on Software Tools for Technology Transfer · 2012 · 276 citations · Full text

Computing, Computer Science, Systems Engineering +11

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

G. Batt, Delphine Ropers, Hidde de Jong et al. · Computer applications in the biosciences · 2005 · 193 citations

Engineering, Genetics, Biological Systems Modeling +14

Efficient on-the-fly model-checking for regular alternation-free mu-calculus

Radu Mateescu, Mihaela Sighireanu · Science of Computer Programming · 2002 · 159 citations · Full text

Computing, Computer Science, Algorithms +7

An overview of CADP 2001

Hubert Garavel, Frédéric Lang, Radu Mateescu · 2001 · 151 citations · Full text

Computing, Computer Engineering, Computer Science +17

Parallel state space construction for model-checking

Hubert Garavel, Radu Mateescu, Irina Smarandache · OpenGrey (Institut de l'Information Scientifique et Technique) · 2001 · 126 citations · Full text

Computing, Computer Engineering, Computer Science +11

1–5 of 37