According to our database1, Gabriel Baum authored at least 26 papers between 1993 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Applying MDA and OMG Robotic Specification for Developing Robotic Systems.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016
Variable-Based Analysis for Traceability in QVT-R Model Transformations.
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015
Ginga Middleware and Digital TV in Latin America.
IT Professional, 2012
A Two-Level Calculus for Composing Hybrid QVT Transformations.
Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol., 2005
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
Taking Alloy to the Movies.
Proceedings of the FME 2003: Formal Methods, 2003
Reasoning about the correctness of software development process.
Proceedings of the 24th International Conference on Software Engineering, 2002
Interpretability of First-Order Dynamic Logic in a Relational Calculus.
Proceedings of the Relational Methods in Computer Science, 2001
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
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology, 1999
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
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
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
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