Sfoglia per Autore
Hierarchical and Recursive State Machines with Context-Dependent Properties
2003-01-01 SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds
2004-01-01 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
Minimum Weighted Feedback Vertex Set on Diamonds
2004-01-01 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds
2005-01-01 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005-01-01 Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, G
A Robust Class of Context-Sensitive Languages
2007-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Analyzing Recursive Programs using Fixed-point Calculus
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Fast payment schemes for truthful mechanisms with verification
2009-01-01 Alessandro, Ferrante; Parlato, G; Francesco, Sorrentino; Carmine, Ventre
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
The Language Theory of Bounded Context-Switching
2010-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
The Tree Width of Auxiliary Storage
2011-01-01 P, Madhusudan; Parlato, G
Getting Rid of Store-Buffers in TSO Analysis
2011-01-01 Atig, F; Bouajjani, A; Parlato, G
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem
2011-01-01 Carrabs, F; Cerulli, R; Gentili, M; Parlato, G
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
Decidable logics combining heap structures and data
2011-01-01 P., Madhusudan; Parlato, G; Qiu, X
Security Analysis of Role-Based Access Control through Program Verification
2012-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, G
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Hierarchical and Recursive State Machines with Context-Dependent Properties | 1-gen-2003 | SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G. | |
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds | 1-gen-2004 | Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G | |
Minimum Weighted Feedback Vertex Set on Diamonds | 1-gen-2004 | Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G | |
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds | 1-gen-2005 | Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G | |
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents | 1-gen-2005 | Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre | |
On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, G | |
A Robust Class of Context-Sensitive Languages | 1-gen-2007 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Analyzing Recursive Programs using Fixed-point Calculus | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Fast payment schemes for truthful mechanisms with verification | 1-gen-2009 | Alessandro, Ferrante; Parlato, G; Francesco, Sorrentino; Carmine, Ventre | |
Reducing Context-bounded Concurrent Reachability to Sequential Reachability | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
The Language Theory of Bounded Context-Switching | 1-gen-2010 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces | 1-gen-2010 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
The Tree Width of Auxiliary Storage | 1-gen-2011 | P, Madhusudan; Parlato, G | |
Getting Rid of Store-Buffers in TSO Analysis | 1-gen-2011 | Atig, F; Bouajjani, A; Parlato, G | |
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem | 1-gen-2011 | Carrabs, F; Cerulli, R; Gentili, M; Parlato, G | |
On Sequentializing Concurrent Programs | 1-gen-2011 | Bouajjani, A; Emmi, M; Parlato, G | |
Decidable logics combining heap structures and data | 1-gen-2011 | P., Madhusudan; Parlato, G; Qiu, X | |
Security Analysis of Role-Based Access Control through Program Verification | 1-gen-2012 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, G |
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