Publications

Domenico PARENTE Publications


2006
Articolo in rivista
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks
RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 40. Pag.177-206
ISSN:0988-3754.
Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-33746307821
Show it in Product Database (IRIS)
2006
Contributo in Atti di convegno
On the Membership Problem for Visibly Pushdown Languages.
In: Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Lecture Notes in Computer Science. BERLIN Springer Vol.4218, Pag.96-109
ISBN:3540472371
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006
Beijing (China) October 23-26
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-33845197318
Show it in Product Database (IRIS)