According to our database1, Gabriel Baum authored at least 27 papers between 1993 and 2016.
Legend:Book In proceedings Article PhD thesis Other
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
CLEI Electron. J., 2010
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol., 2005
Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004
Proceedings of the 24th International Conference on Software Engineering, 2002
Proceedings of the Relational Methods in Computer Science, 2001
Proceedings of the 10th International Workshop on Software Specification and Design, 2000
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.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999
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
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
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
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
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