| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 152 |      | Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann: Abstract Runtime Monitoring with USE. CSMR 2012: 549-552 |
| 151 | | Antonio Vallecillo, Martin Gogolla: Typing Model Transformations Using Tracts. ICMT 2012: 56-71 |
| 150 |  | Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla: Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung 2012: 155-170 |
| 149 | | Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann: Evaluating and Debugging OCL Expressions in UML Models. TAP 2012: 156-162 |
| 148 | | Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner: A benchmark for OCL engine accuracy, determinateness, and efficiency. Software and System Modeling 11(2): 165-182 (2012) |
| 2011 | ||
| 147 | | Martin Gogolla, Burkhart Wolff: Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings Springer 2011 |
| 146 | | Francisco Durán, Martin Gogolla, Manuel Roldán: Tracing Properties of UML and OCL Models with Maude AMMSE 2011: 81-97 |
| 145 | | Martin Gogolla, Antonio Vallecillo: Tractable Model Transformation Testing. ECMFA 2011: 221-235 |
| 144 | | Jens Brüning, Martin Gogolla: UML Metamodel-based Workflow Modeling and Execution. EDOC 2011: 97-106 |
| 143 | | Fabian Büttner, Martin Gogolla: Modular Embedding of the Object Constraint Language into a Programming Language. SBMF 2011: 124-139 |
| 142 | | Mirco Kuhlmann, Lars Hamann, Martin Gogolla: Extensive Validation of OCL Models by Integrating SAT Solving into USE. TOOLS (49) 2011: 290-306 |
| 141 | | Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang: Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. ECEASST 41: (2011) |
| 140 | | Lars Hamann, Martin Gogolla, Mirco Kuhlmann: OCL-based Runtime Monitoring of JVM hosted Applications. ECEASST 44: (2011) |
| 139 | | Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff: Preface (OCL 2011 Proceedings). ECEASST 44: (2011) |
| 138 | | Laurence Tratt, Martin Gogolla: ICMT 2010 Special Section. Journal of Object Technology 10: (2011) |
| 2010 | ||
| 137 | | Laurence Tratt, Martin Gogolla: Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings Springer 2010 |
| 136 | | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla: On Scenario Synchronization. ATVA 2010: 97-111 |
| 135 | | Jens Brüning, Martin Gogolla, Peter Forbrig: Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR 2010: 130-145 |
| 134 | | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler: Verifying UML/OCL models using Boolean satisfiability. DATE 2010: 1341-1344 |
| 133 | | Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla: Tenth International Workshop on OCL and Textual Modelling. MoDELS Workshops 2010: 329-333 |
| 132 | | Lars Hamann, Martin Gogolla, Mirco Kuhlmann: Zur Validierung von Kompositionsstrukturen in UML mit USE. Modellierung 2010: 169-177 |
| 131 | | Martin Gogolla, Lars Hamann, Mirco Kuhlmann: Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. TAP 2010: 38-54 |
| 130 | | Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). ECEASST 36: (2010) |
| 129 | | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla: Checking the Conformance between Models Based on Scenario Synchronization. J. UCS 16(17): 2293-2312 (2010) |
| 2009 | ||
| 128 | | Robert B. France, Martin Gogolla: Educators' Symposium at MODELS 2009. MoDELS 2009: 753-754 |
| 127 | | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp: Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. MoDELS Workshops 2009: 256-260 |
| 126 | | Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow: On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. MoDELS Workshops 2009: 276-290 |
| 125 | | Robert B. France, Martin Gogolla: Essentials of the 5th Educators' Symposium at MODELS 2009. MoDELS Workshops 2009: 36-39 |
| 124 | | Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró: Teaching Modeling: Why, When, What? MoDELS Workshops 2009: 55-62 |
| 123 | | Duc-Hanh Dang, Martin Gogolla: Precise Model-Driven Transformations Based on Graphs and Metamodels. SEFM 2009: 307-316 |
| 122 | | Martin Gogolla, Mirco Kuhlmann, Lars Hamann: Consistency, Independence and Consequences in UML and OCL Models. TAP 2009: 90-104 |
| 121 | | Martin Gogolla: Object Constraint Language. Encyclopedia of Database Systems 2009: 1927-1929 |
| 120 | | Martin Gogolla: Unified Modeling Language. Encyclopedia of Database Systems 2009: 3232-3239 |
| 119 | | Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp: Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. ECEASST 24: (2009) |
| 118 | | Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann: Towards an integrated graph-based semantics for UML. Software and System Modeling 8(3): 403-422 (2009) |
| 2008 | ||
| 117 | | Martin Gogolla, Mirco Kuhlmann, Fabian Büttner: A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS 2008: 446-459 |
| 116 | | Duc-Hanh Dang, Martin Gogolla: On Integrating OCL and Triple Graph Grammars. MoDELS Workshops 2008: 124-137 |
| 115 | | Jordi Cabot, Martin Gogolla, Pieter Van Gorp: Eighth International Workshop on OCL Concepts and Tools. MoDELS Workshops 2008: 257-262 |
| 114 | | Jordi Cabot, Martin Gogolla, Pieter Van Gorp: Preface to the Proceedings of the 2008 OCL Workshop. ECEASST 15: (2008) |
| 113 | | Mirco Kuhlmann, Martin Gogolla: Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. ECEASST 9: (2008) |
| 112 | | David H. Akehurst, Martin Gogolla, Steffen Zschaler: Preface. ECEASST 9: (2008) |
| 111 | | Mirco Kuhlmann, Martin Gogolla: Modeling and validating Mondex scenarios described in UML and OCL with USE. Formal Asp. Comput. 20(1): 79-100 (2008) |
| 110 | | Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla: Analyzing and Managing Role-Based Access Control Policies. IEEE Trans. Knowl. Data Eng. 20(7): 924-939 (2008) |
| 2007 | ||
| 109 | | Martin Gogolla, Fabian Büttner, Duc-Hanh Dang: From Graph Transformation to OCL Using USE. AGTIVE 2007: 585-586 |
| 108 | | David H. Akehurst, Martin Gogolla, Steffen Zschaler: 7th International Workshop on Ocl4All: Modelling Systems with OCL. MoDELS Workshops 2007: 176-181 |
| 107 | | Martin Gogolla, Fabian Büttner, Mark Richters: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1-3): 27-34 (2007) |
| 2006 | ||
| 106 | | Fabian Büttner, Martin Gogolla: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ICGT 2006: 398-413 |
| 105 | | Martin Gogolla: Model Development in the UML-based Specification Environment (USE). MMOSS 2006 |
| 104 | | Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow: Model Transformations? Transformation Models! MoDELS 2006: 440-453 |
| 103 | | Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer: OCL for (Meta-)Models in Multiple Application Domains. MoDELS Workshops 2006: 152-158 |
| 102 | | László Vidács, Martin Gogolla, Rudolf Ferenc: From C++ Refactorings to Graph Transformations. ECEASST 3: (2006) |
| 101 | | Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer: Preface. ECEASST 5: (2006) |
| 100 | | Karsten Hölscher, Paul Ziemann, Martin Gogolla: On translating UML models into graph transformation systems. J. Vis. Lang. Comput. 17(1): 78-105 (2006) |
| 2005 | ||
| 99 | | Fabian Büttner, Hanna Bauerdick, Martin Gogolla: Towards Transformation of Integrity Constraints and Database States. DEXA Workshops 2005: 823-828 |
| 98 | | Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge: Specification and Validation of Authorisation Constraints Using UML and OCL. ESORICS 2005: 64-79 |
| 97 | | Martin Gogolla: Exploring ER and RE syntax and semantics with metamodel object diagrams. Metainformatics 2005: 61-72 |
| 96 | | Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS Satellite Events 2005: 1-9 |
| 95 | | Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens: Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005). MoDELS Satellite Events 2005: 151-158 |
| 94 | | Martin Gogolla: Tales of ER and RE Syntax and Semantics. Transformation Techniques in Software Engineering 2005 |
| 93 | | Paul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 127(4): 17-33 (2005) |
| 92 | | Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. Electr. Notes Theor. Comput. Sci. 130: 263-280 (2005) |
| 91 | | Martin Gogolla, Jörn Bohling, Mark Richters: Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling 4(4): 386-398 (2005) |
| 2004 | ||
| 90 | | Martin Gogolla: Benefits and Problems of Formal Methods. Ada-Europe 2004: 1-15 |
| 89 | | Arne Lindow, Martin Gogolla: Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke. DeLFI 2004: 393-394 |
| 88 | | Martin Gogolla: An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. Language Engineering for Model-Driven Software Development 2004 |
| 87 | | Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann: Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. Modellierung 2004: 281-282 |
| 86 | | Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla: Digging into the Visitor Pattern. SEKE 2004: 135-141 |
| 85 | | Hanna Bauerdick, Martin Gogolla, Fabian Gutsche: Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. UML 2004: 188-196 |
| 84 | | Martin Gogolla, Paul Sammut, Jon Whittle: Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). UML Satellite Activities 2004: 43-51 |
| 83 | | Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75 |
| 82 | | Fabian Büttner, Martin Gogolla: Realizing UML Metamodel Transformations with AGG. Electr. Notes Theor. Comput. Sci. 109: 31-42 (2004) |
| 2003 | ||
| 81 | | Paul Ziemann, Martin Gogolla: OCL Extended with Temporal Logic. Ershov Memorial Conference 2003: 351-357 |
| 80 | | Martin Gogolla, Jörn Bohling, Mark Richters: Validation of UML and OCL Models by Automatic Snapshot Generation. UML 2003: 265-279 |
| 79 | | Martin Gogolla, Arne Lindow: Transforming Data Models with UML. Knowledge Transformation for the Semantic Web 2003: 18-33 |
| 78 | | Martin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML. Electr. Notes Theor. Comput. Sci. 72(3): 160-175 (2003) |
| 77 | | Paul Ziemann, Martin Gogolla: Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. Electr. Notes Theor. Comput. Sci. 80: 157-169 (2003) |
| 2002 | ||
| 76 | | Ralf Kollmann, Martin Gogolla: Metric-Based Selective Representation of UML Diagrams. CSMR 2002: 89-98 |
| 75 | | Martin Gogolla, Mark Richters: Development of UML Descriptions with USE. EurAsia-ICT 2002: 228-238 |
| 74 | | Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. IFM 2002: 11-28 |
| 73 | | Mark Richters, Martin Gogolla: OCL: Syntax, Semantics, and Tools. Object Modeling with the OCL 2002: 42-68 |
| 72 | | Martin Gogolla, Mark Richters: Expressing UML Class Diagrams Properties with OCL. Object Modeling with the OCL 2002: 85-114 |
| 71 | | Martin Gogolla, Brian Henderson-Sellers: Analysis of UML Stereotypes within the UML Metamodel. UML 2002: 84-99 |
| 70 | | Martin Gogolla: Editorial for the Speccial Issue UML 2001 Conference. Software and System Modeling 1(2): 83-85 (2002) |
| 2001 | ||
| 69 | | Martin Gogolla, Cris Kobryn: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings Springer 2001 |
| 68 | | Ralf Kollmann, Martin Gogolla: Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. CSMR 2001: 58-67 |
| 67 | | Arne Lindow, Martin Gogolla, Mark Richters: Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. GI Jahrestagung (1) 2001: 662-676 |
| 66 | | Ralf Kollmann, Martin Gogolla: Application of UML Associations and Their Adornments in Design Recovery. WCRE 2001: 81- |
| 65 | | Franck Barbier, Brian Henderson-Sellers, Andreas L. Opdahl, Martin Gogolla: The Whole-Part Relationship in the Unified Modeling Language: A New Approach. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 185-209 |
| 2000 | ||
| 64 | | Oliver Radfelder, Martin Gogolla: On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation. Advanced Visual Interfaces 2000: 292-295 |
| 63 | | Martin Gogolla: Graph Transformations on the UML Metamodel. ICALP Satellite Workshops 2000: 359-372 |
| 62 | | Mark Richters, Martin Gogolla: Validating UML Models and OCL Constraints. UML 2000: 265-277 |
| 61 | | Martin Gogolla: Identifying Objects by Declarative Queries. Advances in Object-Oriented Data Modeling 2000: 255-277 |
| 1999 | ||
| 60 | | Martin Gogolla, Mark Richters, Oliver Radfelder: What Is the Current State of UML Semantics? What Are the Reference Documents. ECOOP Workshops 1999: 40-41 |
| 59 | | Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder: Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach). ECOOP Workshops 1999: 45-49 |
| 58 | | Mark Richters, Martin Gogolla: A Metamodel for OCL. UML 1999: 156-171 |
| 57 | | Martin Gogolla, Oliver Radfelder, Mark Richters: Towards Three-Dimensional Animation of UML Diagrams. UML 1999: 489-502 |
| 1998 | ||
| 56 | | Martin Gogolla, Anne Kathrin Huge, Bodo Randt: Stepwise Re-Enginieering and Development of Object-Oriented Database Schemata. DEXA Workshop 1998: 943-948 |
| 55 | | Mark Richters, Martin Gogolla: On Formalizing the UML Object Constraint Language OCL. ER 1998: 449-464 |
| 54 | | Martin Gogolla, Mark Richters: Transformation Rules for UML Class Diagrams. UML 1998: 92-106 |
| 1997 | ||
| 53 | | Mark Richters, Martin Gogolla: A Web-based Animator for Validating Object Specifications. IDEAS 1997: 211-219 |
| 52 | | Mark Richters, Martin Gogolla: A Web-based Animator for Object Specifications in a Persistent Environment. TAPSOFT 1997: 867-870 |
| 51 | | Martin Gogolla, Mark Richters: On Constraints and Queries in UML. UML Workshop 1997: 109-121 |
| 50 | | Martin Gogolla, Mark Richters: On combining semiformal and formal object specification techniques. WADT 1997: 238-252 |
| 1996 | ||
| 49 | | Heino Gärtner, Martin Gogolla: Lassy - A System for Analyzing Grammatical Dependencies in Latin. DEXA Workshop 1996: 275-284 |
| 48 | | Martin Gogolla: Parameterizing Object Specifications. DISCO 1996: 126-137 |
| 47 | | Bernd Meyer, Gerd Westerman, Martin Gogolla: Drafting ER and OO Schemas in Prototype Environments. Data Knowl. Eng. 19(3): 201-240 (1996) |
| 46 | | Annika Wagner, Martin Gogolla: Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundam. Inform. 26(3/4): 407-431 (1996) |
| 1995 | ||
| 45 | | Martin Gogolla, Rudolf Herzig: An Algebraic Development Technique for Information Systems. AMAST 1995: 446-460 |
| 44 | | Martin Gogolla: Towards Schema Queries for Semantic Data Models. DEXA Workshop 1995: 274-283 |
| 43 | | Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog: Korso Reference Languages - Concepts and Application Domains. KORSO Book 1995: 150-172 |
| 42 | | Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig: TROLL light - The Language and its Development Environment. KORSO Book 1995: 205-222 |
| 41 | | Martin Gogolla: A Declarative Query Approach to Object Identification. OOER 1995: 65-76 |
| 40 | | Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995) |
| 39 | | Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508 (1995) |
| 1994 | ||
| 38 | | Martin Gogolla: An Extended Entity-Relationship Model - Fundamentals and Pragmatics Springer 1994 |
| 37 | | Martin Gogolla, Rudolf Herzig: An Algebraic Semantics for the Object Specification Language TROLL light. COMPASS/ADT 1994: 290-396 |
| 36 | | Martin Gogolla, Maura Cerioli: What is an Abstract Data Type, after all? COMPASS/ADT 1994: 499-523 |
| 35 | | Rudolf Herzig, Martin Gogolla: An Animator for the Object Specification Language TROLL light. COODBSE 1994: 156-170 |
| 34 | | Rudolf Herzig, Martin Gogolla: A SQL-like Query Calculus for Object-Oriented Database Systems. ISOOMS 1994: 20-39 |
| 33 | | Stefan Conrad, Martin Gogolla, Rudolf Herzig: Safe Derivations in Object Hierarchies. OOIS 1994: 306-319 |
| 32 | | Martin Gogolla: Fundamentals and Pragmatics of an Entity-Relationship Approach. GI Datenbank Rundbrief 13: 86 (1994) |
| 1993 | ||
| 31 | | Martin Gogolla, Ingo Claßen: An Object-Oriented Design for the ACT ONE Environment. AMAST 1993: 359-366 |
| 30 | | Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach CAiSE 1993: 463-482 |
| 29 | | Martin Gogolla, Stefan Conrad, Rudolf Herzig: Sketching Concepts and Computational Model of TROLL light. DISCO 1993: 17-32 |
| 28 | | Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389 |
| 27 | | Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung 1993: 464-469 |
| 1992 | ||
| 26 | | Grit Denker, Martin Gogolla: Translating TROLL light Concepts to Maude. COMPASS/ADT 1992: 173-187 |
| 25 | | Rudolf Herzig, Martin Gogolla: Transforming Conceptual Data Models into an Object Model. ER 1992: 280-298 |
| 24 | | Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, Hans-Dieter Ehrich: Conceptual modelling of database applications using extended ER model. Data Knowl. Eng. 9: 157-204 (1992) |
| 23 | | Stefan Conrad, Martin Gogolla: An Annotated Bibliography on Object-Orientation and Deduction. SIGMOD Record 21(1): 123-132 (1992) |
| 1991 | ||
| 22 | | Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas: Objects and their Specification. COMPASS/ADT 1991: 40-65 |
| 21 | | Martin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585 |
| 20 | | Martin Gogolla, Uwe Hohenstein: Towards a Semantic View of an Extended Entity-Relationship Model. ACM Trans. Database Syst. 16(3): 369-416 (1991) |
| 1990 | ||
| 19 | | Martin Gogolla, Ulrich Karge: Zur formalen Semantik von SQL. Grundlagen von Datenbanken 1990: 27-29 |
| 18 | | Martin Gogolla: A note on the translation of SQL tuple calculus. Bulletin of the EATCS 40: 231-235 (1990) |
| 17 | | Martin Gogolla: A Note on the Translation of SQL to Tuple Calculus. SIGMOD Record 19(1): 18-22 (1990) |
| 1989 | ||
| 16 | | Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck: Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie. Teubner 1989: I-IX, 1-263 |
| 15 | | Martin Gogolla: Zur Übersetzung eines ER-Kalküls nach PROLOG. Grundlagen von Datenbanken 1989 |
| 14 | | Martin Gogolla: Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. TAPSOFT, Vol.1 1989: 259-274 |
| 1988 | ||
| 13 | | Uwe Hohenstein, Martin Gogolla: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. ER 1988: 129-148 |
| 1987 | ||
| 12 | | Martin Gogolla: On Parametric Algebraic Specifications with Clean Error Handling. TAPSOFT, Vol.1 1987: 81-95 |
| 1986 | ||
| 11 | | Martin Gogolla: Exception Handling and Subsorts. ADT 1986 |
| 10 | | Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla: Towards an Algebraic Semantics for Database Specification. DS-2 1986: 119-135 |
| 1985 | ||
| 9 | | Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS 1985: 145-157 |
| 1984 | ||
| 8 | | Martin Gogolla: A Final Algebra Semantics for Errors and Exceptions. ADT 1984: 89-103 |
| 7 | | Martin Gogolla: Partially Ordered Sorts in Algebraic Specifications. CAAP 1984: 139-154 |
| 6 | | Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 |
| 5 | | Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theor. Comput. Sci. 34: 289-313 (1984) |
| 1983 | ||
| 4 | | Martin Gogolla: Algebraic Specification of Subsorts. ADT 1983 |
| 3 | | Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich: Algebraic and operational semantics of exceptions and errors. Theoretical Computer Science 1983: 141-151 |
| 2 | | Martin Gogolla, Hans-Dieter Ehrich: Algebraic Specification with subsorts using declarations. Bulletin of the EATCS 21: 31-38 (1983) |
| 1982 | ||
| 1 | | Gregor Engels, Martin Gogolla: Error Handling in Algebraic Specifications. ADT 1982 |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page