Júlio Henrique Araújo Pereira Machado

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
Defining Atomic Composition in UML Behavioral Diagrams. J. Univers. Comput. Sci. 12 (7) (2006)
Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea
Nautilus, a Concurrent Diagrammatic Specification and Programming Language. J. Supercomput. 36 (1) (2006)
Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
Composing Transitions into Transactions in UML Diagrams. EUROCAST (2005)
Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado
A Protocol Checker for Nautilus Language. PDPTA (2004)
Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. EUROCAST (2003)
Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
Nautilus, a Diagrammatic Specification and Programming Language. IASTED PDCS (2002)
Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa. RITA 9 (1) (2002)
Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes
Hyper-Automation System Applied to Geometry Demonstration Environment. EUROCAST (2001)
Júlio Henrique Araújo Pereira Machado, Carlos Tadeu Q. de Morais, Paulo Blauth Menezes, Ricardo Reis
Structuring Web course pages as Automata: revising concepts. RIAO (2000)
Júlio Henrique Araújo Pereira Machado, Leonardo Penczek, Carlos Tadeu Q. de Morais, Paulo Blauth Menezes
Autômatos Finitos: um Formalismo para Cursos na Web. SBES (1999)