Davide Bresolin

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1875	488
h-indeks	23	10
i10-indeks	51	14

160

120

2005200620072008200920102011201220132014201520162017201820192020202120222023202420257 9 39 67 59 95 96 81 129 111 119 130 132 127 151 114 76 88 120 86 4

Dostęp publiczny

Wyświetl wszystko

31 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Angelo MontanariProfessor of Computer Science, Univ. of UdineZweryfikowany adres z uniud.it
Guido SciaviccoUniversitá di FerraraZweryfikowany adres z unife.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaZweryfikowany adres z univr.it
Luca GerettiDipartimento di Informatica, Università degli Studi di VeronaZweryfikowany adres z univr.it
Pietro SalaAssociate Professor in Computer Science, University of VeronaZweryfikowany adres z univr.it
Dario Della MonicaUniversity of Udine (Italy)Zweryfikowany adres z uniud.it
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityZweryfikowany adres z philosophy.su.se
Paolo FioriniProfessor of Computer Science, University of VeronaZweryfikowany adres z univr.it
Riccardo MuradoreDepartment of Computer Science, University of VeronaZweryfikowany adres z univr.it
Emilio Muñoz-VelascoUniversity of Malaga. Dept. Applied MathematicsZweryfikowany adres z uma.es
Alberto FerrariUTCZweryfikowany adres z ales.eu.com
Luca BenvenutiSapienza Università di RomaZweryfikowany adres z uniroma1.it
Nina YevtushenkoIvannikov Institute for System Programming of RASZweryfikowany adres z ispras.ru
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonZweryfikowany adres z dcs.bbk.ac.uk
Marta CapiluppiAssegnista di ricerca, Università di VeronaZweryfikowany adres z univr.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Roberto SegalaUniversità di VeronaZweryfikowany adres z univr.it
Michael ZakharyaschevBirkbeck, University of LondonZweryfikowany adres z dcs.bbk.ac.uk
Agi KuruczReader in Logic and Computation, King's College LondonZweryfikowany adres z kcl.ac.uk

Obserwuj

Davide Bresolin

Università di Padova

Zweryfikowany adres z unipd.it - Strona główna

Computer Science Formal Methods Hybrid Systems Temporal Logic


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	171	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	73	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	63	2014
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	51	2012
Robotic surgery R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011	51	2011
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	51	2008
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
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	48	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	45	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	40	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	36	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	35	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	33	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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy