Gabriel Baum

According to our database1, Gabriel Baum authored at least 26 papers between 1993 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Applying MDA and OMG Robotic Specification for Developing Robotic Systems.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

2012
Ginga Middleware and Digital TV in Latin America.
IT Professional, 2012

2010
A Two-level Calculus for Composing Hybrid QVT Transformations.
CLEI Electron. J., 2010

2009
A Two-Level Calculus for Composing Hybrid QVT Transformations.
Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

2005
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol., 2005

2004
A Framework for Execution of Secure Mobile Code based on Static Analysis.
Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

2003
Taking Alloy to the Movies.
Proceedings of the FME 2003: Formal Methods, 2003

2002
Reasoning about the correctness of software development process.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Interpretability of First-Order Dynamic Logic in a Relational Calculus.
Proceedings of the Relational Methods in Computer Science, 2001

2000
Dependency Relations between Models in the Unified Process.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Formal Foundations of Object-Oriented Modeling Notations.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

How to say Greedy in Fork Algebras.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology, 1999

1998
Fork Algebraic Datatypes.
Logic Journal of the IGPL, 1998

Representability and Program Construction within Fork Algebras.
Logic Journal of the IGPL, 1998

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.
Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework.
Proceedings of the Fundamentals of Information Systems, 1998

Purpose: Between Types and Code.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.
Proceedings of the Algebraic Methodology and Software Technology, 1998

A calculus for program construction based on fork algebras, generic algorithms and design strategies.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Fork Algebras in Algebra, Logic and Computer Science.
Fundam. Inform., 1997

Representability and Program Construction within Fork Algebras (Part II).
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1996
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Adding Design Strategies to Fork Algebras.
Proceedings of the Perspectives of System Informatics, 1996

1993
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Conceptual Layers in an Object Oriented Database. An Unified Model.
Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA), 1993


  Loading...