Concepedia

Martin Gogolla

MG

Statistics

Publications

61

Citations

2.4K

H-Index

25

Active since

1984

Affiliations

University of Bremen(Current)

Universidad de Málaga

Technische Universität Braunschweig

Martin Gogolla is an author at University of Bremen specializing in computing, computer science, and formal methods.

Publications per year

1984–2024

61

Publications

61

USE: A UML-based specification environment for validating UML and OCL

Martin Gogolla, Fabian Büttner, Mark Richters · Science of Computer Programming · 2007 · 445 citations

Computing, Computer Science, Formal Methods +10

Validating UML and OCL models in USE by automatic snapshot generation

Martin Gogolla, Mark Richters · Software & Systems Modeling · 2005 · 190 citations

Computing, Computer Science, Formal Methods +13

Validating UML models and OCL constraints

Mark Richters, Martin Gogolla · 2000 · 131 citations

Computing, Computer Science, Formal Methods +13

Towards a semantic view of an extended entity-relationship model

Martin Gogolla, Uwe Hohenstein · ACM Transactions on Database Systems · 1991 · 108 citations · Full text

Computing, Computer Science, Algebra +16

Conceptual modelling of database applications using an extended ER model

Gregor Engels, Martin Gogolla, Uwe Hohenstein et al. · Data & Knowledge Engineering · 1992 · 108 citations

Computing, Computer Science, Information Systems +11

1–5 of 61