Author of the publication

A Unifying Approach for Multistack Pushdown Automata.

, , and . MFCS (1), volume 8634 of Lecture Notes in Computer Science, page 377-389. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Napoli, Margherita
add a person with the name Napoli, Margherita
 

Other publications of authors with the same name

Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata., , , and . Mathematical Systems Theory, 28 (3): 245-266 (1995)Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations., , , and . Acta Inf., 29 (8): 761-778 (1992)Timed tree automata with an application to temporal logic., and . Acta Inf., 38 (2): 89-116 (2001)A compositional approach to synchronize two dimensional networks of processors., , and . ITA, 34 (6): 549-564 (2000)Web Structures: A Tool for Representing and Manipulating Programs., , and . IEEE Trans. Software Eng., 14 (11): 1621-1639 (1988)Synchronization of a Line of Identical Processors at a Given Time., , and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 405-416. Springer, (1997)State Complexity of SBTA Languages., , , and . LATIN, volume 911 of Lecture Notes in Computer Science, page 346-357. Springer, (1995)On a Logic for Coalitional Games with Priced-Resource Agents., , and . Electron. Notes Theor. Comput. Sci., (2011)The word problem for visibly pushdown languages described by grammars., , and . Formal Methods in System Design, 31 (3): 265-279 (2007)Verification of Succinct Hierarchical State Machines., , , and . LATA, Report 35/07, page 485-496. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)