| 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 | 162 | 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 | 112 | 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 | 82 | 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 | 47 | 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 | 46 | 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 | 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 | 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 | 32 | 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 |
Angelo MontanariProfessor of Computer Science, Univ. of Udine在 uniud.it 的电子邮件经过验证
