Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Montanari, Angelo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
Davide Bresolin
,
Dario Della Monica
,
Angelo Montanari
,
Pietro Sala
,
Guido Sciavicco
Theoretical Computer Science
560, Part 3
, 2014, pp. 269-291
Decidability of the interval temporal logic
\mathsf{A\bar{A}B\bar{B}}
over the rationals
Angelo Montanari
,
Gabriele Puppis
,
Pietro Sala
Lecture Notes in Computer Science
8634
, 2014, pp. 451-463
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Davide Bresolin
,
Angelo Montanari
,
Pietro Sala
,
Guido Sciavicco
Theoretical Computer Science
493
, 2013, pp. 98-115
Decidability of the interval temporal logic ABBÌ„ over the natural numbers
Angelo Montanari
,
Gabriele Puppis
,
Pietro Sala
,
Guido Sciavicco
Leibniz International Proceedings in Informatics (LIPIcs)
5
, 2010, pp. 597-608
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
Angelo Montanari
,
Gabriele Puppis
,
Pietro Sala
Lecture Notes in Computer Science
6199
, 2010, pp. 345-356
A theory of ultimately periodic languages and automata with an application to time granularity
Davide Bresolin
,
Angelo Montanari
,
Gabriele Puppis
Acta Informatica
46
(5), 2009, pp. 331-360
An optimal tableau-based decision algorithm for propositional neighborhood logic
Davide Bresolin
,
Angelo Montanari
,
Pietro Sala
Lecture Notes in Computer Science
4393
, 2007, pp. 549-560
Compact and tractable automaton-based representations of time granularities
Ugo Dal Lago
,
Angelo Montanari
,
Gabriele Puppis
Theoretical Computer Science
373
(1-2), 2007, pp. 115-141
Decidability of MSO theories of tree structures
Angelo Montanari
,
Gabriele Puppis
Lecture Notes in Computer Science
3328
, 2004, pp. 434-446
Derivability in locally quantified modal logics via translation in set theory
Angelo Montanari
,
Alberto Policriti
,
Matteo Slanina
Lecture Notes in Computer Science
1893
, 2000, pp. 559-568
Two-sorted metric temporal logics
Angelo Montanari
,
Maarten de Rijke
Theoretical Computer Science
183
(2), 1997, pp. 187-214
A set-theoretic translation method for (poly)modal logics
Giovanna D'Agostino
,
Angelo Montanari
,
Alberto Policriti
Lecture Notes in Computer Science
900
, 1995, pp. 217-228