CEC (Conditional Equations Completion). - Hubert Bertling; Harald Ganzinger; Hubert Baumeister (STACS, 1987)

Smalltalk-80. - Hubert Baumeister; Harald Ganzinger; Georg Heeg; Michael Rüger (it Inf. Technol., 1987)

Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. - Hubert Baumeister (TAPSOFT, Vol.1, 1991)

Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. - Hubert Baumeister (TAPSOFT, 1995)

Relations between abstract datatypes modeled as abstract datatypes. - Hubert Baumeister (1998)

Towards a UML Extension for Hypermedia Design. - Hubert Baumeister; Nora Koch; Luis Mandel (UML, 1999)

Relating Abstract Datatypes and Z-Schemata. - Hubert Baumeister (WADT, 1999)

State-Based Extensions of CASL. - Hubert Baumeister; Alexandre V. Zamulin (IFM, 2000)

Specifying Component Invariants with OCL. - Rolf Hennicker; Hubert Baumeister; Alexander Knapp; Martin Wirsing (GI Jahrestagung (1), 2001)

Extending Activity Diagrams to Model Mobile Systems. - Hubert Baumeister; Nora Koch; Piotr Kosiuczenko; Martin Wirsing (NetObjectDays, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

UML for Global Computing. - Hubert Baumeister; Nora Koch; Piotr Kosiuczenko; Perdita Stevens; Martin Wirsing (Global Computing, 2003)

Semantics of OCL Operation Specifications. - Rolf Hennicker; Alexander Knapp; Hubert Baumeister (OCL 2.0 @ UML, 2003)

Mobile UML Statecharts with Localities. - Diego Latella; Mieke Massink; Hubert Baumeister; Martin Wirsing (Global Computing, 2004)

Property-Driven Development. - Hubert Baumeister; Alexander Knapp; Martin Wirsing (SEFM, 2004)

Glass-Box and Black-Box Views on Object-Oriented Specifications. - Michel Bidoit; Rolf Hennicker; Alexander Knapp; Hubert Baumeister (SEFM, 2004)

Combining Formal Specifications with Test Driven Development. - Hubert Baumeister (XP/Agile Universe, 2004)

Modelling Adaptivity with Aspects. - Hubert Baumeister; Alexander Knapp; Nora Koch; Gefei Zhang (ICWE, 2005)

A Component Model for Architectural Programming. - Hubert Baumeister; Florian Hacklinger; Rolf Hennicker; Alexander Knapp; Martin Wirsing (FACS, 2005)

Modelling the CoCoME with the Java/AComponent Model. - Alexander Knapp; Stephan Janisch; Rolf Hennicker; Allan Clark; Stephen Gilmore; Florian Hacklinger; Hubert Baumeister; Martin Wirsing (CoCoME, 2007)

AOSTA: Agile Open Source Tools Academy. - Werner Wild; Barbara Weber; Hubert Baumeister (XP, 2008)

Uml-Based Web Engineering - An Approach Based on Standards. - Nora Koch; Alexander Knapp; Gefei Zhang; Hubert Baumeister (Web Engineering, 2008)

An environmental assessment system for environmental technologies. - Julie Clavreul; Hubert Baumeister; Thomas H. Christensen; Anders Damgaard (Environ. Model. Softw., 2014)

Towards separation of concerns in flow-based programming. - Bahram Zarrin; Hubert Baumeister (MODULARITY (Companion), 2015)

An Institution for Object-Z with Inheritance and Polymorphism. - Hubert Baumeister; Mohamed Bettaz; Mourad Maouche; M'hamed Mosteghanemi (Software, Services, and Systems, 2015)

An Integrated Framework to Specify Domain-Specific Modeling Languages. - Bahram Zarrin; Hubert Baumeister (MODELSWARD, 2018)

Towards Domain-specific Flow-based Languages. - Bahram Zarrin; Hubert Baumeister; Hessam S. Sarjoughian (MODELSWARD, 2018)

An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study. - Bahram Zarrin; Hubert Baumeister; Hessam S. Sarjoughian (MODELSWARD (Revised Selected Papers), 2018)