( en | de | ru )

 

Disambiguation of "Baum, Gabriel"

Author of the publication

copydeleteadd this publication to your clipboard
Ginga Middleware and Digital TV in Latin America.

, and . IT Prof., 14 (4): 59-61 (2012)

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)

Christa Baum

Fritz Baum

Erich Baum

 

Other publications of authors with the same name

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)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)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)Ginga Middleware and Digital TV in Latin America., and . IT Prof., 14 (4): 59-61 (2012)Variable-Based Analysis for Traceability in QVT-R Model Transformations., , , and . CIbSE, page 39. Curran Associates, Inc., (2015)From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap., , , and . MFCS, volume 1113 of Lecture Notes in Computer Science, page 180-191. Springer, (1996)Applying MDA and OMG Robotic Specification for Developing Robotic Systems., , , and . SAM, volume 9959 of Lecture Notes in Computer Science, page 51-67. Springer, (2016)A calculus for program construction based on fork algebras, generic algorithms and design strategies., , and . RelMiCS, page 75-79. (1998)Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework., , and . FMLDO, page 1-18. Kluwer, (1998)