Export 89 results:
Sort by: Author Keyword [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
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   [Show ALL]
Mathiak, B., A. Kupfer, and K. Neumann, "Using XML Languages for Modeling and Web-Visualization of Geographical Legacy Data", VI Brazilian Symposium on GeoInformatics: GeoInfo 2004: Instituto Nacional de Pesquisas Espaciais, pp. 265-280, 2004. Abstract
Neumann, K., A. Kupfer, and B. Mathiak, "Umsetzung des Signaturenkataloges SK25 bei der XML-basierten Erzeugung kartenähnlicher Graphiken", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 34, pp. 107-118, 2005. Abstract  Download: NKM05.pdf (189.94 KB)
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)
Maarry, K. E., and W. - T. Balke, "Towards an Impact-driven Quality Control Model for Imbalanced Crowdsourcing Tasks", The 17th International Conference on Web Information Systems Engineering (WISE), Shanghai, China, 11/2016. Abstract  Download: 36 - Towards an impact driven quality control model.pdf (1.48 MB)
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
Zaka, B., N. Kulathuramaiyer, W. - T. Balke, and H. Maurer, "Topic-Centered Aggregation of Presentations for Learning Object Repurposing", World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education (E-Learn), Las Vegas, NV, USA, 2008. Abstract  Download: elearn08.pdf (410.94 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.
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., 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)
Maarry, K. E., W. - T. Balke, H. Cho, S. -won Hwang, and Y. Baba, "Skill ontology-based model for Quality Assurance in Crowdsourcing", Workshop on Uncertain and Crowdsourced Data (UnCrowd), DASFAA, Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_UnCrowd_2.pdf (100.82 KB)
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)
Afzal, M. T., H. Maurer, W. - T. Balke, and N. Kulathuramaiyer, "Rule based Autonomous Citation Mining with TIERL", Journal of Digital Information Management (JDIM), vol. 8, no. 3, 06/2010.  Download: JDIM 8(3) 2010 camera-ready.pdf (1.17 MB)
Mack, T., "Rexx durchsucht die Pfade", DOS toolbox, vol. 3, no. 2, pp. 27-28, 1993. Abstract
Maarry, K. E., and W. - T. Balke, "Retaining Rough Diamonds: Towards a Fairer Elimination of Low-skilled Workers", 20th International Conference on Database Systems for Advanced Applications (DASFAA), Hanoi, Vietnam, 04/2015. Abstract  Download: DASFAA15_regular_158.pdf (1.04 MB)
Neumann, K., and T. Mack, "Representing Geoobjects in Terms of a Semantic Data Model", Proc1 Automated Mapping/Facilities Management/GIS, European Conference VIII, Montreux, pp. 239-244, 1992. Abstract
Mennicke, S., D. Nagel, J. - C. Kalo, N. Aumann, and W. - T. Balke, "Reconstructing Graph Pattern Matches Using SPARQL", 15th Lernen Wissen Daten Analysen (LWDA) Conference, Rostock, Germany, 09/2017. Abstract  Download: LWDA_2017_paper_43_0.pdf (310.62 KB)
Maarry, K. E., U. Güntzer, and W. - T. Balke, "Realizing Impact Sourcing by Adaptive Gold Questions: A Socially Responsible Measure for Workers’ Trustworthiness", 16th International Conference on Web-Age Information Management (WAIM), Qingdao, Shandong, China, 06/2015. Abstract  Download: WAIM_141.pdf (922.09 KB)
Denker, G., J. Meseguer, and C. Talcott, "Protocol Specification and Analysis in Maude", Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. Abstract
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake, "Proof-Theoretic Semantics of Object-Oriented Specification Constructs", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991. 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)
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. 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
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