Biblio

List
Filter

Export 719 results:

Sort by: [ Author

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

Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "Incremental model checking of delta-oriented software product lines", Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 1: Elsevier, 01/2016. Abstract

Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "DeltaCCS: A Core Calculus for Behavioral Change", Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014. Abstract

Lipeck, U. W., and G. Saake, "Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen", Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988. Abstract

Lipeck, U. W., and G. Saake, "Monitoring Dynamic Integrity Constraints Based on Temporal Logic", Information Systems, vol. 12, pp. 255-269, 1987. Abstract

Lipeck, U. W., and K. Neumann, "Modelling and Manipulating Objects in Geoscientific Databases", Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987. Abstract

Lipeck, U. W., "Stepwise Specification of Dynamic Database Behaviour", Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986. Abstract

Lipeck, U. W., S. Braß, and G. Saake, Kurzfassungen des 21 Workshops ``Grundlagen von Datenbanken'', Volkse, 5.-8. Juni 1990, , no. 90-02: TU Braunschweig, 1990. 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)

Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988. Abstract

Lipeck, U. W., and D. S. Feng, "Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints", Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989. Abstract

Lipeck, U. W., G. Saake, and H. - D. Ehrich, Monitoring Dynamic Database Integrity by Transition Graphs, , no. 86-08: Technische Universität Braunschweig, 1986. Abstract

Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Theoretical Computer Science, vol. 76, pp. 115-142, 1990. Abstract

Lipeck, U. W., Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung, : Springer, 1989. Abstract

Lin, H., and H. - D. Ehrich(eds), Proceedings QSIC 2003, , Dallas, IEEE CS Press, 2003. Abstract

Lin, H., H. - D. Ehrich, and T. H. Tse(eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract

Download: 2004EditorialSpecIssueIST.pdf (243.64 KB)

Lee, J., G. -won You, S. -won Hwang, J. Selke, and W. - T. Balke, "Interactive Skyline Queries", Information Sciences, vol. 211: Elsevier, pp. 18-35, 11/2012. Abstract

Download: Information Sciences - final.pdf (586.68 KB)

Lee, J., G. -won You, S. -won Hwang, J. Selke, and W. - T. Balke, "Optimal Preference Elicitation for Skyline Queries over Categorical Domains", 19th International Conference on Database and Expert Systems Applications (DEXA), Turin, Italy, 07/2008. Abstract

Download: DEXA08-camera-ready.pdf (538.87 KB)

Lausen, G., and G. Saake, "A Possible World Semantics for Updates by Versioning", Proc1 4th International Workshop: Modelling Database Dynamics, Volkse 1992: Workshops in Computing, Springer, Berlin, pp. 36-47, 1993. Abstract

Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999. Abstract

Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000. Abstract

Küster Filipe, J., Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition, , no. 97-05: Technical University Braunschweig, 1997. Abstract

Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic", Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999. Abstract

Küster Filipe, J., "Fundamentals of a Module Logic for Distributed Object Systems", Journal of Functional and Logic Programming, vol. 2000, no. 3: The MIT Press, March, 2000. Abstract

Küster Filipe, J., A Categorical Hiding Mechanism for Concurrent Object Systems, , no. 97-06: Technical University Braunschweig, 1997. Abstract

Küster Filipe, J., On a Distributed Temporal Logic for Modular Object Systems, , no. 98-06: Technical University Braunschweig, 1998. Abstract

Küster Filipe, J., Foundations of a Module Concept for Distributed Object Systems, : PhD Thesis, Technical University Braunschweig, September, 2000. Abstract

Küster Filipe, J., "Modelling Parameterisation in Concurrent Object Systems", Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997. Abstract

Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills, "Formal Specification of Catalysis Frameworks", Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000. Abstract

Küster Filipe, J., "Using a Modular Distributed Temporal Logic for In-the-large Object Specification", Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, pp. 43-57, 1998. Abstract

Küspert, K., G. Saake, and L. Wegner, Duplicate Detection and Deletion in the Extended NF$^2$ Data Model, , no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988. Abstract

Küspert, K., G. Saake, and L. Wegner, "Duplicate Detection and Deletion in the Extended NF$^2$ Data Model", Proc1 3rd Int1 Conf1 on Foundations of Data Organization and Algorithms (FOD1 '89), Paris: LNCS 367, Springer, pp. 83-100, 1989. Abstract

Kusch, J., "Ein Ansatz zur Operationalisierung deskriptiver Anfragen durch Anfrageobjekte", Kurzfassungen des 61 GI-Workshops ``Grundlagen von Datenbanken'', Bad Helmstedt, 19.-221 September 1994: Otto-von-Guericke-Universität Magdeburg, Institut für Technische Informationssysteme, Bericht 94-01, pp. 92-96, 1994. Abstract

Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment", Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995. Abstract

Kusch, J., P. Hartel, T. Hartmann, and G. Saake, Integration einer Prototyping-Umgebung durch Objektorientierte Spezifikation, , no. 5: Univ1 Magdeburg, Fakultät für Informatik, 1995. Abstract

Kupfer, A., S. Eckstein, B. Störmann, K. Neumann, and B. Mathiak, "Methods for a Synchronised Evolution of Databases and Associated Ontologies", Frontiers in Artificial Intelligence and Applications, vol. 155: IOS Press, pp. 89-102, 2007. Abstract

Links

Biblio