Alberto Molinari - Concepedia

Author

Alberto Molinari

University of Udine ORCID

Also Known As

Alberto H. Molinari, Alberto Molinari, Molinari, Alberto

Publications

228

Citations

H-Index

Concepts

All Affiliations

University of Udine University of Verona University of Naples Federico II Federico II University Hospital

About

Alberto Molinari is an author at University of Udine specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	121
2	Computer Science	7	7	121
3	Automated Reasoning	7	7	121
4	Systems Engineering	2	2	32
5	Artificial Intelligence	1	1	16

Alberto Molinari

Publications

156

Citations

H-Index

Page 1

	Year	Citations
Checking interval properties of computations Alberto Molinari, Angelo Montanari, Aniello Murano, Acta Informatica EngineeringValidated NumericsAutomated ReasoningInterval PropertiesVerification	2015	37
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions Laura Bozzelli, Alberto Molinari, Angelo Montanari, Electronic Proceedings in Theoretical Computer Science Computational LogicLogical AutomatonEngineeringTemporal Logic McAutomated Reasoning	2017	17
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS Alberto Molinari, Angelo Montanari, Adriano Peron Artificial IntelligenceEngineeringVerificationComputer-aided VerificationComputational Complexity	2015	16
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Alberto Molinari, Angelo Montanari, Adriano Peron DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) EngineeringVerificationComputer-aided VerificationTime Intervals HsModel Checking	2015	16
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy Laura Bozzelli, Alberto Molinari, Angelo Montanari, Information and Computation Decision ProcedureEngineeringAutomated ReasoningVerificationFormal Methods	2018	13
Interval vs. Point Temporal Logic Model Checking Laura Bozzelli, Alberto Molinari, Angelo Montanari, ACM Transactions on Computational Logic	2018	13
Model checking well-behaved fragments of HS: the (almost) final picture Alberto Molinari, Angelo Montanari, Adriano Peron, Institutional Research Information System (University of Udine)	2016	12
Which fragments of the interval temporal logic HS are tractable in model checking? Laura Bozzelli, Alberto Molinari, Angelo Montanari, Theoretical Computer Science EngineeringFormal ModelingAutomated ReasoningVerificationFormal Methods	2018	12
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives Alberto Molinari, Angelo Montanari, Adriano Peron Information and Computation EngineeringFormal ModelingAutomated ReasoningVerificationFormal Methods	2017	10
Model checking interval temporal logics with regular expressions Laura Bozzelli, Alberto Molinari, Angelo Montanari, Information and Computation	2019	10

Page 1