Paulo Blauth Menezes

Publication Activity (10 Years)

Years Active: 1995-2016
Publications (10 Years): 1

Top Venues

SBMF

Technical University of Lisbon, Portugal (PHD)

Education History

Technical University of Lisbon, Portugal

PHD

Publications

Hugo Farias, Christiano Braga, Paulo Blauth Menezes
Massive Open Online Courses and Monoids. SBMF (2016)
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)
Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes
Computation of Partial Automata Through Span Composition. EUROCAST (2005)
Rodrigo C. Vieira, Paulo Blauth Menezes
Computational Simulation of Categorical Constructions. EUROCAST (2005)
Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
Composing Transitions into Transactions in UML Diagrams. EUROCAST (2005)
Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
Approximation Problems Categories. EUROCAST (2005)
Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado
A Protocol Checker for Nautilus Language. PDPTA (2004)
Carlos Antonio Pereira Campani, Paulo Blauth Menezes
On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems. CISST (2004)
Eduardo Fabrízio Seganfredo, Rodrigo Gatto, Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Daltro José Nunes
An Outline to a Diagrammatic Nautilus Environment. PDPTA (2003)
Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
A Categorical Approach to NP-Hard Optimization Problems. EUROCAST (2003)
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)
Carlos Antonio Pereira Campani, Paulo Blauth Menezes
Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity. CISST (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)
Carlos Antonio Pereira Campani, Paulo Blauth Menezes
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. EUROCAST (2001)
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)
Cesar C. Machado, Gustavo L. Federizzi, Paulo Blauth Menezes
Definition and Application of Rules for the Adequate Designing of XML Documents for the Hyper-Automaton System. DEXA Workshop (2001)
Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani
Optimization Problems Categories. 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)
Cirney Carneiro, Rodrigo Quites Reis, Paulo Blauth Menezes
Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus. SBES (1999)
Cirney Carneiro, Tiago Veit, Paulo Blauth Menezes, Fernando D'Andrea
Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language. PDPTA (1999)
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)
Paulo Blauth Menezes
Diagonal Compositionality of Partial Petri Nets. Electron. Notes Theor. Comput. Sci. 14 (1998)
Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. Electron. Notes Theor. Comput. Sci. 14 (1998)
Paulo Blauth Menezes, José Félix Costa
Synchronization in Petri Nets. Fundam. Informaticae 26 (1) (1996)
Paulo Blauth Menezes
Marked Petri Nets. RITA 2 (2) (1995)
Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST (1995)

Paulo Blauth Menezes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paulo Blauth Menezes