CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 63
Titolo Autore(i) Anno Periodico Editore Tipo File
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings Bresolin D.; Della Monica D.; Goranko V.; Montanari A.; Sciavicco G. 2010-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic Bresolin D.; Sala P.; Sciavicco G. 2010-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno -
Tableaux for Logics of Subinterval Structures over Dense Orderings D. Bresolin; V. Goranko; A. Montanari; P. Sala 2010-01-01 JOURNAL OF LOGIC AND COMPUTATION - 1.01 Articolo in rivista -
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability Bresolin D.; Della Monica D.; Goranko V.; Montanari A.; Sciavicco G. 2010-01-01 - IOS Press 4.01 Contributo in Atti di convegno -
A Decidable Spatial Generalization of Metric Interval Temporal Logic Bresolin D.; Sala P.; Della Monica D.; Montanari A.; Sciavicco G. 2010-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems D. Bresolin; M. Capiluppi 2011-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno -
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders D. Bresolin; A. Montanari; P. Sala; G. Sciavicco 2011-01-01 - Springer 4.01 Contributo in Atti di convegno -
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL D. Bresolin; A. Montanari; P. Sala; G. Sciavicco 2011-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Robotic surgery: formal verification of plans Muradore R.; Bresolin D.; Geretti L.; Fiorini P.; Villa T. 2011-01-01 IEEE ROBOTICS AND AUTOMATION MAGAZINE - 1.01 Articolo in rivista -
An Optimal Decision Procedure for MPNL over the Integers D. Bresolin; A. Montanari; P. Sala; G. Sciavicco 2011-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno -
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT D. Bresolin; D. Della Monica; A. Montanari; G. Sciavicco 2011-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Correct-by-construction code generation from hybrid automata specification Bresolin D.; Di Guglielmo L.; Geretti L; Villa T. 2011-01-01 - - 4.01 Contributo in Atti di convegno -
The dark side of Interval Temporal Logic: sharpening the undecidability border D. Bresolin; D. Della Monica; V. Goranko; A. Montanari; G. Sciavicco 2011-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Interval Temporal Logics over Finite Linear Orders: the Complete Picture D. Bresolin; D. Della Monica; A. Montanari; P. Sala; G. Sciavicco 2012-01-01 - IOS Press 4.01 Contributo in Atti di convegno -
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa 2012-01-01 - Springer Berlin Heidelberg 4.01 Contributo in Atti di convegno -
Computing the evolution of hybrid systems using rigorous function calculus Collins P.; Bresolin D.; Geretti L.; Villa T. 2012-01-01 - Academic Press, Elsevier 4.01 Contributo in Atti di convegno -
On Begin, Meets and Before D. Bresolin; P. Sala; G. Sciavicco 2012-01-01 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE - 1.01 Articolo in rivista -
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model D. Bresolin; M. Capiluppi 2012-01-01 - Elsevier 4.01 Contributo in Atti di convegno -
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture D. Bresolin; D. Della Monica; A. Montanari; P. Sala; G. Sciavicco 2012-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno -
Open Problems in Verification and Refinement of Autonomous Robotic Systems D. Bresolin; L. Di Guglielmo; L. Geretti; R. Muradore; P. Fiorini; T. Villa 2012-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Mostrati risultati da 21 a 40 di 63
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile