Home › Biblio

Biblio

Export 719 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 
K
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
L
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
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)
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)
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
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
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract
Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract
Lofi, C., and C. Nieke, "Exploiting Perceptual Similarity: Privacy-Preserving Cooperative Query Personalization", 15th International Conference on Web Information System Engineering (WISE), Thessaloniki, Greece, 10/2014. Abstract  Download: WISE 2014 Full Text (833.33 KB)
Lofi, C., Cooperative Trade-Off Enhanced Skyline Queries, : Carl-Friedrich-Gauß-Faculty, TU Braunschweig, 2011. Abstract  Download: Dr_Lofi.pdf (735.21 KB)
Lofi, C., U. Güntzer, and W. - T. Balke, "Efficient Computation of Trade-Off Skylines", 13th International Conference on Extending Database Technology (EDBT), Lausanne, Switzerland, 03/2010. Abstract  Download: Fulltext.pdf (1.08 MB)
Lofi, C., and C. Nieke, "Modeling Analogies for Human-Centered Information Systems", 5th Int. Conf. On Social Informatics (SocInfo), Kyoto, Japan, 11/13, 2013. Abstract  Download: 13SocInfo_03.pdf (683.65 KB)
Lofi, C., "Choosing the Right Thing: Cooperative Trade-Off Enhanced Skyline Queries", PhD Workshop at the International Conference On Data Engineering (ICDE), Hannover, Germany, 04/2011. Abstract  Download: 11ICDE_02.pdf (366.51 KB)
Lofi, C., A. Ahamed, P. Kulkarni, and R. Thakkar, "Benchmarking Semantic Capabilities of Analogy Querying Algorithms", 21th International Conference on Database Systems for Advanced Applications (DASFAA), Dallas, TX, Usa, 04/2016. Abstract  Download: 16_DASFAA_04_finalVersion.pdf (714.43 KB)
Lofi, C., and W. Siberski, "Service Oriented Architectures for Open E-Learning Systems: An Overview of the Prolix Project", eTeaching & eScience, Hannover, Germany, 10/2007. Abstract
Lofi, C., C. Nieke, and W. - T. Balke, "Mobile Product Browsing using Bayesian Retrieval", 12th IEEE Conference on Commerce and Enterprise Computing (CEC), Shanghai, China, 11/2010. Abstract  Download: Fulltext (726.29 KB)
Lofi, C., "Just ask a human? – Controlling Quality in Relational Similarity and Analogy Processing using the Crowd", Crowd-enabled Data and Information Management (CDIM) Workshop at Database Systems for Business Technology and Web (BTW), Magdeburg, Germany, 2013. Abstract  Download: 13CDIM_Final.pdf (611.43 KB); Data (72.13 KB)
Lofi, C., and W. - T. Balke, "Preference Trade-Offs – Towards manageable Skylines", 22. GI-Workshop Grundlagen von Datenbanken (GvD), Bad Helmstedt, Germany, 05/2010. Abstract  Download: fulltext.pdf (642.42 KB)
Lofi, C., C. Nieke, and N. Collier, "Discriminating Rhetorical Analogies in Social Media", 14th Conference of the European Chapter of the Association for Computational Linguistics (EACL), Gothenburg, Sweden, 04/2014. Abstract  Download: 14EACL_05_final.pdf (761.24 KB); crowd_sourcing_results_full.csv (2.09 MB); goldset_snippets.csv (1.92 MB)
Lofi, C., and R. Krestel, "iParticipate: Automatic Tweet Generation from Local Government Data", 17th International Conference on Database Systems for Advanced Applications (DASFAA) - Demo Track, Busan, South Korea, 04/2012. Abstract  Download: dasfaa12_iparticipate (211.5 KB)
Lofi, C., "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)
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries over Incomplete Data - Error Models for Focused Crowd-Sourcing", 32th Int. Conf. on Conceptual Modeling (ER), Hong Kong, China, 11/2013. Abstract  Download: paper_118.pdf (977.04 KB)