Home › Biblio

Biblio

Export 120 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is L  [Clear All Filters]
2019
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
Mennicke, S., L. Luthmann, and M. Lochau, "Unifying modal interface theories and compositional input/output conformance testing", Science of Computer Programming, vol. 172, 2019. Abstract
2017
Kalo, J. - C., C. Lofi, R. P. Maseli, and W. - T. Balke, "Semantic Query Processing: Estimating Relational Purity", 15th Lernen Wissen Daten Analysen (LWDA) Conference, Rostock, Germany, 09/2017. Abstract  Download: LWDA_2017_paper_15.pdf (1.01 MB)
2016
Luthmann, L., S. Mennicke, and M. Lochau, Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report, , 06/2016. Abstract
Luthmann, L., S. Mennicke, and M. Lochau, "Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing", Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016. Abstract
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., "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)
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
Lofi, C., and W. - T. Balke, "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)
2015
Wille, P., C. Lofi, and W. - T. Balke, "Towards Narrative Information Systems", 16th International Conference on Web-Age Information Management (WAIM), Qingdao, Shandong, China, 06/2015. Abstract  Download: Wille-Towards-Narrative-Information-Systems.pdf (424.2 KB)
Luthmann, L., S. Mennicke, and M. Lochau, "Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata", International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015. Abstract
Maarry, K. E., C. Lofi, and W. - T. Balke, "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)
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann, "Analysis of CERN computing infrastructure and monitoring data", 21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015. Abstract
Alvaro, N., M. Conway, S. Doand, C. Lofi, J. Overington, and N. Collier, "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)
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 C. Nieke, "“I would like to watch something like ‘The Terminator'” Cooperative Query Personalization Based on Perceptual Similarity", 18th International Conference on Extending Database Technology (EDBT), Brussels, Belgium, 2015. Abstract  Download: 15EDBT_CooperativePersonalization.pdf (626.92 KB)
2014
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)
Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann, "Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets", 18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014. 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
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., 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)
He, J., K. Kunze, C. Lofi, S. Madria, and S. Sigg, "Towards Mobile Sensor-Aware Crowdsourcing: Architecture, Opportunities and Challenges", Workshop on Uncertain and Crowdsourced Data (UnCrowd), Bali, Indonesia, 2014. Abstract  Download: hybridcrowd.pdf (1.14 MB)
2013
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., 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., "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., 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., "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)
2012
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)
Lofi, C., U. Güntzer, and W. - T. Balke, "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)
Selke, J., C. Lofi, and W. - T. Balke, "Pushing the Boundaries of Crowd-Enabled Databases with Query-Driven Schema Expansion", 38th Int. Conf. on Very Large Data Bases (VLDB), Istanbul, Turkey, in PVLDB 5(6) , 08/12, 2012. Abstract  Download: 267_camera-ready-v3.pdf (1.25 MB)
Lofi, C., J. Selke, and W. - T. Balke, "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)
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., 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., 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)
2011
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)