( en | de | ru )

 

Disambiguation of "Baum, Gabriel"

Author of the publication

copydeleteadd this publication to your clipboard
A Two-Level Calculus for Composing Hybrid QVT Transformations.

, , , and . SCCC, page 105-114. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernhard Baum

The well-tempered thrombin: a systematic crystallographic and calorimetric study on the thermodynamics of serine-protease inhibition. Uni Marburg, (2009)

Sebastian Baum

Optimierung der Pharmakotherapie von geriatrischen Patienten im stationären Bereich durch pharmazeutische Betreuung. Uni Münster, (2009)

Janine Baum

Matthias Baum

Günther Baum

 

Other publications of authors with the same name

Conceptual Layers in an Object Oriented Database. An Unified Model., , , , and . DASFAA, volume 4 of Advanced Database Research and Development Series, page 141-147. World Scientific, (1993)A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus., , and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 91-105. Springer, (1998)Software Development Contracts., and . FFSE@CSMR, page 13-20. Universidade Nova de Lisboa, (2001)Interpretability of First-Order Dynamic Logic in a Relational Calculus., , and . RelMiCS, volume 2561 of Lecture Notes in Computer Science, page 66-80. Springer, (2001)Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework., , and . FMLDO, page 1-18. Kluwer, (1998)Reasoning about the correctness of software development process., and . ICSE, page 708. ACM, (2002)Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques., , , , , , , , , and 2 other author(s). German-Argentinian Workshop on Information Technology, page 23-30. (1999)Purpose: Between Types and Code., , , , and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 68-69. Springer, (1998)A calculus for program construction based on fork algebras, generic algorithms and design strategies., , and . RelMiCS, page 75-79. (1998)Digitale Experimentierfelder zur Vernetzung in Technik und Wissen für eine digitale Landwirtschaft auf Zukunftsbetrieben in Baden-Württemberg., , , , , , and . GIL, volume P-344 of LNI, page 215-220. Gesellschaft für Informatik e.V., (2024)