Davide Bresolin

Citado por

	Total	Desde 2019
Citas	1826	588
Índice h	23	12
Índice i10	49	18

160

120

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

Acceso público

Ver todo

30 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

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

Seguir

Davide Bresolin

Università di Padova

Dirección de correo verificada de unipd.it - Página principal

Computer Science Formal Methods Hybrid Systems Temporal Logic


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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
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
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	48	2012
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores