Pubblicazioni

Domenico PARENTE Pubblicazioni


2007
Articolo in rivista
The Firing Squad Synchronization Problem on Squares, Toruses and Rings
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 18. Pag.637-654
ISSN:0129-0541.
Gruska, J; LA TORRE, Salvatore; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-34249750503
Visualizza sul Database dei Prodotti (IRIS)
2007
Articolo in rivista
The word problem for visibly pushdown languages described by grammars
FORMAL METHODS IN SYSTEM DESIGN. Vol. 31 (3). Pag.265-279
ISSN:0925-9856.
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/s10703-007-0040-7
Codice identificativo ISI: WOS:000250580800004
Codice identificativo SCOPUS: 2-s2.0-35649027452
Visualizza sul Database dei Prodotti (IRIS)
2007
Contributo in Atti di convegno
Verification of Succinct Hierarchical State Machines.
In: Proc. of the 1st International Conference on Language and Automata Theory and Applications, (LATA 2007). Universitat Rovira i Virgili, Tarragona Vol.Report 35/07, Pag.485-496
1st International Conference on Language and Automata Theory and Applications, LATA 2007
Tarragona (Spain) March 29 - April 4, 2007
LA TORRE S; NAPOLI M.; PARENTE D; PARLATO G
Visualizza sul Database dei Prodotti (IRIS)
2007
Contributo in Atti di convegno
Enriched mu--Calculus Pushdown Module Checking.
In: Int.Conf. on Logic for Programming, Artificial Intelligence and Reasoning 2007. L.N.C.S. Vol.4790, Pag.438-453
ISBN:9783540755586
LPAR '07
Yerevan, Armenia 15--19 Ottobre 2007
A. FERRANTE; A. MURANO; PARENTE M.
Codice identificativo ISI: WOS:000251785100032
Codice identificativo SCOPUS: 2-s2.0-38149047466
Visualizza sul Database dei Prodotti (IRIS)