Paulo Blauth Menezes

Affiliations:
  • Federal University of Rio Grande do Sul, Porto Alegre, Brazil


According to our database1, Paulo Blauth Menezes authored at least 29 papers between 1995 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Massive Open Online Courses and Monoids.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2006
Nautilus, a Concurrent Diagrammatic Specification and Programming Language.
J. Supercomput., 2006

Defining Atomic Composition in UML Behavioral Diagrams.
J. Univers. Comput. Sci., 2006

2005
Computational Simulation of Categorical Constructions.
Proceedings of the Computer Aided Systems Theory, 2005

Computation of Partial Automata Through Span Composition.
Proceedings of the Computer Aided Systems Theory, 2005

Composing Transitions into Transactions in UML Diagrams.
Proceedings of the Computer Aided Systems Theory, 2005

Approximation Problems Categories.
Proceedings of the Computer Aided Systems Theory, 2005

2004
A Protocol Checker for Nautilus Language.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems.
Proceedings of the International Conference on Imaging Science, Systems and Technology, 2004

2003
An Outline to a Diagrammatic Nautilus Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Categorical Approach to NP-Hard Optimization Problems.
Proceedings of the Computer Aided Systems Theory, 2003

Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.
Proceedings of the Computer Aided Systems Theory, 2003

Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity.
Proceedings of the International Conference on Imaging Science, Systems and Technology, 2003

2002
Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa.
RITA, 2002

Nautilus, a Diagrammatic Specification and Programming Language.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001
Hyper-Automation System Applied to Geometry Demonstration Environment.
Proceedings of the Computer Aided Systems Theory, 2001

Optimization Problems Categories.
Proceedings of the Computer Aided Systems Theory, 2001

Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity.
Proceedings of the Computer Aided Systems Theory, 2001

Definition and Application of Rules for the Adequate Designing of XML Documents for the Hyper-Automaton System.
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000
Structuring Web course pages as Automata: revising concepts.
Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 2000

1999
Autômatos Finitos: um Formalismo para Cursos na Web.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997
Reification of concurrent objects.
PhD thesis, 1997

Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Diagonal Compositionality of Partial Petri Nets.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996
Synchronization in Petri Nets.
Fundam. Informaticae, 1996

1995
Marked Petri Nets.
RITA, 1995

Refinement Mapping for General (Discrete Event) Systems Theory.
Proceedings of the Computer Aided Systems Theory, 1995


  Loading...