Concepedia

Hubert Baumeister

HB

6

Publications

448

Citations

6

H-Index

2002

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Hubert Baumeister is an author at Ludwig-Maximilians-Universität München specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2002–2014

6

Publications

6

An environmental assessment system for environmental technologies

Julie Clavreul, Hubert Baumeister, Thomas H. Christensen et al. · Environmental Modelling & Software · 2014 · 259 citations

Environmental Monitoring, Engineering, Environmental Assessment System +8

UML-Based Web Engineering:An Approach Based on Standards

Nora Koch, Alexander Knapp, Gefei Zhang et al. · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2007 · 88 citations

A Component Model for Architectural Programming

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker et al. · Electronic Notes in Theoretical Computer Science · 2006 · 36 citations · Full text

Customer Relationship Management for SME's

Hubert Baumeister · 2002 · 25 citations

Aspect-Oriented Modeling of Access Control in Web Applications

Gefei Zhang, Hubert Baumeister, Nora Koch et al. · OPUS (Augsburg University) · 2005 · 21 citations · Full text

Rows per page

1–5 of 6