Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 2010 | |
| Articolo in rivista | |
| Environmental Impact Evaluation of Olive Mill Wastewater Shedding on Cultivated Fields TERRESTRIAL & AQUATIC ENVIRONMENTAL TOXICOLOGY. Vol. 4. Pag.39-44 ISSN:1749-0324. | |
| Celano, Giuseppe; Assunta Maria, Palese; Parente, Domenico; Luca, Rizzuti; Nicola, Silvestri | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Graded Alternating-Time Temporal Logic FUNDAMENTA INFORMATICAE. Vol. 105(2). Pag.189-210 ISSN:0169-2968. | |
| Faella, M; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.3233/FI-2010-363 Codice identificativo ISI: WOS:000287022900009 Codice identificativo SCOPUS: 2-s2.0-79951634547 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| A NuSMV Extension for Graded-CTL Model Checking. In: Proc. of CAV 2010, Lecture Notes in Computer Science Springer-Verlag Pag.670-673 ISBN:978-3-642-14294-9 | |
| Conference of 22nd International Conference on Computer-Aided Verification, CAV 2010 Edimburgh 15 July 2010 Through 19 July 2010 | |
| Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F. | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-14295-6_58 Codice identificativo ISI: WOS:000281446200057 Codice identificativo SCOPUS: 2-s2.0-77955007634 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| Graded Alternating-Time Temporal Logic. In: Lecture Notes in Computer Science Springer Vol.6355, Pag.189-210 ISBN:9783642175107 | |
| The 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '10) Dakar, Senegal 25 Aprile-- 1 Maggio, 2010 | |
| Parente, Domenico; Napoli, Margherita; Faella, M. | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-17511-4_12 Codice identificativo ISI: WOS:000309668000012 Codice identificativo SCOPUS: 2-s2.0-78650850178 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Curatela | |
| Curatore/i di Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Di Angelo, Montanari; Napoli, Margherita; Parente, DomenicoVol. 25. | |
| Angelo, Montanari; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.25 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Curatela | |
| Curatore/i di Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di Montanari, A; Napoli, Margherita; Parente, Domenico | |
| Montanari, A; Napoli, Margherita; Parente, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Curatela | |
| Curatore/i di Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di Montanari, A; Napoli, Margherita; Parente, Domenico | |
| Montanari, A; Napoli, Margherita; Parente, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
