GARCÍA CELESTRIN, ABEL
GARCÍA CELESTRIN, ABEL
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Deadlock detection of java bytecode | Laneve, Cosimo*; Garcia, Abel | 2018-01-01 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| JaDA - A Static Java Deadlock Analizer | Abel Garcia; Cosimo Laneve | 2017-01-01 | - | - | 7.04 Software | - |
| JaDA -- the Java Deadlock Analyzer | Abel Garcia; Cosimo Laneve | 2017-01-01 | - | River Publishers | 2.01 Capitolo / saggio in libro | - |
| Static analysis of cloud elasticity | Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael | 2017-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642317300679-main.pdf; VM-elsevier.pdf |