Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 2008 | |
| Articolo in rivista | |
| Mixed Nash equilibria in selfish routing problems with dynamic constraints THEORETICAL COMPUTER SCIENCE. Vol. 393. Pag.37-53 ISSN:0304-3975. | |
| Alessandro, Ferrante; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2007.11.017 Codice identificativo ISI: WOS:000254543900004 Codice identificativo SCOPUS: 2-s2.0-39649104592 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Enriched mu--calculi module checking, LOGICAL METHODS IN COMPUTER SCIENCE. Vol. 4. Pag.1-21 ISSN:1860-5974. | |
| A., Ferrante; A., Murano; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.2168/LMCS-4(3:1)2008 Codice identificativo ISI: WOS:000262643100001 Codice identificativo SCOPUS: 2-s2.0-84879692723 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| ICABAS: Un software libero per la distribuzione di reflui oleari L'INFORMATORE AGRARIO. Vol. 44. Pag.45-49 ISSN:0020-0689. | |
| G., Celano; A. M., Palese; Parente, Domenico; L., Rizzuti; N., Rossi; N., Silvestri | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Verification of Scope-dependent Hierarchical State Machines INFORMATION AND COMPUTATION. Vol. 206. Pag.1161-1177 ISSN:0890-5401. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2008.03.017 Codice identificativo ISI: WOS:000259251400015 Codice identificativo SCOPUS: 2-s2.0-50149099553 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Program Complexity in Hierarchical Module Checking. In: Lecture Notes in Computer Science Springer-Verlag Pag.318-332 ISBN:9783540894384 | |
| 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning Doha, Qatar November 22-27, 2008 | |
| A., Murano; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1007/978-3-540-89439-1_23 Codice identificativo ISI: WOS:000262502600023 Codice identificativo SCOPUS: 2-s2.0-58049125850 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| CTL Model-Checking with Graded Quantifiers. In: Lecture Notes in Computer Science ATVA 2008, L.N.C.S. Springer-Verlag Vol.5311, Pag.18-32 ISBN:354088386X; 9783540883869 | |
| AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS Seoul, South Korea October 20-23, 2008 | |
| Ferrante, A.; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1007/978-3-540-88387-6_4 Codice identificativo ISI: WOS:000261873000003 Codice identificativo SCOPUS: 2-s2.0-56749155699 | |
| Visualizza sul Database dei Prodotti (IRIS) |
