Statistics
Publications
12
Citations
485
H-Index
11
Active since
1997
Affiliations
Cristinel Mateis is an author at Austrian Institute of Technology specializing in computer science, computing, and systems modeling.
Publications per year
1997–2022
12
12
The KR system dlv: progress report, comparisons and benchmarks
Thomas Eiter, Nicola Leone, Cristinel Mateis et al. · 1998 · 210 citations
The dlv System: Model Generator and Application Frontends
Simona Citrigno, Thomas Eiter, Wolfgang Faber et al. · 1997 · 40 citations
Survey on mining signal temporal logic specifications
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini et al. · Information and Computation · 2022 · 37 citations · Full text
Model-Based Debugging of Java Programs.
Cristinel Mateis, Markus Stumptner, Dominik Wieland et al. · arXiv (Cornell University) · 2000 · 30 citations · Full text
1–5 of 12