Sfoglia per Serie
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005-01-01 Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Joint Use of Geomatic and Geophysical Methods for the Survey and Documentation of the Vespasian’s Thermal Baths (Cittaducale, Rieti, Italy)
2024-01-01 Angelini, Andrea; Cozzolino, Marilena; Foschi, Barbara; Gabrielli, Roberto; Gentile, Vincenzo; Mauriello, Paolo; Scopinaro, Eleonora
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy)
2022-01-01 Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza
The Language Theory of Bounded Context-Switching
2010-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
2016-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G
Lazy-CSeq: A Lazy Sequentialization Tool for C
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
Medium- to High-Resolution Integrated Geophysical Surveys to Reconstruct an Archaeological Settlement: New Perspectives from the Ancient Town of Nora, Southwestern Sardinia (Italy).Preliminary Results
2024-01-01 Piroddi, Luca; Calcina, Sergio Vincenzo; Cozzolino, Marilena; Deidda, Gian Piero; Trogu, Antonio; Carboni, Romina; Cruccas, Emiliano; Giuman, Marco; Ranieri, Gaetano
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings
2015-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq 0.4: Individual Memory Location Unwindings
2016-01-01 Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings
2014-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, G
Policy analysis for self-administrated role-based access control
2013-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents | 1-gen-2005 | Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre | |
An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Joint Use of Geomatic and Geophysical Methods for the Survey and Documentation of the Vespasian’s Thermal Baths (Cittaducale, Rieti, Italy) | 1-gen-2024 | Angelini, Andrea; Cozzolino, Marilena; Foschi, Barbara; Gabrielli, Roberto; Gentile, Vincenzo; Mauriello, Paolo; Scopinaro, Eleonora | |
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy) | 1-gen-2022 | Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza | |
The Language Theory of Bounded Context-Switching | 1-gen-2010 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs | 1-gen-2016 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation | 1-gen-2017 | Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G | |
Lazy-CSeq: A Lazy Sequentialization Tool for C | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis | 1-gen-2021 | Cuzzocrea, A.; Mercaldo, F.; Martinelli, F. | |
Medium- to High-Resolution Integrated Geophysical Surveys to Reconstruct an Archaeological Settlement: New Perspectives from the Ancient Town of Nora, Southwestern Sardinia (Italy).Preliminary Results | 1-gen-2024 | Piroddi, Luca; Calcina, Sergio Vincenzo; Cozzolino, Marilena; Deidda, Gian Piero; Trogu, Antonio; Carboni, Romina; Cruccas, Emiliano; Giuman, Marco; Ranieri, Gaetano | |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces | 1-gen-2010 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings | 1-gen-2015 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
MU-CSeq 0.4: Individual Memory Location Unwindings | 1-gen-2016 | Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings | 1-gen-2014 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis | 1-gen-2021 | Cuzzocrea, A.; Mercaldo, F.; Martinelli, F. | |
On Sequentializing Concurrent Programs | 1-gen-2011 | Bouajjani, A; Emmi, M; Parlato, G | |
On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, G | |
Policy analysis for self-administrated role-based access control | 1-gen-2013 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro | |
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists | 1-gen-2013 | Pranav, Garg; P., Madhusudan; Parlato, G | |
Reducing Context-bounded Concurrent Reachability to Sequential Reachability | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; 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