Pubblicazioni

Domenico PARENTE Pubblicazioni


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
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
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
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)