Artykuły udostępnione publicznie: - Davide BresolinWięcej informacji
Niedostępny w żadnym miejscu: 1
On the complexity of fragments of Horn modal logics
D Bresolin, E Munoz-Velasco, G Sciavicco
2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016
Upoważnienia: Government of Italy
Dostępne w jakimś miejscu: 31
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
Upoważnienia: European Commission
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
Upoważnienia: Icelandic Centre for Research, Government of Spain
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
Upoważnienia: Danish Council for Independent Research, Icelandic Centre for Research …
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
Upoważnienia: UK Engineering and Physical Sciences Research Council, Government of Italy
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
Upoważnienia: Icelandic Centre for Research, European Commission, Government of Spain …
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
Upoważnienia: Government of Spain
Interval temporal logics over finite linear orders: the complete picture
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
ECAI 2012, 199-204, 2012
Upoważnienia: Government of Spain
A computable and compositional semantics for hybrid automata
D Bresolin, P Collins, L Geretti, R Segala, T Villa, SŽ Gonzalez
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
Upoważnienia: Government of Italy
Sub-propositional fragments of the interval temporal logic of Allen’s relations
D Bresolin, E Muñoz-Velasco, G Sciavicco
European Workshop on Logics in Artificial Intelligence, 122-136, 2014
Upoważnienia: Government of Spain
On begins, meets and before
D Bresolin, P Sala, G Sciavicco
International Journal of Foundations of Computer Science 23 (03), 559-583, 2012
Upoważnienia: Government of Spain
DL-Lite and interval temporal logics: A marriage proposal
A Artale, D Bresolin, A Montanari, G Sciavicco, V Ryzhikov
ECAI 2014, 957-958, 2014
Upoważnienia: Government of Spain
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Information and Computation 266, 97-125, 2019
Upoważnienia: Icelandic Centre for Research, Government of Italy
Extracting interval temporal logic rules: A first approach
D Bresolin, E Cominato, S Gnani, E Muñoz-Velasco, G Sciavicco
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 120, 7-1-7-15, 2018
Upoważnienia: Government of Italy
On the complexity of fragments of the modal logic of Allen’s relations over dense structures
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Language and Automata Theory and Applications: 9th International Conference …, 2015
Upoważnienia: Icelandic Centre for Research, Government of Spain
Minimizing deterministic timed finite state machines
D Bresolin, A Tvardovskii, N Yevtushenko, T Villa, M Gromov
IFAC-PapersOnLine 51 (7), 486-492, 2018
Upoważnienia: Government of Italy
Equivalence checking and intersection of deterministic timed finite state machines
D Bresolin, K El-Fakih, T Villa, N Yevtushenko
Formal Methods in System Design 59 (1), 77-102, 2021
Upoważnienia: Government of Italy
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
D Bresolin, D Della Monica, A Montanari, G Sciavicco
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
Upoważnienia: Icelandic Centre for Research, Government of Spain
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
D Bresolin, A Montanari, P Sala, G Sciavicco
Theoretical Computer Science 493, 98-115, 2013
Upoważnienia: Government of Spain
Repair of unsound data-aware process models
M Zavatteri, D Bresolin, M de Leoni
International Conference on Business Process Management, 383-395, 2023
Upoważnienia: Government of Italy
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy