Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 52 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
[
Title
]
Type
Year
Filters:
Author
is
Gogolla, M.
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A
Ehrich, H. - D.
,
G. Engels
,
M. Gogolla
,
G. Saake
, and
(eds)
,
"
Abstracts des Workshops "Grundlagen von Datenbanken"
",
Abstracts des Workshops "Grundlagen von Datenbanken"
: Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
K. Drosten
,
M. Gogolla
,
U. Lipeck
, and
(eds)
,
"
Abstracts of the 4th Workshop on Specification of Abstract Data Types
",
Abstracts of the 4th Workshop on Specification of Abstract Data Types
: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
K. Drosten
,
U. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and operational semantics of exceptions and errors
",
Proc. 6. GI-Fachtagung für Theoretische Informatik
: Springer LNCS 145, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983ExceptErrors.pdf
(198.63 KB)
Gogolla, M.
,
K. Drosten
,
U. W. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors
",
Theoretical Computer Science
, vol. 34, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1984TCS-ExcErr.pdf
(728.49 KB)
Gogolla, M.
,
Algebraic Specifications with Partially Ordered Sorts and Declarations
,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
, and
H. - D. Ehrich
,
"
Algebraic Specifications with Subsorts Using Declarations
",
EATCS Bulletin
, vol. 21, pp. 31-38, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983EATCSBull.pdf
(93.61 KB)
Ehrich, H. - D.
,
M. Gogolla
, and
U. W. Lipeck
,
Algebraische Spezifikation abstrakter Datentypen
,
: Teubner, Stuttgart, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
"
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach
",
Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89)
: Springer, Berlin, LNCS 351, pp. 259-274, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Herzig, R.
, and
M. Gogolla
,
"
An Animator for the Object Specification Language TROLL \em light
",
Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94)
: Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Conrad, S.
, and
M. Gogolla
,
"
An Annotated Bibliography on Object-Orientation and Deduction
",
ACM SIGMOD RECORD
, vol. 21, no. 1, pp. 123-132, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
C
Hohenstein, U.
, and
M. Gogolla
,
"
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions
",
Proc1 7th Int1 Conf1 on the Entity-Relationship Approach
: North-Holland, Amsterdam, pp. 129-148, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Herzig, R.
,
S. Conrad
, and
M. Gogolla
,
"
Compositional Description of Object Communities with TROLL \em light
",
Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94)
: C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Engels, G.
,
M. Gogolla
,
U. Hohenstein
,
K. Hülsmann
,
P. Löhr-Richter
,
G. Saake
, and
H. - D. Ehrich
,
"
Conceptual modelling of database applications using an extended ER model
",
Data & Knowledge Engineering, North-Holland
, vol. 9, no. 2, pp. 157-204, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1992DKE.pdf
(883.85 KB)
Engels, G.
,
M. Gogolla
,
U. Hohenstein
,
K. Hülsmann
,
P. Löhr-Richter
,
G. Saake
, and
H. - D. Ehrich
,
Conceptual Modelling of Database Applications Using an Extended ER Model
,
, no. 90-05: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
, and
H. - D. Ehrich
,
Contributions to: Algebraic System Specification and Development
,
, Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors: Springer, Berlin, LNCS 501, 1991.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
D
Gogolla, M.
,
Datalog - Eine deduktive Datenbanksprache
,
, no. 25: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
S. Conrad
,
G. Denker
,
R. Herzig
, and
N. Vlachantonis
,
"
A Development Environment for an Object Specification Language
",
IEEE Transactions on Knowledge and Data Engineering
, vol. 7, no. 3, pp. 505-508, June, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
B. Meyer
, and
G. D. Westermann
,
"
Drafting Extended Entity-Relationship Schemas with QUEER
",
Proc. 10th Int. Conf. on the ER-approach
, pp. 561-585, 1991.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
E
Conrad, S.
,
G. Denker
,
M. Gogolla
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
Entwicklung zuverlässiger Informationssysteme
",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2
, vol. 2, pp. 25-33, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1995EMISA.pdf
(691.75 KB)
Gogolla, M.
,
An Extended Entity Relationship Model. Fundamentals and Pragmatics
,
: Springer, Berlin, LNCS 767, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
F
Gogolla, M.
,
"
A Final Algebra Semantics for Errors and Exceptions
",
Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D)
: Springer, Berlin, IF1 116, pp. 89-103, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Karge, U.
, and
M. Gogolla
,
Formal Semantics of SQL Queries
,
, no. 90-01: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
S. Güler
, and
R. Herzig
,
"
From Object Specification to Enhanced Logic Programming
",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94)
: Bogazici University Printhouse, Istanbul, pp. 423-430, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
G
Gogolla, M.
,
Grundlagen von Entity-Relationship-Modellen
,
, no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
H
Drosten, K.
,
M. Gogolla
,
H. - D. Ehrich
, and
U. Lipeck
,
"
A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications
",
Berichte der Abteilung Informatik
, vol. 144: Universität Dortmund, 1982.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
I
Gogolla, M.
,
R. Herzig
,
S. Conrad
,
G. Denker
, and
N. Vlachantonis
,
"
Integrating the ER Approach in an OO Environment
",
Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93)
: Springer, Berlin, LNC1 823, pp. 376-389, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
K
Gogolla, M.
,
N. Vlachantonis
,
R. Herzig
,
G. Denker
,
S. Conrad
, and
H. - D. Ehrich
,
The KORSO Approach to the Development of Reliable Information Systems
,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
N
Gogolla, M.
,
"
A Note on the Translation of SQL to Tuple Calculus
",
ACM SIGMOD RECORD
, vol. 19, no. 1, pp. 18-22, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
O
Gogolla, M.
, and
I. Claßen
,
"
An Object-Oriented Design for the ACT ONE Environment
",
Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93)
: Springer, London, Workshops in Computing, pp. 361-368, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
M. Gogolla
, and
A. Sernadas
,
"
Objects and their Specification
",
Proc 8th Workshop on Abstract Data Types (ADT'91)
: Springer, Berlin, LNCS 655, pp. 40-65, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1992ObjSpec.pdf
(456.9 KB)
Gogolla, M.
,
"
On Formal Semantics of Some Semantic Data Models
",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94)
: Bogazici University Printhouse, Istanbul, pp. 33-40, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
"
On Parametric Algebraic Specifications with Clean Error Handling
",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I
: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
P
Gogolla, M.
,
Partially Ordered Sorts in Algebraic Specifications
,
, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Q
Meyer, G.
,
G. D. Westermann
, and
M. Gogolla
,
QUEER - A Prolog Based Prototype for an Extended ER Approach
,
, no. 90-03: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
S
Conrad, S.
,
M. Gogolla
, and
R. Herzig
,
"
Safe Derivations in Object Hierarchies
",
OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems
: Springer, London, pp. 306-319, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1
2
next ›
last »