Paulo Blauth Menezes

29 papers Misc 3Journal 5Unranked 20

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	Massive Open Online Courses and Monoids. SBMF Hugo Farias, Christiano Braga, Paulo Blauth Menezes
2006	J	`jnl`	Defining Atomic Composition in UML Behavioral Diagrams. J. Univers. Comput. Sci. Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
2006	J	`jnl`	Nautilus, a Concurrent Diagrammatic Specification and Programming Language. J. Supercomput. Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea
2005	—	`conf`	Approximation Problems Categories. EUROCAST Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
2005	—	`conf`	Composing Transitions into Transactions in UML Diagrams. EUROCAST Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
2005	—	`conf`	Computation of Partial Automata Through Span Composition. EUROCAST Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes
2005	—	`conf`	Computational Simulation of Categorical Constructions. EUROCAST Rodrigo C. Vieira, Paulo Blauth Menezes
2004	Misc	`conf`	A Protocol Checker for Nautilus Language. PDPTA Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado
2004	—	`conf`	On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems. CISST Carlos Antonio Pereira Campani, Paulo Blauth Menezes
2003	—	`conf`	A Categorical Approach to NP-Hard Optimization Problems. EUROCAST Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
2003	Misc	`conf`	An Outline to a Diagrammatic Nautilus Environment. PDPTA Eduardo Fabrízio Seganfredo, Rodrigo Gatto, Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Daltro José Nunes
2003	—	`conf`	Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity. CISST Carlos Antonio Pereira Campani, Paulo Blauth Menezes
2003	—	`conf`	Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. EUROCAST Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
2002	J	`jnl`	Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa. RITA Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
2002	—	`conf`	Nautilus, a Diagrammatic Specification and Programming Language. IASTED PDCS Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
2001	—	`conf`	Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. EUROCAST Carlos Antonio Pereira Campani, Paulo Blauth Menezes
2001	—	`conf`	Definition and Application of Rules for the Adequate Designing of XML Documents for the Hyper-Automaton System. DEXA Workshop Cesar C. Machado, Gustavo L. Federizzi, Paulo Blauth Menezes
2001	—	`conf`	Hyper-Automation System Applied to Geometry Demonstration Environment. EUROCAST Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes
2001	—	`conf`	Optimization Problems Categories. EUROCAST Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani
2000	—	`conf`	Structuring Web course pages as Automata: revising concepts. RIAO Júlio Henrique Araújo Pereira Machado, Carlos Tadeu Q. de Morais, Paulo Blauth Menezes, Ricardo Reis
1999	—	`conf`	Autômatos Finitos: um Formalismo para Cursos na Web. SBES Júlio Henrique Araújo Pereira Machado, Leonardo Penczek, Carlos Tadeu Q. de Morais, Paulo Blauth Menezes
1999	—	`conf`	Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus. SBES Cirney Carneiro, Rodrigo Quites Reis, Paulo Blauth Menezes
1999	Misc	`conf`	Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language. PDPTA Cirney Carneiro, Tiago Veit, Paulo Blauth Menezes, Fernando D'Andrea
1997	—	`conf`	Diagonal Compositionality of Partial Petri Nets. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Paulo Blauth Menezes
1997	—	`conf`	Nonsequential Automata Semantics for a Concurrent, Object-Based Language. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
1997	—	`—`	Reification of concurrent objects. Paulo Blauth Menezes
1996	J	`jnl`	Synchronization in Petri Nets. Fundam. Informaticae Paulo Blauth Menezes, José Félix Costa
1995	J	`jnl`	Marked Petri Nets. RITA Paulo Blauth Menezes
1995	—	`conf`	Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas