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="Murano, Aniello"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automata-theoretic decision of timed games
Marco Faella
,
Salvatore La Torre
,
Aniello Murano
Theoretical Computer Science
515
, 2014, pp. 46-63
Pushdown module checking with imperfect information
Benjamin Aminof
,
Axel Legay
,
Aniello Murano
,
Olivier Serre
,
Moshe Y. Vardi
Information and Computation
223
, 2013, pp. 1-17
Improved model checking of hierarchical systems
Benjamin Aminof
,
Orna Kupferman
,
Aniello Murano
Information and Computation
210
, 2012, pp. 68-86
Quantitatively fair scheduling
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Theoretical Computer Science
413
(1), 2012, pp. 160-175
Reasoning about strategies
Fabio Mogavero
,
Aniello Murano
,
Moshe Y. Vardi
Leibniz International Proceedings in Informatics (LIPIcs)
8
, 2010, pp. 133-144
Balanced paths in colored graphs
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Lecture Notes in Computer Science
5734
, 2009, pp. 149-161
The complexity of enriched
\mu
-calculi
Piero A. Bonatti
,
Carsten Lutz
,
Aniello Murano
,
Moshe Y. Vardi
Lecture Notes in Computer Science
4052
, 2006, pp. 540-551
Typeness for
\omega
-regular automata
Orna Kupferman
,
Gila Morgenstern
,
Aniello Murano
International Journal of Foundations of Computer Science
17
(4), 2006, pp. 869-883
Reasoning about co-Büchi tree automata
Salvatore La Torre
,
Aniello Murano
Lecture Notes in Computer Science
3407
, 2005, pp. 527-542
Weak Muller acceptance conditions for tree automata
Salvatore la Torre
,
Aniello Murano
,
Margherita Napoli
Theoretical Computer Science
332
(1-3), 2005, pp. 233-250