Biblio

Export 677 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., 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
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, "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)
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)
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., 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., 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., "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., "Stepwise Specification of Dynamic Database Behaviour", Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986. 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., 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
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
Lofi, C., and K. E. Maarry, "Design Patterns for Hybrid Algorithmic-Crowdsourcing Workflows", 16th IEEE Conf. on Business Informatics (CBI), Geneva, Switzerland, 07/2014. Abstract  Download: CBI2014 Fulltext (753.19 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., U. Güntzer, and W. - T. Balke, "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)
Lofi, C., and P. Wille, "Exploiting Social Judgements in Big Data Analytics", In Proc. of 16th LWA Conference, Trier, Germany, 2015. Abstract  Download: 15_LWA_76.pdf (718.05 KB)
Lofi, C., and W. - T. Balke, "On Skyline Queries and how to Choose from Pareto Sets", Advanced Query Processing: Issues and Trends, vol. 1: Springer, pp. 15–36., 2012. Abstract  Download: printversion.pdf (415.01 KB)
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., W. - T. Balke, and U. Güntzer, "Efficient Skyline Refinement using Trade-Offs", 3rd IEEE International Conference on Research Challenges in Information Science (RCIS), Fès, Morocco, 04/2009. Abstract  Download: rcis09_final.pdf (540.78 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)