Home › Biblio

Biblio

Export 710 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
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 
E
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract  Download: 2003JUCS.pdf (167.55 KB)
Ehrich, H. - D., G. Denker, and A. Sernadas, "Constructing Systems as Object Communities", Proc Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993. Abstract  Download: 1993TAPSOFT.pdf (320.97 KB)
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract  Download: 1996Beijing.pdf (283.86 KB)
Ehrich, H. - D., "On the Theory of Specification, Implementation and Parameterization of Abstract Data Types", Journal of the ACM, vol. 29, pp. 206-227, 1982. Abstract  Download: 1982JACM.pdf (449.29 KB)
Ehrich, H. - D., "Algebraische Spezifikation von Datenstrukturen", Datenstrukturen, Graphen, Algorithmen.: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978. Abstract  Download: 1978Graphen3.pdf (419.04 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995. Abstract  Download: 1995LocSpecDistr.pdf (350.23 KB)
Einer, S., and A. Grau, "Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems", Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001. Abstract
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  Download: 1992DKE.pdf (883.85 KB)
Engels, G., U. Pletat, and H. - D. Ehrich, "An operational semantics for specification of abstract data types with error handling", Acta Informatica, vol. 19: Springer, pp. 235-253, 1983. Abstract  Download: 1983Acta.pdf (667.18 KB)
Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract  Download: 1988DBEntwUmg1.pdf (692.07 KB)
Engels, G., "Elementary Actions on an Extended Entity-Relationship Database", Proc1 of the 4th Intern1 Workshop on Graph Grammars and Their Application to Computer Science: LNCS Series, Springer, 1991. Abstract
Engels, G., and P. Löhr-Richter, "CADDY - A Highly Integrated Environment to Support Conceptual Database Design", Proc1 5th Int1 Workshop on CASE, July 6.-10., 1992, Montreal (Canada): IEEE Computer Society Press, pp. 19-22, 1992. Abstract
Engels, G., and A. Schürr, "A Hybrid Interpreter in a Software Development Environment", Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988. Abstract
Engels, G., "CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata", Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989. Abstract
Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc 1st Int Conf on System Development Environments and Factories: Pitman, London, 1990. Abstract  Download: 1990Caddy.pdf (896.19 KB)
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract  Download: 1988DBEntwUmg2.pdf (564.82 KB)
Engels, G., and W. Schäfer, Programmentwicklungsumgebungen, Konzepte und Realisierung, : Teubner, Stuttgart, 1989. Abstract
Engels, G., T. Janning, and W. Schäfer, "A Highly Integrated Tool Set for Program Development Support", Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988. Abstract
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
F
Feng, D. S., and U. W. Lipeck, Deterministische Überwachung temporaler Formeln, , no. 87-06: Technische Universität Braunschweig, 1987. Abstract
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake, "Proof-Theoretic Semantics of Object-Oriented Specification Constructs", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991. Abstract
Fichtel, L., J. - C. Kalo, and W. - T. Balke, "Prompt Tuning or Fine-Tuning - Investigating Relational Knowledge in Pre-Trained Language Models", 3rd International Conference on Automated Knowledge Base Construction (AKBC), Virtual, 08/2021. Abstract  Download: prompt_tuning_or_fine_tuning_i.pdf (251.89 KB)
G
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)
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.
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., 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., 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., 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., 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. 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., 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., 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
Gogolla, M., Grundlagen von Entity-Relationship-Modellen, , no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994. Abstract
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., 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