Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 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 | |
| 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 ISI: WOS:000251155900012 Codice identificativo SCOPUS: 2-s2.0-34249750503 | |
| 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, Salvatore; Napoli, Margherita; Parente, Domenico; 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, Domenico | |
| Codice identificativo ISI: WOS:000251785100032 Codice identificativo SCOPUS: 2-s2.0-38149047466 | |
| Visualizza sul Database dei Prodotti (IRIS) |
