Concepedia

Author

Marcus Groesser

Consejo Nacional de Investigaciones Científicas y Técnicas

Also Known As

Marcus Groesser

5

Publications

141

Citations

4

H-Index

11

Concepts

All Affiliations

Consejo Nacional de Investigaciones Científicas y Técnicas
MG

About

Marcus Groesser is an author at Consejo Nacional de Investigaciones Científicas y Técnicas specializing in systems engineering, automated reasoning, and probability theory.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

55

2

Computer Science

1

1

55

3

Systems Engineering

1

1

55

4

Probability Theory

1

1

55

5

Automated Reasoning

1

1

55

Marcus Groesser

×

2

Publications

106

Citations

2

H-Index

YearCitations

Partial Order Reduction for Probabilistic Branching Time

Christel Baier, Pedro R. D’Argenio, Marcus Groesser

Electronic Notes in Theoretical Computer Science

2006

55

Stochastic Timed Automata

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye,

Logical Methods in Computer Science

2014

51

Page 1