Biblio

Export 89 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Book
Goltz, U., M. Magnor, H. - J. Appelrath, H. Matthies, W. - T. Balke, and L. Wolf, "INFORMATIK 2012", Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
Book Chapter
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
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
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract  Download: 2006GrdlDB-Bio.pdf (538.74 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
Kroll, H., J. - C. Kalo, D. Nagel, S. Mennicke, and W. - T. Balke, "Context-Compatible Information Fusion for Scientific Knowledge Graphs", 24th International Conference on Theory and Practice of Digital Libraries (TPDL), Lyon, France, Springer, 08/2020. Abstract  Download: TPDL2020_Kroll_Camera_Ready.pdf (308.77 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)
Kalo, J. - C., S. Mennicke, P. Ehler, and W. - T. Balke, "Detecting Synonymous Properties by Shared Data-driven Definitions", Extended Semantic Web Conference 2020 (ESWC 2020), Heraklion, Greece, 06/2020. Abstract  Download: ESWC_20_Camera_Ready.pdf (421.94 KB)
Mathiak, B., A. Kupfer, C. Rio Bartulos, T. Scope, J. Weiland, and S. Eckstein, "Discovering gene expression data from the tables of full text publications", ICDM Workshop on Mining and Management of Biological Data, Omaha, Nebraska, USA, IEEE Computer Society, pp. 113-118, 2007. Abstract
Wawrzinek, J., J. M. G. Pinto, P. Markiewka, and W. - T. Balke, "Do Scaling Algorithms Preserve Word2Vec Semantics? A Case Study for Medical Entities", 13th International Conference on Data Integration in Life Science (DILS2018), Hannover, Germany, 11/2018. Abstract  Download: Camera-Ready of DILS2018 Paper 7.pdf (862.63 KB)
Maarry, K. E., K. Milland, and W. - T. Balke, "A Fair Share of the Work? The Evolving Ecosystem of Crowd Workers", 10th ACM Conference on Web Science, Amsterdam, The Netherlands, ACM, 2018. Abstract  Download: WebSci-CrowdsourcingEcoSystem.pdf (1.06 MB)
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke, "Fast Dual Simulation Processing of Graph Database Queries", IEEE 35th International Conference on Data Engineering (ICDE), Macau, China, IEEE, 04/2019. Abstract  Download: ICDE2019-MKNKB-Camera-Ready.pdf (399.3 KB)
Afzal, M. T., H. Maurer, W. - T. Balke, and N. Kulathuramaiyer, "Improving Citation Mining", 1st International Conference on Networked Digital Technologies (NDT 2009) , Ostrava, Czech Republic, IEEE, 2009. Abstract  Download: NDT09.pdf (741.51 KB)
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "Is There a Mismatch between Real-World Feature Models and Product-Line Research?", 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, ACM, 09/2017. Abstract
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "Is There a Mismatch between Real-World Feature Models and Product-Line Research?", Software Engineering und Software Management 2018, Bonn, Gesellschaft für Informatik, 03/2018. Abstract
Balke, W. - T., and K. Mainzer, "Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics", 3rd International Conference on Professional Knowledge Management (WM 2005), Kaiserslautern, Germany, Springer , 2005. Abstract  Download: wm05.pdf (272.76 KB)
Balke, W. - T., and K. Mainzer, "Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics", 2nd International Workshop on Philosophy and Informatics (WSPI 2005), Kaiserslautern, Germany, 2005. Abstract  Download: wspi05.pdf (56.28 KB)
Maarry, K. E., U. Güntzer, and W. - T. Balke, "A Majority of Wrongs Doesn't Make it Right - On Crowdsourcing Quality for Skewed Domain Tasks", The 16th International Conference on Web Information Systems Engineering (WISE), Miami, Florida, 11/2015. Abstract  Download: 069 - A Majority of Wrongs Doesn't Make it Right.pdf (1.05 MB)
Mennicke, S., "Modal Schema Graphs for Graph Databases", Conceptual Modeling, ER 2019, Salvador, Bahia, Brasilia, Springer International Publishing, 10/2019. Abstract
Täubner, C., B. Mathiak, and S. Eckstein, "Modeling and management of signal transduction pathways with life sequence charts", ICDM Workshop on Mining and Management of Biological Data, Omaha, Nebraska, USA, IEEE Computer Society, pp. 119-126, 2007. Abstract
Täubner, C., B. Mathiak, A. Kupfer, N. Fleischer, and S. Eckstein, "Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets", 28th Annual International Conference of IEEE Engineering in Medicine and Biology Society: IEEE, pp. 221, 30. August - 3. , 2006. Abstract
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract  Download: 2004ObjAgFeatIntro.pdf (294.54 KB)
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "On the Step Branching Time Closure of Free-Choice Petri Nets", Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014. Abstract
Mennicke, S., "An Operational Petri Net Semantics for the Join-Calculus", Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, Electronic Proceedings in Theoretical Computer Science, 09/2012. Abstract
Affeldt, T., S. Mennicke, and W. - T. Balke, "Preference-driven Control over Incompleteness of Knowledge Graph Query Answers", 12th ACM Web Science Conference 2020 (WebSci 2020), Southampton, UK, ACM, 07/2020. Abstract  Download: websci20-cr.pdf (647.57 KB)
Mennicke, S., J. - C. Kalo, and W. - T. Balke, "Querying Graph Databases: What Do Graph Patterns Mean?", The 36th International Conference on Conceptual Modeling (ER), Valencia, Spain, 11/2017. Abstract  Download: ER_2017_cameraready.pdf (520.53 KB)