BRESOLIN, Davide
BRESOLIN, Davide
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Montanari, Angelo
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
2007-01-01 Bresolin, Davide; Goranko, V; Montanari, Angelo; Sciavicco, G.
Reachability computation for hybrid systems with Ariadne
2008-01-01 Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
Time Granularities and Ultimately Periodic Automata
2004-01-01 Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic | 1-gen-2005 | Bresolin, Davide; Montanari, Angelo | |
| An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic | 1-gen-2007 | Bresolin, Davide; Montanari, Angelo; Sala, Pietro | |
| On Decidability and Expressiveness of Propositional Interval Neighborhood Logics | 1-gen-2007 | Bresolin, Davide; Goranko, V; Montanari, Angelo; Sciavicco, G. | |
| Reachability computation for hybrid systems with Ariadne | 1-gen-2008 | Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano | |
| Time Granularities and Ultimately Periodic Automata | 1-gen-2004 | Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele |