Davide Bresolin

Cited by

	All	Since 2019
Citations	1827	589
h-index	23	12
i10-index	49	18

160

120

200520062007200820092010201120122013201420152016201720182019202020212022202320247 9 39 61 59 95 96 79 128 115 118 132 131 132 149 114 70 86 113 57

Public access

View all

30 articles

1 article

available

not available

Based on funding mandates

Co-authors

Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Guido SciaviccoUniversitá di FerraraVerified email at unife.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaVerified email at univr.it
Luca GerettiDipartimento di Informatica, Università degli Studi di VeronaVerified email at univr.it
Pietro SalaAssociate Professor in Computer Science, University of VeronaVerified email at univr.it
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityVerified email at maastrichtuniversity.nl
Paolo FioriniProfessor of Computer Science, University of VeronaVerified email at univr.it
Riccardo MuradoreDepartment of Computer Science, University of VeronaVerified email at univr.it
Emilio Muñoz-VelascoUniversity of Malaga. Dept. Applied MathematicsVerified email at uma.es
Alberto FerrariUTCVerified email at ales.eu.com
Luca BenvenutiSapienza Università di RomaVerified email at uniroma1.it
Nina YevtushenkoIvannikov Institute for System Programming of RASVerified email at ispras.ru
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
Marta CapiluppiAssegnista di ricerca, Università di VeronaVerified email at univr.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyVerified email at eecs.berkeley.edu
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Agi KuruczReader in Logic and Computation, King's College LondonVerified email at kcl.ac.uk

Davide Bresolin

Università di Padova

Verified email at unipd.it - Homepage

Computer Science Formal Methods Hybrid Systems Temporal Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A platform-based design methodology with contracts and related tools for the design of cyber-physical systems P Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T Villa Proceedings of the IEEE 103 (11), 2104-2132, 2015	168	2015
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions D Bresolin, V Goranko, A Montanari, G Sciavicco Annals of Pure and Applied Logic 161 (3), 289-304, 2009	113	2009
Assume–guarantee verification of nonlinear hybrid systems with Ariadne L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa International Journal of Robust and Nonlinear Control 24 (4), 699-724, 2014	85	2014
Tableaux for logics of subinterval structures over dense orderings D Bresolin, V Goranko, A Montanari, P Sala Journal of Logic and Computation 20 (1), 133-166, 2010	78	2010
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008	71	2008
An optimal decision procedure for right propositional neighborhood logic D Bresolin, A Montanari, G Sciavicco Journal of Automated Reasoning 38, 173-199, 2007	64	2007
Deterministic timed finite state machines: Equivalence checking and expressive power D Bresolin, K El-Fakih, T Villa, N Yevtushenko arXiv preprint arXiv:1408.5967, 2014	62	2014
Robotic surgery R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011	51	2011
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic D Bresolin, A Montanari, P Sala STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007	51	2007
Computing the evolution of hybrid systems using rigorous function calculus P Collins, D Bresolin, L Geretti, T Villa IFAC Proceedings Volumes 45 (9), 284-290, 2012	49	2012
Reachability computation for hybrid systems with Ariadne L Benvenuti, D Bresolin, A Casagrande, P Collins, A Ferrari, E Mazzi, ... IFAC Proceedings Volumes 41 (2), 8960-8965, 2008	49	2008
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco Theoretical Computer Science 560, 269-291, 2014	47	2014
The dark side of interval temporal logic: marking the undecidability border D Bresolin, DD Monica, V Goranko, A Montanari, G Sciavicco Annals of Mathematics and Artificial Intelligence 71, 41-83, 2014	44	2014
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL D Bresolin, A Montanari, P Sala, G Sciavicco 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 387-396, 2011	41	2011
Metric propositional neighborhood logics on natural numbers D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco Software and Systems Modeling, 1-20, 2011	37	2011
On decidability and expressiveness of propositional interval neighborhood logics D Bresolin, V Goranko, A Montanari, G Sciavicco Logical Foundations of Computer Science: International Symposium, LFCS 2007 …, 2007	35	2007
Horn fragments of the Halpern-Shoham interval temporal logic D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ... ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017	34	2017
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT D Bresolin, D Della Monica, A Montanari, G Sciavicco Annals of Mathematics and Artificial Intelligence 71, 11-39, 2014	32	2014
Metric propositional neighborhood logics: Expressiveness, decidability, and undecidability D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco ECAI 2010, 695-700, 2010	31	2010
The dark side of interval temporal logic: Sharpening the undecidability border D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco 2011 Eighteenth International Symposium on Temporal Representation and …, 2011	28	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors