Statistics
Publications
25
Citations
566
H-Index
18
Active since
2006
Antonio E. Porreca is an author at University of Milano-Bicocca specializing in computing, computer science, and theory of computation.
Publications per year
2006–2019
25
25
Complexity of model checking for reaction systems
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov et al. · Theoretical Computer Science · 2015 · 41 citations · Full text
Complexity of the dynamics of reaction systems
Alberto Dennunzio, Enrico Formenti, Luca Manzoni et al. · Information and Computation · 2019 · 32 citations · Full text
Membrane Division, Oracles, and the Counting Hierarchy
Alberto Leporati, Luca Manzoni, Giancarlo Mauri et al. · Fundamenta Informaticae · 2015 · 28 citations
1–5 of 25