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;Mimmo Parente
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
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 M.; 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
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 M.
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
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.; M. NAPOLI; M. PARENTE
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)
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; M. NAPOLI; PARENTE M.
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)