Biblio

Export 120 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
Artwork
Book Chapter
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
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
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)
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.
Conference Paper
Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "Abstracts of the 4th Workshop on Specification of Abstract Data Types", Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986. Abstract
Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract  Download: 1983ExceptErrors.pdf (198.63 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
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)
Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc 1st Int Conf on System Development Environments and Factories: Pitman, London, 1990. Abstract  Download: 1990Caddy.pdf (896.19 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., "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)
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
Ehrich, H. - D., and V. G. Lohberger, "Constructing Specifications of Abstract Data Types by Replacements", Proc. Int. Colloquium on Graph Grammars: Springer LNCS 73, pp 180-191, 1978. Abstract  Download: 1978SpecReplace.pdf (214.4 KB)
Ehrich, H. - D., F. Lohmann, K. Neumann, and I. Ramm, "A Database Language for Scientific Map Data", Construction and Display of Geosientific Maps Derived from Databases (Proc. Int. Coll. Dinkelsbühl 1986): Geologisches Jahrbuch A 104, pp. 139-152, 1988. Abstract  Download: 1988Geo.pdf (905.2 KB)
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)
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., 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., W. - T. Balke, and U. Güntzer, "Efficiently Performing Consistency Checks for Multi-Dimensional Preference Trade-Offs", 2nd IEEE International Conference on Research Challenges in Information Science (RCIS), Marrakech, Morocco, 2008. Abstract  Download: Fulltext-PDF (555.38 KB)
Balke, W. - T., C. Lofi, and U. Güntzer, "Eliciting Matters - Controlling Skyline Sizes by Incremental Integration of User Preferences", 12th International Conference on Database Systems for Advanced Applications (DASFAA), Bangkok, Thailand, 2007. Abstract  Download: dasfaa07-camRed.pdf (393.17 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)
Lohmann, F., K. Neumann, and H. - D. Ehrich, "Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen", Proc GI/SI-Fachtagung ``Datenbanksysteme in Büro, Technik und Wissenschaft'': Springer, Berlin, 1989, pp. 43-57, 1989. Abstract  Download: 1989BTW.pdf (557.01 KB)
Neumann, K., F. Lohmann, and H. - D. Ehrich, "An Experimental Geoscientific Database System", Proc1 Int1 Coll1 on Digital Maps in Geosciences, Würzburg 1989: Geologisches Jahrbuch A122, Hannover, pp. 91-100, 1992. Abstract  Download: 1992GeoDBSys.pdf (1013.78 KB)
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., 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)