![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Paulo Blauth Menezes
Person information
- affiliation: Federal University of Rio Grande do Sul, Porto Alegre, Brazil
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c23]Hugo Farias, Christiano Braga, Paulo Blauth Menezes:
Massive Open Online Courses and Monoids. SBMF 2016: 179-195
2000 – 2009
- 2006
- [j5]Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes:
Defining Atomic Composition in UML Behavioral Diagrams. J. Univers. Comput. Sci. 12(7): 958-979 (2006) - [j4]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): 51-81 (2006) - 2005
- [c22]Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes:
Approximation Problems Categories. EUROCAST 2005: 9-14 - [c21]Karina Girardi Roggia
, Marnes Hoff, Paulo Blauth Menezes:
Computation of Partial Automata Through Span Composition. EUROCAST 2005: 15-20 - [c20]Rodrigo C. Vieira, Paulo Blauth Menezes:
Computational Simulation of Categorical Constructions. EUROCAST 2005: 44-49 - [c19]Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes:
Composing Transitions into Transactions in UML Diagrams. EUROCAST 2005: 50-55 - 2004
- [c18]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: 63-68 - [c17]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
- [c16]Carlos Antonio Pereira Campani, Paulo Blauth Menezes:
Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity. CISST 2003: 721-725 - [c15]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 - [c14]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 - [c13]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
- [j3]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) - [c12]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 - 2001
- [c11]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 - [c10]Carlos Antonio Pereira Campani, Paulo Blauth Menezes:
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. EUROCAST 2001: 242-256 - [c9]Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani:
Optimization Problems Categories. EUROCAST 2001: 285-299 - [c8]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: 457-468 - 2000
- [c7]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: 150-159
1990 – 1999
- 1999
- [c6]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 - [c5]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: 78-93 - [c4]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: 188-198 - 1997
- [b1]Paulo Blauth Menezes:
Reification of concurrent objects. Technical University of Lisbon, Portugal, 1997 - [c3]Paulo Blauth Menezes, Amílcar Sernadas
, José Félix Costa
:
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 245-273 - [c2]Paulo Blauth Menezes:
Diagonal Compositionality of Partial Petri Nets. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 274 - 1996
- [j2]Paulo Blauth Menezes, José Félix Costa:
Synchronization in Petri Nets. Fundam. Informaticae 26(1): 11-22 (1996) - 1995
- [j1]Paulo Blauth Menezes:
Marked Petri Nets. RITA 2(2): 71-92 (1995) - [c1]Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint