Publications

Domenico PARENTE Publications


2004
Articolo in rivista
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.229-243
ISSN:1571-0661.
La Torre Salvatore, ; Murano, Aniello; Parente, Mimmo
Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010
Codice identificativo SCOPUS: 2-s2.0-18944406943
Show it in Product Database (IRIS)
2004
Articolo in rivista
Specification and Verification of Protocols With Time Constraints
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.205-227
ISSN:1571-0661.
Napoli, Margherita; Parente, Domenico; Peron, A.
Codice identificativo SCOPUS: 2-s2.0-18944373667
Show it in Product Database (IRIS)
2004
Articolo in rivista
On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 15 (5). Pag.701-715
ISSN:0129-0541.
PARENTE M.; FERRANTE A
Codice identificativo ISI: WOS:000227176500002
Codice identificativo SCOPUS: 2-s2.0-84892682287
Show it in Product Database (IRIS)
2004
Contributo in Atti di convegno
Existence of Nash Equilibria in Selfish Routing Problems.
In: Structural Information and Communication Complexity Berlin, Heidelberg Springer Vol.3104, Pag.149-160
ISBN:9783540222309
SIROCCO 2004
Takayama, Japan July 23-25, 2014
Ferrante, Alessandro; Parente, Mimmo
Digital Object Identifier (DOI): 10.1007/978-3-540-27796-5_14
Codice identificativo ISI: WOS:000222843600014
Codice identificativo SCOPUS: 2-s2.0-35048875312
Show it in Product Database (IRIS)
2004
Contributo in Atti di convegno
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.
In: Proc. of the 8th International Conference on Developments in Language Theory (DLT’04). Lecture Notes in Computer Science Berlin Springer Vol.3340, Pag.200-211
ISBN:3540240144
Developments in Language Theory
Auckland (New Zealand) December 13 - 17, 2004
Gruska, J.; LA TORRE, Salvatore; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-33746314400
Show it in Product Database (IRIS)