Cristinel Mateis

804 total citations
22 papers, 252 citations indexed

About

Cristinel Mateis is a scholar working on Computer Networks and Communications, Software and Artificial Intelligence. According to data from OpenAlex, Cristinel Mateis has authored 22 papers receiving a total of 252 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Computer Networks and Communications, 9 papers in Software and 8 papers in Artificial Intelligence. Recurrent topics in Cristinel Mateis's work include Software System Performance and Reliability (8 papers), Software Testing and Debugging Techniques (8 papers) and Software Reliability and Analysis Research (6 papers). Cristinel Mateis is often cited by papers focused on Software System Performance and Reliability (8 papers), Software Testing and Debugging Techniques (8 papers) and Software Reliability and Analysis Research (6 papers). Cristinel Mateis collaborates with scholars based in Austria, China and United States. Cristinel Mateis's co-authors include Nicola Leone, Francesco Scarcello, Thomas Eiter, Gerald Pfeifer, Franz Wotawa, Markus Stumptner, Dejan Ničković, Ezio Bartocci, Leonardo Mariani and Christoph Koch and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Information and Computation and ACM Transactions on Embedded Computing Systems.

In The Last Decade

Cristinel Mateis

20 papers receiving 223 citations

Peers

Cristinel Mateis

AI

SOFTW

IS

CNC

CTM

Harald Raffelt Germany

Markus N. Rabe United States

Philip J. Schielke United States

Shmuel Tyszberowicz Israel

Jürgen Dingel Canada

Matteo Cimini United States

Shin-Ming Liu United States

Kostyantyn Shchekotykhin Austria

Alessandro Previti Portugal

Xianghua Deng United States

Harald Raffelt Germany

Cristinel Mateis

132 ×0.8

AI

138 ×1.7

SOFTW

69 ×1.3

IS

39 ×0.8

CNC

64 ×1.2

CTM

Citations per year, relative to Cristinel Mateis Cristinel Mateis (= 1×) peers Harald Raffelt

Countries citing papers authored by Cristinel Mateis

Since Specialization

Citations

This map shows the geographic impact of Cristinel Mateis's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Cristinel Mateis with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Cristinel Mateis more than expected).

Fields of papers citing papers by Cristinel Mateis

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Cristinel Mateis. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Cristinel Mateis. The network helps show where Cristinel Mateis may publish in the future.

Co-authorship network of co-authors of Cristinel Mateis

This figure shows the co-authorship network connecting the top 25 collaborators of Cristinel Mateis. A scholar is included among the top collaborators of Cristinel Mateis based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Cristinel Mateis. Cristinel Mateis is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Aichernig, Bernhard K., et al.. (2024). Learning minimal automata with recurrent neural networks. Software & Systems Modeling. 23(3). 625–655. 2 indexed citations

2.

Bartocci, Ezio, et al.. (2023). Mining Hyperproperties using Temporal Logics. ACM Transactions on Embedded Computing Systems. 22(5s). 1–26.

3.

Bartocci, Ezio, et al.. (2022). Survey on mining signal temporal logic specifications. Information and Computation. 289. 104957–104957. 11 indexed citations

4.

Bloem, Roderick, et al.. (2022). Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget – a Bandgap Case Study. 21–24. 2 indexed citations

5.

Ničković, Dejan, Xin Qin, Thomas Ferrère, Cristinel Mateis, & Jyotirmoy V. Deshmukh. (2021). Specifying and detecting temporal patterns with shape expressions. International Journal on Software Tools for Technology Transfer. 23(4). 565–577. 1 indexed citations

6.

Bartocci, Ezio, et al.. (2021). CPSDebug: Automatic failure explanation in CPS models. International Journal on Software Tools for Technology Transfer. 23(5). 783–796. 14 indexed citations

7.

Bartocci, Ezio, et al.. (2020). CPSDebug: a tool for explanation of failures in cyber-physical systems. BOA (University of Milano-Bicocca). 569–572. 5 indexed citations

8.

Aichernig, Bernhard K., et al.. (2019). Learning and statistical model checking of system response times. Software Quality Journal. 27(2). 757–795. 6 indexed citations

9.

Mateis, Cristinel, Markus Stumptner, & Franz Wotawa. (2000). Modeling Java programs for diagnosis. International Journal of Dentistry. 2017. 171–175. 23 indexed citations

10.

Mateis, Cristinel. (2000). Quantitative Disjunctive Logic Programming: semantics and computation. AI Communications. 13(4). 225–248. 7 indexed citations

11.

Wotawa, Franz, et al.. (2000). AI Support for Debugging Java Programs. International Conference on Software Engineering. 2 indexed citations

12.

Mateis, Cristinel, et al.. (2000). Model-Based Debugging of Java Programs.. arXiv (Cornell University). 21 indexed citations

13.

Wotawa, Franz, Cristinel Mateis, & Markus Stumptner. (2000). A Value-Based Diagnosis Model for Java Programs. 13 indexed citations

14.

Wotawa, Franz, et al.. (2000). JADE - A Step towards an Intelligent Debugger. 1 indexed citations

15.

Wotawa, Franz, Cristinel Mateis, & Markus Stumptner. (1999). Debugging of Java programs using a model-based approach. 11 indexed citations

16.

Wotawa, Franz, Cristinel Mateis, & Markus Stumptner. (1999). A Functional Dependency Model for Java Programs.

17.

Eiter, Thomas, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, & Francesco Scarcello. (1998). The KR system dlv: progress report, comparisons and benchmarks. Principles of Knowledge Representation and Reasoning. 406–417. 100 indexed citations

18.

Eiter, Thomas, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, & Francesco Scarcello. (1997). The Architecture of a Disjunctive Deductive Database System.. 141–152. 2 indexed citations

19.

Eiter, Thomas, Wolfgang Faber, Georg Gottlob, et al.. (1997). The dlv System: Model Generator and Advanced Frontends (system description). Oxford University Research Archive (ORA) (University of Oxford). 9(6). 0–3. 1 indexed citations

20.

Eiter, Thomas, Wolfgang Faber, Georg Gottlob, et al.. (1997). The dlv System: Model Generator and Application Frontends. 24 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact