2-Visibly Pushdown Automata. - Dario Carotenuto; Aniello Murano; Adriano Peron (Developments in Language Theory, 2007)

The eureka tool for software model checking. - Alessandro Armando; Massimo Benerecetti; Dario Carotenuto; Jacopo Mantovani; Pasquale Spica (ASE, 2007)

Ordered multi-stack visibly pushdown automata. - Dario Carotenuto; Aniello Murano; Adriano Peron (Theor. Comput. Sci., 2016)