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
[1]
Hilfe
Suche: Author="La Torre, Salvatore"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Parametric metric interval temporal logic
Barbara Di Giampaolo
,
Salvatore La Torre
,
Margherita Napoli
Theoretical Computer Science
564
, 2015, pp. 131-148
Automata-theoretic decision of timed games
Marco Faella
,
Salvatore La Torre
,
Aniello Murano
Theoretical Computer Science
515
, 2014, pp. 46-63
A unifying approach for multistack pushdown automata
Salvatore La Torre
,
Margherita Napoli
,
Gennaro Parlato
Lecture Notes in Computer Science
8634
, 2014, pp. 377-389
Modular synthesis with open components
Ilaria De Crescenzo
,
Salvatore La Torre
Lecture Notes in Computer Science
8169
, 2013, pp. 96-108
Scope-bounded multistack pushdown systems: Fixed-point, sequentialization, and tree-width
Salvatore La Torre
,
Gennaro Parlato
Leibniz International Proceedings in Informatics (LIPIcs)
18
, 2012, pp. 173-184
The language theory of bounded context-switching
Salvatore La Torre
,
Parthasarathy Madhusudan
,
Gennaro Parlato
Lecture Notes in Computer Science
6034
, 2010, pp. 96-107
Verification of well-formed communicating recursive state machines
Laura Bozzelli
,
Salvatore La Torre
,
Adriano Peron
Theoretical Computer Science
403
(2-3), 2008, pp. 382-405
Verification of scope-dependent hierarchical state machines
Salvatore La Torre
,
Margherita Napoli
,
Mimmo Parente
,
Gennaro Parlato
Information and Computation
206
(9-10), 2008, pp. 1161-1177
Decision problems for lower/upper bound parametric timed automata
Laura Bozzelli
,
Salvatore La Torre
Lecture Notes in Computer Science
4596
, 2007, pp. 925-936
The firing squad synchronization problem on squares, toruses and rings
Jozef Gruska
,
Salvatore La Torre
,
Mimmo Parente
International Journal of Foundations of Computer Science
18
(3), 2007, pp. 637-654
On the complexity of LTL model-checking of recursive state machines
Salvatore La Torre
,
Gennaro Parlato
Lecture Notes in Computer Science
4596
, 2007, pp. 937-948
Modular strategies for recursive game graphs
Rajeev Alur
,
Salvatore La Torre
,
P. Madhusudan
Theoretical Computer Science
354
(2), 2006, pp. 230-249
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
Optimal paths in weighted timed automata
Rajeev Alur
,
Salvatore la Torre
,
George J. Pappas
Theoretical Computer Science
318
(3), 2004, pp. 297-322
Deterministic finite automata with recursive calls and DPDAs
Jean H. Gallier
,
Salvatore La Torre
,
Supratik Mukhopadhyay
Information Processing Letters
87
(4), 2003, pp. 187-193
Hierarchical and recursive state machines with context-dependent properties
Salvatore La Torre
,
Margherita Napoli
,
Mimmo Parente
,
Gennaro Parlato
Lecture Notes in Computer Science
2719
, 2003, pp. 776-789
Finite automata on timed
\omega
-trees
Salvatore La Torre
,
Margherita Napoli
Theoretical Computer Science
293
(3), 2003, pp. 479-505
Timed tree automata with an application to temporal logic
Salvatore La Torre
,
Margherita Napoli
Acta Informatica
38
(2), 2001, pp. 89-116
A decidable dense branching-time temporal logic
Salvatore La Torre
,
Margherita Napoli
Lecture Notes in Computer Science
1974
, 2000, pp. 139-150
Parametric temporal logic for ``model measuring''
Rajeev Alur
,
Kousha Etessami
,
Salvatore La Torre
,
Doron Peled
Lecture Notes in Computer Science
1644
, 1999, pp. 159-168
Representing hyper-graphs by regular languages
Salvatore La Torre
,
Margherita Napoli
Lecture Notes in Computer Science
1450
, 1998, pp. 571-579
Synchronization of 1-way connected processors
Salvatore la Torre
,
Margherita Napoli
,
Mimmo Parente
Lecture Notes in Computer Science
1279
, 1997, pp. 293-304