Paulo Blauth Menezes

According to our database, Paulo Blauth Menezes authored at least 29 papers between 1995 and 2016.

Collaborative distances:

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

2016

Massive Open Online Courses and Monoids.

Hugo Farias, Christiano Braga, Paulo Blauth Menezes

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

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

Computational Simulation of Categorical Constructions.

Rodrigo C. Vieira, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 2005

Computation of Partial Automata Through Span Composition.

Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 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

Approximation Problems Categories.

Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, 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

On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems.

Carlos Antonio Pereira Campani, Paulo Blauth Menezes

Proceedings of the International Conference on Imaging Science, Systems and Technology, 2004

2003

An Outline to a Diagrammatic Nautilus Environment.

Eduardo Fabrízio Seganfredo, Rodrigo Gatto, Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Daltro José Nunes

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

A Categorical Approach to NP-Hard Optimization Problems.

Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 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

Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity.

Carlos Antonio Pereira Campani, Paulo Blauth Menezes

Proceedings of the International Conference on Imaging Science, Systems and Technology, 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

Optimization Problems Categories.

Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani

Proceedings of the Computer Aided Systems Theory, 2001

Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity.

Carlos Antonio Pereira Campani, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 2001

Definition and Application of Rules for the Adequate Designing of XML Documents for the Hyper-Automaton System.

Cesar C. Machado, Gustavo L. Federizzi, Paulo Blauth Menezes

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 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

Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus.

Cirney Carneiro, Rodrigo Quites Reis, Paulo Blauth Menezes

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

Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language.

Cirney Carneiro, Tiago Veit, Paulo Blauth Menezes, Fernando D'Andrea

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

1997

Reification of concurrent objects.

Paulo Blauth Menezes

PhD thesis, 1997

Nonsequential Automata Semantics for a Concurrent, Object-Based Language.

Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Diagonal Compositionality of Partial Petri Nets.

Paulo Blauth Menezes

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996

Synchronization in Petri Nets.

Paulo Blauth Menezes, José Félix Costa

Fundam. Informaticae, 1996

1995

Marked Petri Nets.

Paulo Blauth Menezes

RITA, 1995

Refinement Mapping for General (Discrete Event) Systems Theory.

Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas

Proceedings of the Computer Aided Systems Theory, 1995