Davide Bresolin

Available identifiers

zbMath Open bresolin.davideWikidataQ57511546 ScholiaQ57511546MaRDI QIDQ391102

List of research outcomes

Publication	Date of Publication	Type
Equivalence checking and intersection of deterministic timed finite state machines	2023-06-29	Paper
A higher order method for input-affine uncertain systems	2023-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q5079773	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5015271	2021-12-07	Paper
Static and dynamic property-preserving updates	2021-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4995370	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4992508	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986512	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4964728	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4964731	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5151001	2021-02-16	Paper
A computable and compositional semantics for hybrid automata	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5111184	2020-05-26	Paper
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals	2019-05-02	Paper
An Introduction to the Verification of Hybrid Systems Using Ariadne	2018-12-12	Paper
Formal Verification Applied to Robotic Surgery	2018-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4963143	2018-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4580320	2018-08-15	Paper
Horn Fragments of the Halpern-Shoham Interval Temporal Logic	2017-10-16	Paper
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms	2017-07-14	Paper
Most General Property-Preserving Updates	2017-06-01	Paper
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings	2016-08-05	Paper
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures	2016-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q3457215	2015-12-11	Paper
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings	2015-03-23	Paper
Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations	2015-01-14	Paper
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity	2014-12-02	Paper
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT	2014-07-11	Paper
The dark side of interval temporal logic: marking the undecidability border	2014-07-11	Paper
Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>	2014-04-08	Paper
A game-theoretic approach to fault diagnosis and identification of hybrid systems	2014-01-10	Paper
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers	2014-01-10	Paper
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation	2013-10-04	Paper
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis	2013-01-07	Paper
ON BEGINS, MEETS AND BEFORE	2012-08-30	Paper
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions	2011-08-26	Paper
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders	2011-07-01	Paper
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability	2011-05-11	Paper
Tableaux for Logics of Subinterval Structures over Dense Orderings	2010-02-19	Paper
A Tableau-Based System for Spatial Reasoning about Directional Relations	2009-12-01	Paper
Relational dual tableaux for interval temporal logics ★	2009-11-30	Paper
A theory of ultimately periodic languages and automata with an application to time granularity	2009-10-02	Paper
Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification	2009-01-27	Paper
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders	2008-10-27	Paper
Tableau Systems for Logics of Subinterval Structures over Dense Orderings	2008-01-04	Paper
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics	2008-01-04	Paper
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic	2007-09-03	Paper
An optimal decision procedure for right propositional neighborhood logic	2007-05-04	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Davide Bresolin