Sfoglia per Autore
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005-01-01 Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, Gennaro
A Robust Class of Context-Sensitive Languages
2007-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro; LA TORRE, Salvatore
A Robust Class of Context-Sensitive Languages
2007-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Verification of Scope-dependent Hierarchical State Machines
2008-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Fast payment schemes for truthful mechanisms with verification
2009-01-01 Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre
Model-checking parameterized concurrent programs using linear interfaces.
2010-01-01 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010-01-01 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010-01-01 SALVATORE LA, Torre; Parlato, Gennaro
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
The Language Theory of Bounded Context-Switching
2010-01-01 LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
2012-01-01 LA TORRE, Salvatore; Parlato, Gennaro
Sequentializing Parameterized Programs
2012-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
Scope-Bounded Pushdown Languages
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
A Unifying Approach for Multistack Pushdown Automata
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
2015-01-01 Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents | 1-gen-2005 | Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre | |
| On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, Gennaro | |
| A Robust Class of Context-Sensitive Languages | 1-gen-2007 | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro; LA TORRE, Salvatore | |
| A Robust Class of Context-Sensitive Languages | 1-gen-2007 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro | |
| An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro | |
| Verification of Scope-dependent Hierarchical State Machines | 1-gen-2008 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro | |
| Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| Fast payment schemes for truthful mechanisms with verification | 1-gen-2009 | Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre | |
| Model-checking parameterized concurrent programs using linear interfaces. | 1-gen-2010 | SALVATORE LA, Torre; Parlato, Gennaro | |
| Model-checking parameterized concurrent programs using linear interfaces. | 1-gen-2010 | SALVATORE LA, Torre; Parlato, Gennaro | |
| Model-checking parameterized concurrent programs using linear interfaces. | 1-gen-2010 | SALVATORE LA, Torre; Parlato, Gennaro | |
| Model-Checking Parameterized Concurrent Programs Using Linear Interfaces | 1-gen-2010 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
| The Language Theory of Bounded Context-Switching | 1-gen-2010 | LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro | |
| Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width | 1-gen-2012 | LA TORRE, Salvatore; Parlato, Gennaro | |
| Sequentializing Parameterized Programs | 1-gen-2012 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
| Scope-Bounded Pushdown Languages | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| A Unifying Approach for Multistack Pushdown Automata | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches | 1-gen-2015 | Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro |
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