Júlio Henrique Araújo Pereira Machado

According to our database, Júlio Henrique Araújo Pereira Machado authored at least 10 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Defining Atomic Composition in UML Behavioral Diagrams.

Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes

J. Univers. Comput. Sci., 2006

2005

Composing Transitions into Transactions in UML Diagrams.

Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 2005

2004

A Protocol Checker for Nautilus Language.

Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

2003

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

Proceedings of the Computer Aided Systems Theory, 2003

2002

Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa.

Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes

RITA, 2002

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

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001

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

Proceedings of the Computer Aided Systems Theory, 2001

2000

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

Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 2000

1999

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

Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999