BRESOLIN, DAVIDE

BRESOLIN, DAVIDE  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A game-theoretic approach to fault diagnosis and identification of hybrid systems 2013 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
A higher order method for input-affine uncertain systems 2023 Bresolin D. + NONLINEAR ANALYSIS - -
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 2015 BRESOLIN, DAVIDE + PROCEEDINGS OF THE IEEE - -
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 2009 BRESOLIN, DAVIDE + ACTA INFORMATICA - -
An optimal decision procedure for Right Propositional Neighborhood Logic 2007 BRESOLIN, DAVIDE + JOURNAL OF AUTOMATED REASONING - -
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 2014 BRESOLIN, DAVIDE + INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL - -
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 2019 Bresolin, D. + INFORMATION AND COMPUTATION - -
Equivalence checking and intersection of deterministic timed finite state machines 2022 Bresolin, Davide + FORMAL METHODS IN SYSTEM DESIGN - -
Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics 2017 BRESOLIN, DAVIDE + JOURNAL OF MULTIPLE VALUED LOGIC & SOFT COMPUTING - -
Formal Verification of Medical CPS 2018 Bresolin, Davide + ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS - -
Formal verification of robotic surgery tasks by reachability analysis 2015 BRESOLIN, DAVIDE + MICROPROCESSORS AND MICROSYSTEMS - -
Horn fragments of the Halpern-Shoham interval temporal logic 2017 Bresolin, Davide + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 2014 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
Metric propositional neighborhood logics on natural numbers 2013 BRESOLIN, DAVIDE + SOFTWARE AND SYSTEMS MODELING - -
On Begin, Meets and Before 2012 BRESOLIN, DAVIDE + INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE - -
On Sub-Propositional Fragments of Modal Logic 2018 Davide Bresolin + LOGICAL METHODS IN COMPUTER SCIENCE - -
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 2013 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 2009 BRESOLIN, DAVIDE + ANNALS OF PURE AND APPLIED LOGIC - -
Relational dual tableaux for interval temporal logics 2006 BRESOLIN, DAVIDE + JOURNAL OF APPLIED NON-CLASSICAL LOGICS - -
Robotic surgery: formal verification of plans 2011 BRESOLIN, DAVIDE + IEEE ROBOTICS AND AUTOMATION MAGAZINE - -