Home › Biblio

Biblio

Export 39 results:
Sort by: [ Author (Desc)] Keyword Title Type Year
Filters: First Letter Of Last Name is G  [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   [Show ALL]
G
Güntzer, U., W. - T. Balke, and W. Kießling, "Towards Efficient Multi-Feature Queries in Heterogeneous Environments", IEEE International Conference on Information Technology: Coding and Computing (ITCC 2001), Las Vegas, NV, USA, 2001. Abstract  Download: itcc01.pdf (92.73 KB)
Güntzer, U., W. - T. Balke, and W. Kießling, "Optimizing Multi-Feature Queries for Image Databases", 26th International Conference on Very Large Databases (VLDB 2000), Cairo, Egypt, 2000. Abstract  Download: vldb00.pdf (190.85 KB)
Güntzer, U., and W. - T. Balke, "Consistently Adding Amalgamations to Preference Orders", 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007. Abstract  Download: mpref07.pdf (154.24 KB)
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Grau, A., "An Animation System for Validating Object-Oriented Conceptual Models", 4th Doctoral Consortium on Advanced Information Systems Engineerin1 (CAISE'97), Barcelona, June 16-17 1997: Fachberichte Informatik 14/97, Univ. Koblenz-Landau, 1997. Abstract
Grau, A., and M. Kowsari, "A Validation System for Object-Oriented Specifications of Information Systems", Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997. Abstract
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 KB)
Grau, A., M. Kowsari, and H. - D. Ehrich, "A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)", 9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997. Abstract
Grau, A., "Analysing Object Specifications for Execution", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 32-36, 1998. Abstract
Grau, A., "Validating Object-Oriented Specifications through Animation", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 26-30, 1997. Abstract
Gomez Llana, A., J. A. Carsi, A. Boronat, I. Ramos, C. Täubner, and S. Eckstein, "Biological Data Migration using a Model-Driven Approach", ATEM 2007 - 4th International Workshop on (Software) Language Engineering, 2007. Abstract
Goltz, U., M. Magnor, H. - J. Appelrath, H. Matthies, W. - T. Balke, and L. Wolf, "INFORMATIK 2012", Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract  Download: 1995TrollLight.pdf (971.69 KB)
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
Gogolla, M., Grundlagen von Entity-Relationship-Modellen, , no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994. Abstract
Gogolla, M., Algebraic Specifications with Partially Ordered Sorts and Declarations, , no. 169: Abt1 Informatik, Universität Dortmund, 1983. Abstract
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
Gogolla, M., S. Conrad, and R. Herzig, "Sketching Concepts and Computational Model of TROLL \em light", Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993. Abstract
Gogolla, M., and U. Hohenstein, "Towards a Semantic View of an Extended Entity-Relationship Model", ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991. Abstract
Gogolla, M., Datalog - Eine deduktive Datenbanksprache, , no. 25: Technische Universität Braunschweig, 1990. Abstract
Gogolla, M., Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen, : Technische Universität Braunschweig, 1986. Abstract
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
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  Download: 1984TCS-ExcErr.pdf (728.49 KB)
Gogolla, M., An Extended Entity Relationship Model. Fundamentals and Pragmatics, : Springer, Berlin, LNCS 767, 1994. Abstract
Gogolla, M., Some Examples for TROL1 \it light\/ Templates, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993. Abstract
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
Gogolla, M., "A Note on the Translation of SQL to Tuple Calculus", ACM SIGMOD RECORD, vol. 19, no. 1, pp. 18-22, 1990. Abstract
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
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
Gogolla, M., Partially Ordered Sorts in Algebraic Specifications, , 1984. Abstract
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
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  Download: 1983ExceptErrors.pdf (198.63 KB)
Gogolla, M., and H. - D. Ehrich, "Algebraic Specifications with Subsorts Using Declarations", EATCS Bulletin, vol. 21, pp. 31-38, 1983. Abstract  Download: 1983EATCSBull.pdf (93.61 KB)
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
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