Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 59
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
Mostrati risultati da 1 a 20 di 59
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