Biblio

Export 101 results:
Sort by: Author Keyword [ Title  (Desc)] 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]
Z
Herzig, R., H. Fischer, and M. Gogolla, "Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen", Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994. Abstract
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract  Download: 1993GI.pdf (401.19 KB)
V
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., "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
U
Balke, W. - T., C. Lofi, and U. Güntzer, "User Interaction Support for Incremental Refinement of Preference-Based Queries", 1st IEEE International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, 04/2007. Abstract  Download: Fulltext-PDF (643.83 KB)
Ü
T
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)
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)
Denker, G., and M. Gogolla, "Translating TROLL \em light Concepts to Maude", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, Berlin, LNCS 785, pp. 173-187, 1993. Abstract
Herzig, R., and M. Gogolla, "Transforming Conceptual Data Models into an Object Model", Proc1 11th Int1 Conf1 on the Entity-Relationship Approac1 (ER'92): Springer, Berlin, LNC1 645, pp. 280-298, 1992. Abstract
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract  Download: 1993KorSo.pdf (314.47 KB)
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)
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
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
Nieke, C., U. Güntzer, and W. - T. Balke, "TopCrowd – Efficient Crowd-enabled Top-k Retrieval on Incomplete Data", 33rd Int. Conf. on Conceptual Modeling (ER), Atlanta, GA, USA, 10/2014. Abstract  Download: 2014_ER_TopCrowd.pdf (563.87 KB)
S
Balke, W. - T., and U. Güntzer, "Supporting Skyline Queries on Categorical Data in Web Information Systems", IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2004), Kauai, HI, USA, 2004. Abstract  Download: imsa04.pdf (296.1 KB)
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
Herzig, R., and M. Gogolla, "A SQL-like Query Calculus for Object-Oriented Database Systems", Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994. Abstract
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract  Download: 1984VLDB.pdf (462.55 KB)
Gogolla, M., Some Examples for TROL1 \it light\/ Templates, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993. 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
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
R
Balke, W. - T., U. Güntzer, and W. Siberski, "Restricting Skyline Sizes using Weak Pareto Dominance", Informatik - Forschung und Entwicklung (IFE), vol. 21, no. 3: Springer, 2007.  Download: ife07.pdf (364.26 KB)
Maarry, K. E., U. Güntzer, and W. - T. Balke, "Realizing Impact Sourcing by Adaptive Gold Questions: A Socially Responsible Measure for Workers’ Trustworthiness", 16th International Conference on Web-Age Information Management (WAIM), Qingdao, Shandong, China, 06/2015. Abstract  Download: WAIM_141.pdf (922.09 KB)
Q
Zhou, X., J. Gaugaz, W. - T. Balke, and W. Nejdl, "Query Relaxation using Malleable Schemas", ACM SIGMOD International Conference on Management of Data (SIGMOD), Beijing, China, 2007. Abstract  Download: sigmod07.pdf (251.64 KB)
P
Keßler, K., A. T. Krüger, Y. Ghammad, S. Wulle, W. - T. Balke, and K. Stump, "PubPharm – der Fachinformationsdienst Pharmazie (German)", o-bib - das offene Bibliotheksjournal, vol. 3, no. 3, pp. 1-23, 10/2016.  Download: O-Bib Artikel 2016.pdf (2.98 MB)
Giesert, A. - L., W. - T. Balke, and G. Jahns, "Probabilistic Analysis of Coughs in Pigs to Diagnose Respiratory Infections", Landbauforschung - vTI Agriculture and Forestry Research, vol. 61, no. 3: German Ministry of Food, Agriculture and Consumer Protection (BMELV), 09/2011. Abstract  Download: LBF-2011-3_color.pdf (1.24 MB)
O
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. Abstract