Biblio

Export 676 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, "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., 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, "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., 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 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
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)
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., 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., 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., W. - T. Balke, and U. Güntzer, "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)
Lofi, C., "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)
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, "Malleability-Aware Skyline Computation on Linked Open Data", 17th International Conference on Database Systems for Advanced Applications (DASFAA), Busan, South Korea, 04/2012. Abstract  Download: Dasfaa12_Lofi (799.68 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 in Crowd-Enabled Databases", Int. Conf. on Extending Database Technology (EDBT), Genoa, Italy, 03/2013. Abstract  Download: 13_edbt_final2.pdf (1.31 MB)
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)