|
Search the dblp DataBase
Paulo Blauth Menezes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Carlos A. P. Campani, Paulo Blauth Menezes
Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP] CISST, 2003, pp:721-725 [Conf]
- Carlos A. P. Campani, Paulo Blauth Menezes
On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems. [Citation Graph (0, 0)][DBLP] CISST, 2004, pp:63-68 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DEXA Workshop, 2001, pp:843-847 [Conf]
- Carlos A. P. Campani, Paulo Blauth Menezes
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:242-256 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EUROCAST, 2003, pp:243-252 [Conf]
- Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
A Categorical Approach to NP-Hard Optimization Problems. [Citation Graph (0, 0)][DBLP] EUROCAST, 2003, pp:62-73 [Conf]
- Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
Approximation Problems Categories. [Citation Graph (0, 0)][DBLP] EUROCAST, 2005, pp:9-14 [Conf]
- Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani
Optimization Problems Categories. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:285-299 [Conf]
- Júlio P. Machado, Paulo Blauth Menezes
Composing Transitions into Transactions in UML Diagrams. [Citation Graph (0, 0)][DBLP] EUROCAST, 2005, pp:50-55 [Conf]
- Júlio P. Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes
Hyper-Automation System Applied to Geometry Demonstration Environment. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:457-468 [Conf]
- Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
Refinement Mapping for General (Discrete Event) Systems Theory. [Citation Graph (0, 0)][DBLP] EUROCAST, 1995, pp:103-116 [Conf]
- Karina Roggia, Marnes Hoff, Paulo Blauth Menezes
Computation of Partial Automata Through Span Composition. [Citation Graph (0, 0)][DBLP] EUROCAST, 2005, pp:15-20 [Conf]
- Rodrigo C. Vieira, Paulo Blauth Menezes
Computational Simulation of Categorical Constructions. [Citation Graph (0, 0)][DBLP] EUROCAST, 2005, pp:44-49 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IASTED PDCS, 2002, pp:381-386 [Conf]
- Cirney Carneiro, Tiago Veit, Paulo Blauth Menezes, Fernando D'Andrea
Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:1919-1925 [Conf]
- Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado
A Protocol Checker for Nautilus Language. [Citation Graph (0, 0)][DBLP] PDPTA, 2004, pp:1336-1344 [Conf]
- Eduardo Fabrízio Seganfredo, Rodrigo Gatto, Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Daltro José Nunes
An Outline to a Diagrammatic Nautilus Environment. [Citation Graph (0, 0)][DBLP] PDPTA, 2003, pp:1726-1731 [Conf]
- Paulo Blauth Menezes
Diagonal Compositionality of Partial Petri Nets. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
- Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
- Paulo Blauth Menezes, José Félix Costa
Synchronization in Petri Nets. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1996, v:26, n:1, pp:11-22 [Journal]
- Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
Defining Atomic Composition in UML Behavioral Diagrams. [Citation Graph (0, 0)][DBLP] J. UCS, 2006, v:12, n:7, pp:958-979 [Journal]
- Paulo Blauth Menezes
Marked Petri Nets. [Citation Graph (0, 0)][DBLP] RITA, 1995, v:2, n:2, pp:71-92 [Journal]
- Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes
Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa. [Citation Graph (0, 0)][DBLP] RITA, 2002, v:9, n:1, pp:67-80 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] The Journal of Supercomputing, 2006, v:36, n:1, pp:51-81 [Journal]
Structuring Web course pages as Automata: revising concepts. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.281secs
|