Concepedia

Matteo Pradella

MP

Statistics

Publications

33

Citations

988

H-Index

20

Active since

2000

Affiliations

Politecnico di Milano(Current)

Institute of Electronics, Computer and Telecommunication Engineering

Technische Universität Darmstadt

National Research Council

Università della Svizzera italiana

Matteo Pradella is an author at Politecnico di Milano specializing in computer science, computing, and formal methods.

Publications per year

2000–2022

33

Publications

33

Architectures for an Event Notification Service Scalable to Wide-area Networks

Antonio Carzaniga, Luciano Baresi, Gino Biondini et al. · 2000 · 172 citations

Computing, Computer Science, Computer Systems +13

Context-oriented programming: A software engineering perspective

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella · Journal of Systems and Software · 2012 · 111 citations

Computing, Computer Science, Programming Languages +12

Bounded satisfiability checking of metric temporal logic specifications

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro · ACM Transactions on Software Engineering and Methodology · 2013 · 47 citations

Computing, Computer Science, Formal Methods +13

ContextErlang

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella · 2012 · 44 citations

Computing, Computer Science, Computer Systems +13

Tile rewriting grammars and picture languages

Stefano Crespi Reghizzi, Matteo Pradella · Theoretical Computer Science · 2005 · 39 citations · Full text

Computing, Computer Science, Syntax +2

1–5 of 33