.gif)
] Filters: First Letter Of Last Name is L [Clear All Filters]
"Continuous GQM: An automated measurement framework for the GQM paradigm",
Fachbereich Informatik, Kaiserslautern, Germany, University Kaiserslautern, 08/2005.
Abstract
Download: metrikon05-cGQM.pdf (1.33 MB)
Cooperative Trade-Off Enhanced Skyline Queries,
: Carl-Friedrich-Gauß-Faculty, TU Braunschweig, 2011.
Abstract
Download: Dr_Lofi.pdf (735.21 KB)
Algebraische Spezifikation abstrakter Datentypen,
: Teubner, Stuttgart, 1989.
Abstract
Specification of abstract data types,
: J. Wiley & Sons and B.G.Teubner Publishers, 1996.
Abstract
"Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors",
Theoretical Computer Science, vol. 34, 1984.
Abstract
Download: 1984TCS-ExcErr.pdf (728.49 KB)
"Algebraic domain equations",
Theoretical Computer Science, vol. 27, pp. 167-196, 1983.
Abstract
Download: 1983TCS-ADE.pdf (951.11 KB)
"Analogy Queries in Information Systems – A New Challenge",
Journal of Information & Knowledge Management (JIKM), vol. 12, no. 3, 09/2013.
Download: 13JIKM.pdf (729.8 KB)
"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)
"Consistency Check Algorithms for Multi-Dimensional Preference Trade-Offs",
International Journal of Computer Science & Applications (IJCSA), vol. 5, no. 3b, pp. 165 - 185, 2008.
Abstract
Download: Fulltext-PDF (888.54 KB)
"Crowdsourcing for Query Processing on Web Data: A Case Study on the Skyline Operator",
Journal of Computing and Information Technology (CIT), vol. 23, no. 1, 03/2015.
Abstract
Download: CIT_23(1)_camera-ready.pdf (571.16 KB)
"Crowdsourcing Twitter annotations to identify first-hand experiences of prescription drug use",
Journal of Biomedical Informatics, vol. 58, pp. 280–287, 2015.
Abstract
Download: 2016JBI.pdf (658.42 KB)
"Efficient Skyline Refinement using Trade-Offs Respecting Don't Care Attributes",
International Journal of Computer Science & Applications (IJCSA), vol. 6, no. 5, 10/2009.
Abstract
Download: Fulltext PDF (831.91 KB)
"Equivalence Heuristics for Malleability-Aware Skylines",
Journal of Computing Science and Engineering (JCSE), vol. 6, no. 3, 09/2012.
Abstract
Download: JCSE-2012-0037.pdf (1.97 MB)
"A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications",
Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982.
Abstract
"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
"Incremental Trade-Off Management for Preference Based Queries",
International Journal of Computer Science & Applications (IJCSA), vol. 4, no. 2, 06/2007.
Abstract
Download: Fulltext-PDF (572.96 KB)
"Information Extraction Meets Crowdsourcing: A Promising Couple",
Datenbank-Spektrum, vol. 12, no. 2: Springer, 05/2012.
Abstract
Download: Information Extraction meets Crowdsourcing.pdf (837.63 KB)
"Interactive Skyline Queries",
Information Sciences, vol. 211: Elsevier, pp. 18-35, 11/2012.
Abstract
Download: Information Sciences - final.pdf (586.68 KB)
"Large Scale Cooperation Scenarios – Crowdsourcing and its Societal Implication",
Transactions on Internet Research (TIR), vol. 12, no. 1, 01/2016.
Abstract
Download: 15TIR-Crowdsourcing.pdf (1.06 MB)
"Measuring Semantic Similarity and Relatedness with Distributional and Knowledge-based Approaches",
Database Society of Japan (DBSJ) Journal, vol. 14, no. 1, pp. 1-9, 03/2016.
Abstract
Download: DBSJ01.pdf (574.61 KB)
"Methodologie-Methodik-Methode: Was steckt dahinter?",
Datenbankrundbrief, Ausgab1 10, November, pp. 49-50, 1992.
Abstract
"Monitoring Dynamic Integrity Constraints Based on Temporal Logic",
Information Systems, vol. 12, pp. 255-269, 1987.
Abstract
"Special Issue QSIC 2003",
Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004.
Abstract
Download: 2004EditorialSpecIssueIST.pdf (243.64 KB)
"Transformation of Dynamic Integrity Constraints into Transaction Specifications",
Theoretical Computer Science, vol. 76, pp. 115-142, 1990.
Abstract
"Unifying modal interface theories and compositional input/output conformance testing",
Science of Computer Programming, vol. 172, 2019.
Abstract
"Basic Units for the Database Design Process",
Proc1 of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz'', Ulm (Germany): Springer, Berlin, Informatik Fachberichte, IFB 303, pp. 56-67, 1992.
Abstract
"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
"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
"Ein EER-basiertes Datenbankschema für Ökosysteme",
Proc1 Workshop Umweltdatenbanken, Veröffentlichungsreihe Praxis der Umwelt-Informatik: METROPOLIS-Verlag, pp. 59-86, 1994.
Abstract
"Enhancing the Quality of Conceptual Database Specifications through Validation",
Proc1 12th Intern1 Conf1 on Entity-Relationship Approach, pp. 87-99, 1993.
Abstract
"Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen",
Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988.
Abstract
"Formal Specification of Catalysis Frameworks",
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000.
Abstract
"Foundations of Temporal Integrity Monitoring",
Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988.
Abstract