Dario Carotenuto

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Cellular Automata

Partially Ordered

Top Venues

Theor. Comput. Sci.

Publications

Dario Carotenuto, Aniello Murano, Adriano Peron
Ordered multi-stack visibly pushdown automata. Theor. Comput. Sci. 656 (2016)
Dario Carotenuto, Aniello Murano, Adriano Peron
2-Visibly Pushdown Automata. Developments in Language Theory (2007)
Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
The eureka tool for software model checking. ASE (2007)