Autômatos Finitos: um Formalismo para Cursos na Web. - Júlio Henrique Araújo Pereira Machado; Leonardo Penczek; Carlos Tadeu Q. de Morais; Paulo Blauth Menezes (SBES, 1999)

Structuring Web course pages as Automata: revising concepts. - Júlio Henrique Araújo Pereira Machado; Carlos Tadeu Q. de Morais; Paulo Blauth Menezes; Ricardo Reis 001 (RIAO, 2000)

Hyper-Automation System Applied to Geometry Demonstration Environment. - Júlio Henrique Araújo Pereira Machado; Márcia R. Notare; Simone André da Costa; Tiarajú Asmuz Diverio; Paulo Blauth Menezes (EUROCAST, 2001)

Nautilus, a Diagrammatic Specification and Programming Language. - Fernando D'Andrea; Paulo Blauth Menezes; Cláudio Naoto Fuzitaki; Júlio Henrique Araújo Pereira Machado; Simone André da Costa (IASTED PDCS, 2002)

Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa. - Júlio Henrique Araújo Pereira Machado; Paulo Blauth Menezes (RITA, 2002)

Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. - Cláudio Naoto Fuzitaki; Paulo Blauth Menezes; Júlio Henrique Araújo Pereira Machado; Simone André da Costa (EUROCAST, 2003)

A Protocol Checker for Nautilus Language. - Cláudio Naoto Fuzitaki; Paulo Blauth Menezes; Júlio Henrique Araújo Pereira Machado (PDPTA, 2004)

Composing Transitions into Transactions in UML Diagrams. - Júlio Henrique Araújo Pereira Machado; Paulo Blauth Menezes (EUROCAST, 2005)

Defining Atomic Composition in UML Behavioral Diagrams. - Júlio Henrique Araújo Pereira Machado; Paulo Blauth Menezes (J. Univers. Comput. Sci., 2006)

Nautilus, a Concurrent Diagrammatic Specification and Programming Language. - Cláudio Naoto Fuzitaki; Paulo Blauth Menezes; Júlio Henrique Araújo Pereira Machado; Fernando D'Andrea (J. Supercomput., 2006)