The Complexity of Weak Unification of Bounded Simple Set Terms. - Sergio Greco; Cristinel Mateis; Eugenio Spadafora (DEXA, 1996)

Unification of Bounded Simple Set Terms in Deductive Databases. - Sergio Greco; Cristinel Mateis; Eugenio Spadafora (Logic in Databases, 1996)

The Architecture of a Disjunctive Deductive Database System. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (APPIA-GULP-PRODE, 1997)

A Deductive System for Non-Monotonic Reasoning. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (LPNMR, 1997)

The dlv System: Model Generator and Advanced Frontends (system description). - Simona Citrigno; Thomas Eiter; Wolfgang Faber 001; Georg Gottlob; Christoph Koch 001; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (WLP, 1997)

Progress Report on the Disjunctive Deductive Database System dlv. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (FQAS, 1998)

The KR System dlv: Progress Report, Comparisons and Benchmarks. - Thomas Eiter; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (KR, 1998)

Extending Disjunctive Logic Programming by T-norms. - Cristinel Mateis (LPNMR, 1999)

Model-Based Debugging of Java Programs. - Cristinel Mateis; Markus Stumptner; Dominik Wieland; Franz Wotawa (AADEBUG, 2000)

Modeling Java Programs for Diagnosis. - Cristinel Mateis; Markus Stumptner; Franz Wotawa (ECAI, 2000)

JADE - AI Support for Debugging Java Programs. - Cristinel Mateis; Markus Stumptner; Dominik Wieland; Franz Wotawa (ICTAI, 2000)

Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. - Cristinel Mateis; Markus Stumptner; Franz Wotawa (IEA/AIE, 2000)

Quantitative Disjunctive Logic Programming: Semantics and Computation. - Cristinel Mateis (AI Commun., 2000)

Exponential pattern recognition for deriving air change rates from CO2 data. - Florian Wenig; Peter Klanatsky; Christian Heschl; Cristinel Mateis; Dejan Nickovic (ISIE, 2017)

Shape Expressions for Specifying and Extracting Signal Features. - Dejan Nickovic; Xin Qin; Thomas Ferrère; Cristinel Mateis; Jyotirmoy V. Deshmukh (RV, 2019)

Automatic Failure Explanation in CPS Models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (SEFM, 2019)

Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)

Weakness Monitors for Fail-Aware Systems. - Wolfgang Granig; Stefan Jaksic; Horst Lewitschnig; Cristinel Mateis; Dejan Nickovic (FORMATS, 2020)

CPSDebug: a tool for explanation of failures in cyber-physical systems. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic; Fabrizio Pastore (ISSTA, 2020)

Mining Shape Expressions From Positive Examples. - Ezio Bartocci; Jyotirmoy Deshmukh; Felix Gigler; Cristinel Mateis; Dejan Nickovic; Xin Qin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Sampling of shape expressions with ShapEx. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (MEMOCODE, 2021)

Mining Shape Expressions with ShapeIt. - Ezio Bartocci; Jyotirmoy Deshmukh; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic; Xin Qin (SEFM, 2021)

Sampling of Shape Expressions. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (CoRR, 2021)

CPSDebug: Automatic failure explanation in CPS models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2021)

Specifying and detecting temporal patterns with shape expressions. - Dejan Nickovic; Xin Qin; Thomas Ferrère; Cristinel Mateis; Jyotirmoy Deshmukh (Int. J. Softw. Tools Technol. Transf., 2021)

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. - Roderick Bloem; Alberto Larrauri; Roland Lengfeldner; Cristinel Mateis; Dejan Nickovic; Björn Ziegler (CODES+ISSS, 2022)

Constrained Training of Recurrent Neural Networks for Automata Learning. - Bernhard K. Aichernig; Sandra König; Cristinel Mateis; Andrea Pferscher; Dominik Schmidt; Martin Tappler (SEFM, 2022)

Survey on mining signal temporal logic specifications. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (Inf. Comput., 2022)

Mining Specification Parameters for Multi-class Classification. - Edgar A. Aguilar; Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (RV, 2023)

Mining Hyperproperties using Temporal Logics. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (ACM Trans. Embed. Comput. Syst., 2023)

Learning minimal automata with recurrent neural networks. - Bernhard K. Aichernig; Sandra König; Cristinel Mateis; Andrea Pferscher; Martin Tappler (Softw. Syst. Model., 2024)

Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems. - Selma Grosse; Adam Molin; Dejan Nickovic; Alessio Gambi; Cristinel Mateis (ICST, 2025)

From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. - Elias Horner; Cristinel Mateis; Guido Governatori; Agata Ciabattoni (CoRR, 2025)