Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 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 | |
| Visualizza sul Database dei Prodotti (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, Domenico; Ferrante, Alessandro | |
| Codice identificativo ISI: WOS:000227176500002 Codice identificativo SCOPUS: 2-s2.0-84892682287 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010 Codice identificativo SCOPUS: 2-s2.0-18944406943 | |
| Visualizza sul Database dei Prodotti (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, Domenico | |
| Digital Object Identifier (DOI): 10.1007/978-3-540-27796-5_14 Codice identificativo ISI: WOS:000222843600014 Codice identificativo SCOPUS: 2-s2.0-35048875312 | |
| Visualizza sul Database dei Prodotti (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 ISI: WOS:000226160800017 Codice identificativo SCOPUS: 2-s2.0-33746314400 | |
| Visualizza sul Database dei Prodotti (IRIS) |
