Cristinel Mateis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
12
Active years
1996–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAIL | From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. | Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni |
| 2025 | ICST | Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems. | Selma Grosse, Adam Molin, Dejan Nickovic, Alessio Gambi, Cristinel Mateis |
| 2023 | RV | Mining Specification Parameters for Multi-class Classification. | Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic |
| 2022 | SEFM | Constrained Training of Recurrent Neural Networks for Automata Learning. | Bernhard K. Aichernig, Sandra Knig, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler |
| 2021 | MEMOCODE | Sampling of shape expressions with ShapEx. | Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
| 2021 | SEFM | Mining Shape Expressions with ShapeIt. | Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
| 2020 | ISSTA | CPSDebug: a tool for explanation of failures in cyber-physical systems. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore |
| 2019 | RV | Shape Expressions for Specifying and Extracting Signal Features. | Dejan Nickovic, Xin Qin, Thomas Ferrre, Cristinel Mateis, Jyotirmoy V. Deshmukh |
| 2019 | SEFM | Automatic Failure Explanation in CPS Models. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
| 2000 | ECAI | Modeling Java Programs for Diagnosis. | Cristinel Mateis, Markus Stumptner, Franz Wotawa |
| 2000 | ICTAI | JADE - AI Support for Debugging Java Programs. | Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa |
| 1999 | LPNMR | Extending Disjunctive Logic Programming by T-norms. | Cristinel Mateis |
| 1998 | FQAS | Progress Report on the Disjunctive Deductive Database System | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | KR | The KR System dlv: Progress Report, Comparisons and Benchmarks. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1997 | LPNMR | A Deductive System for Non-Monotonic Reasoning. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1996 | DEXA | The Complexity of Weak Unification of Bounded Simple Set Terms. | Sergio Greco, Cristinel Mateis, Eugenio Spadafora |