Davide Bresolin

Cited by

	All	Since 2018
Citations	1668	569
h-index	23	11
i10-index	46	14

160

120

20052006200720082009201020112012201320142015201620172018201920202021202220236 9 40 53 59 87 103 80 129 113 122 125 128 124 145 115 75 92 18

Public access

View all

24 articles

3 articles

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 SalaTemporary Assistant Professor in Computer Science, University of VeronaVerified email at univr.it
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
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
Emilio Muñoz-VelascoUniversity of Malaga. Dept. Applied MathematicsVerified email at uma.es
Riccardo MuradoreDepartment of Computer Science, University of VeronaVerified email at univr.it
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 NuzzoViterbi School of Engineering, University of Southern CaliforniaVerified email at usc.edu
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Gabriele PuppisDept. of Mathematics, Computer Science, and PhysicsVerified email at uniud.it

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	141	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	106	2009
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	74	2010
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	71	2014
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	69	2008
An optimal decision procedure for right propositional neighborhood logic D Bresolin, A Montanari, G Sciavicco Journal of Automated Reasoning 38, 173-199, 2007	63	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	57	2014
Robotic surgery R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011	50	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	49	2007
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	41	2014
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	41	2008
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	40	2012
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	40	2011
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	39	2014
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	35	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	34	2007
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	31	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	30	2010
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	29	2017
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