Paulo Blauth Menezes

2006
25	EE	Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes: Defining Atomic Composition in UML Behavioral Diagrams. J. UCS 12(7): 958-979 (2006)
24	EE	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. The Journal of Supercomputing 36(1): 51-81 (2006)
2005
23	EE	Karina Roggia, Marnes Hoff, Paulo Blauth Menezes: Computation of Partial Automata Through Span Composition. EUROCAST 2005: 15-20
22	EE	Rodrigo C. Vieira, Paulo Blauth Menezes: Computational Simulation of Categorical Constructions. EUROCAST 2005: 44-49
21	EE	Júlio Pereira Machado, Paulo Blauth Menezes: Composing Transitions into Transactions in UML Diagrams. EUROCAST 2005: 50-55
20	EE	Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes: Approximation Problems Categories. EUROCAST 2005: 9-14
2004
19		Carlos A. P. Campani, Paulo Blauth Menezes: On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems. CISST 2004: 63-68
18		Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado: A Protocol Checker for Nautilus Language. PDPTA 2004: 1336-1344
2003
17		Carlos A. P. Campani, Paulo Blauth Menezes: Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity. CISST 2003: 721-725
16	EE	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: 243-252
15	EE	Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes: A Categorical Approach to NP-Hard Optimization Problems. EUROCAST 2003: 62-73
14		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: 1726-1731
2002
13		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: 381-386
12		Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes: Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa. RITA 9(1): 67-80 (2002)
2001
11		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: 843-847
10	EE	Carlos A. P. Campani, Paulo Blauth Menezes: Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. EUROCAST 2001: 242-256
9	EE	Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani: Optimization Problems Categories. EUROCAST 2001: 285-299
8	EE	Júlio 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: 457-468
2000
7		Júlio Pereira Machado, Carlos Tadeu Q. de Morais, Paulo Blauth Menezes, Ricardo Reis: Structuring Web course pages as Automata: revising concepts. RIAO 2000: 150-159
1999
6		Cirney Carneiro, Tiago Veit, Paulo Blauth Menezes, Fernando D'Andrea: Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language. PDPTA 1999: 1919-1925
1998
5	EE	Paulo Blauth Menezes: Diagonal Compositionality of Partial Petri Nets. Electr. Notes Theor. Comput. Sci. 14: (1998)
4	EE	Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa: Nonsequential Automata Semantics for a Concurrent, Object-Based Language. Electr. Notes Theor. Comput. Sci. 14: (1998)
1996
3		Paulo Blauth Menezes, José Félix Costa: Synchronization in Petri Nets. Fundam. Inform. 26(1): 11-22 (1996)
1995
2		Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas: Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116
1		Paulo Blauth Menezes: Marked Petri Nets. RITA 2(2): 71-92 (1995)

Coauthor Index

1	Carlos A. P. Campani	[10] [17] [19]
2	Cirney Carneiro	[6]
3	Dalcidio Moraes Claudio	[9] [15] [20]
4	José Félix Costa	[2] [3] [4]
5	Simone André da Costa	[8] [13] [16]
6	Fernando D'Andrea	[6] [13] [24]
7	Tiarajú Asmuz Diverio	[8]
8	Gustavo L. Federizzi	[11]
9	Cláudio Naoto Fuzitaki	[13] [14] [16] [18] [24]
10	Rodrigo Gatto	[14]
11	Marnes Hoff	[23]
12	Liara Aparecida dos Santos Leal	[9] [15] [20]
13	Cesar C. Machado	[11]
14	Júlio Henrique Araújo Pereira Machado	[12] [13] [16] [18] [24] [25]
15	Júlio Pereira Machado	[7] [8] [21]
16	Carlos Tadeu Q. de Morais	[7]
17	Márcia R. Notare	[8]
18	Daltro José Nunes	[14]
19	Ricardo Augusto da Luz Reis (Ricardo A. L. Reis, Ricardo Reis)	[7]
20	Karina Roggia	[23]
21	Eduardo Fabrízio Seganfredo	[14]
22	Amílcar Sernadas	[2] [4]
23	Laira Vieira Toscani	[9] [15] [20]
24	Tiago Veit	[6]
25	Rodrigo C. Vieira	[22]

Colors in the list of coauthors