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, 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., "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., "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., 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., "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)
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
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
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
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., 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)
Lofi, C., "cGQM - Ein zielorientierter Ansatz für kontinuierliche, automatisierte Messzyklen", Proceedings of the 4th National Conference on Software Measurement and Metrics (DASMA MetriKon 2005), Kaiserslautern, Germany, GI, 11/2005. Abstract  Download: 
Lofi, C., "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)
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., 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 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., 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., U. Güntzer, and W. - T. Balke, "Eliciting Skyline Trade-Offs using Example-Based Heuristics for E-Commerce Applications", IEEE Conference on Commerce and Enterprise Computing (CEC), Luxembourg, Luxembourg, 09/2011. Abstract  Download: Full Text CEC 2011 (689.39 KB)
Lofi, C., D. Olmedilla, O. Papapetrou, W. Siberski, J. L. D. Coi, A. Kösling, and E. Herder, "A Model for Competence Gap Analysis", 3rd International Conference on Web Information Systems and Technologies (WEBIST), Barcelona, Spain, 03/2007. Abstract  Download: Fulltext-PDF (103.53 KB)