PARLATO, Gennaro

PARLATO, Gennaro  

DIPARTIMENTO DI BIOSCIENZE E TERRITORIO  

Mostra records
Risultati 1 - 20 di 64 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autore(i) File
A Linear Time Algorithm for the 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
A Robust Class of Context-Sensitive Languages 1-gen-2007 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
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
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 1-gen-2024 Faella, Marco; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time 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
Analyzing temporal role based access control models 1-gen-2012 Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Ferrara, Anna Lisa; Parthasarathy, Madhusudan
Analyzing temporal role based access control models 1-gen-2012 Uzun, E; Atluri, V; Sural, S; Vaidya, J; Parlato, G; Ferrara, Anna Lisa; Madhusudan, P.
Automated Planning Through Program Verification 1-gen-2021 La Torre, Salvatore; Parlato, Gennaro
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 1-gen-2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 1-gen-2022 Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 1-gen-2022 Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P.
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 1-gen-2017 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Context-Bounded Analysis of Concurrent Queue Systems 1-gen-2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Context-Bounded Analysis of TSO Systems 1-gen-2014 Mohamed Faouzi, Atig; Ahmed, Bouajjani; Parlato, G
CSeq: A concurrency pre-processor for sequential C verification tools 1-gen-2013 Bernd, Fischer; Omar, Inverso; Parlato, G
CSeq: A Sequentialization Tool for C 1-gen-2013 Bernd, Fischer; Omar, Inverso; Parlato, G
Decidable logics combining heap structures and data 1-gen-2011 P., Madhusudan; Parlato, G; Qiu, X
Fast payment schemes for truthful mechanisms with verification 1-gen-2009 Alessandro, Ferrante; Parlato, G; Francesco, Sorrentino; Carmine, Ventre