Matteo Pradella

1.4k total citations
53 papers, 570 citations indexed

About

Matteo Pradella is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Matteo Pradella has authored 53 papers receiving a total of 570 indexed citations (citations by other indexed papers that have themselves been cited), including 42 papers in Artificial Intelligence, 32 papers in Computational Theory and Mathematics and 16 papers in Software. Recurrent topics in Matteo Pradella's work include Formal Methods in Verification (21 papers), Logic, programming, and type systems (17 papers) and Advanced Software Engineering Methodologies (14 papers). Matteo Pradella is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, programming, and type systems (17 papers) and Advanced Software Engineering Methodologies (14 papers). Matteo Pradella collaborates with scholars based in Italy, Switzerland and Germany. Matteo Pradella's co-authors include Carlo Ghezzi, Guido Salvaneschi, Pierluigi San Pietro, Angelo Morzenti, Stefano Crespi Reghizzi, Dino Mandrioli, Matteo Rossi, Luca Cavallaro, Artur Klauser and Gino Biondini and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Pattern Recognition.

In The Last Decade

Matteo Pradella

50 papers receiving 523 citations

Peers

Matteo Pradella

CNC

CTM

SOFTW

Pascal Fradet France

Andreas Rossberg Germany

Annegret Habel Germany

Carsten Sinz Germany

Joseph Gil Israel

Laure Petrucci France

Masato Takeichi Japan

Béatrice Bérard France

Joseph H. Fasel United States

Michel Bidoit France

Pascal Fradet France

Matteo Pradella

480 ×1.4

233 ×0.9

CNC

148 ×0.8

CTM

327 ×1.9

131 ×1.2

SOFTW

Citations per year, relative to Matteo Pradella Matteo Pradella (= 1×) peers Pascal Fradet

Countries citing papers authored by Matteo Pradella

Since Specialization

Citations

This map shows the geographic impact of Matteo Pradella'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 Matteo Pradella with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Matteo Pradella more than expected).

Fields of papers citing papers by Matteo Pradella

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Matteo Pradella. 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 Matteo Pradella. The network helps show where Matteo Pradella may publish in the future.

Co-authorship network of co-authors of Matteo Pradella

This figure shows the co-authorship network connecting the top 25 collaborators of Matteo Pradella. A scholar is included among the top collaborators of Matteo Pradella 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 Matteo Pradella. Matteo Pradella 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

Mandrioli, Dino, et al.. (2025). Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 44–56.

Mandrioli, Dino, Matteo Pradella, & Stefano Crespi Reghizzi. (2023). Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. Logical Methods in Computer Science. Volume 19, Issue 4.

Alonso, Juncal, et al.. (2021). PIACERE: Programming trustworthy Infrastructure As Code in a Secure Framework. TECNALIA Publications (Fundación TECNALIA Research & Innovation). 1 indexed citations

Reghizzi, Stefano Crespi, Violetta Lonati, Dino Mandrioli, & Matteo Pradella. (2016). Toward a theory of input-driven locally parsable languages. Theoretical Computer Science. 658. 105–121. 3 indexed citations

Barenghi, Alessandro, et al.. (2015). Parallel parsing made practical. Science of Computer Programming. 112. 195–226. 13 indexed citations

Cugola, Gianpaolo, Alessandro Margara, Mauro Pezzè, & Matteo Pradella. (2015). Efficient analysis of event processing applications. BOA (University of Milano-Bicocca). 10–21. 15 indexed citations

Bersani, Marcello M., et al.. (2014). Constraint LTL satisfiability checking without automata. Journal of Applied Logic. 12(4). 522–557. 10 indexed citations

Salvaneschi, Guido, Carlo Ghezzi, & Matteo Pradella. (2014). ContextErlang: A language for distributed context-aware self-adaptive applications. Science of Computer Programming. 102. 20–43. 10 indexed citations

Barenghi, Alessandro, Stefano Crespi Reghizzi, Dino Mandrioli, & Matteo Pradella. (2013). Parallel parsing of operator precedence grammars. Information Processing Letters. 113(7). 245–249. 6 indexed citations

10.

Pradella, Matteo, et al.. (2011). A unifying approach to picture grammars. Information and Computation. 209(9). 1246–1267. 16 indexed citations

11.

Bersani, Marcello M., et al.. (2010). SMT-based Bounded Model Checking with Difference Logic Constraints. arXiv (Cornell University). 1 indexed citations

12.

Lonati, Violetta & Matteo Pradella. (2010). Deterministic recognizability of picture languages with Wang automata. Discrete Mathematics & Theoretical Computer Science. Vol. 12 no. 4. 2 indexed citations

13.

Pradella, Matteo, Angelo Morzenti, & Pierluigi San Pietro. (2008). Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 5014. 119–127. 13 indexed citations

14.

Bianculli, Domenico, Paola Spoletini, Angelo Morzenti, Matteo Pradella, & Pierluigi San Pietro. (2007). Model checking temporal metric specifications with Trio2Promela. 4767. 388–395. 6 indexed citations

15.

Reghizzi, Stefano Crespi & Matteo Pradella. (2007). A CKY parser for picture grammars. Information Processing Letters. 105(6). 213–217. 3 indexed citations

16.

Pradella, Matteo & Stefano Crespi Reghizzi. (2007). A SAT-based parser and completer for pictures specified by tiling. Pattern Recognition. 41(2). 555–566. 5 indexed citations

17.

Reghizzi, Stefano Crespi & Matteo Pradella. (2005). Tile rewriting grammars and picture languages. Theoretical Computer Science. 340(2). 257–272. 14 indexed citations

18.

Morzenti, Angelo, Matteo Pradella, Pierluigi San Pietro, & Paola Spoletini. (2003). Practical Model Checking of LTL with Past. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 135–146. 12 indexed citations

19.

Morzenti, Angelo, Matteo Pradella, & Pierluigi San Pietro. (2003). The Role of Formal Methods in Software Procurement for the Railway Transportation Industry. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 1–7. 2 indexed citations

20.

Reghizzi, Stefano Crespi, Matteo Pradella, & Pierluigi San Pietro. (2000). Associative definition of programming languages. Computer Languages. 26(2-4). 105–123. 3 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