Davide Bresolin
发表
Davide Bresolin,
Guido Sciavicco,
Emilio Muñoz-Velasco,
2016,
ACM Trans. Comput. Log..
Davide Bresolin,
Guido Sciavicco,
Emilio Muñoz-Velasco,
2017,
CSL.
R. Muradore,
T. Villa,
D. Bresolin,
2011,
IEEE Robotics & Automation Magazine.
T. Villa,
Matteo Zavatteri,
Davide Bresolin,
2022,
OVERLAY@AI*IA.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2014,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2007,
LFCS.
Davide Bresolin,
Luca Geretti,
Tiziano Villa,
2019,
OVERLAY@AI*IA.
Davide Bresolin,
Guido Sciavicco,
Emilio Muñoz-Velasco,
2018,
TIME.
Davide Bresolin,
Luca Geretti,
Tiziano Villa,
2020,
HSCC.
Davide Bresolin,
Davide Bresolin,
2013,
GandALF.
Dario Della Monica,
V. Goranko,
A. Montanari,
2013,
Software & Systems Modeling.
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2010,
ECAI.
Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
2010,
J. Log. Comput..
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
2009,
M4M.
Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
2008
.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2012,
GandALF.
Davide Bresolin,
Luca Geretti,
Tiziano Villa,
2015,
Proceedings of the IEEE.
Davide Bresolin,
Luca Geretti,
Riccardo Muradore,
2018,
ACM Trans. Cyber Phys. Syst..
Davide Bresolin,
Luca Geretti,
Tiziano Villa,
2020,
ArXiv.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Sanja Živanović Gonzalez,
T. Villa,
Pieter Collins,
2023,
ArXiv.
Davide Bresolin,
Ivan Lanese,
Ivan Lanese,
2020,
Inf. Comput..
Davide Bresolin,
Ivan Lanese,
Ivan Lanese,
2017,
LATA.
Ivan Lanese,
Davide Bresolin,
2016
.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2014,
Theor. Comput. Sci..
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2009,
Ann. Pure Appl. Log..
Davide Bresolin,
Joanna Golinska-Pilarek,
Ewa Orlowska,
2006,
J. Appl. Non Class. Logics.
Davide Bresolin,
Guido Sciavicco,
Emilio Muñoz-Velasco,
2016,
Log. Methods Comput. Sci..