Home › Biblio

Biblio

Export 92 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]
V
Neumann, K., P. Ahlbrecht, S. Eckstein, B. Mathiak, and A. Kupfer, "Visualization of Landscape Data in Digital Maps by Exclusive Use of XML-Based Languages", Proc. 12th Int. Conf. on Geoinformatics, pp. 370 - 374, 2004. Abstract
U
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
Mennicke, S., J. - C. Kalo, and W. - T. Balke, "Using Queries as Schema-Templates for Graph Databases", Datenbank-Spektrum: Springer, 2018. Abstract  Download: Mennicke2018_Article_UsingQueriesAsSchema-Templates.pdf (650.77 KB)
Mathiak, B., A. Kupfer, S. Eckstein, D. A. Zighed, S. Tsumoto, Z. W. Ras, and H. Hacid, "Using Layout Data for the Analysis of Scientific Literature", Mining Complex Data, vol. 165: Springer, pp. 3-22, 2009.
Mathiak, B., A. Kupfer, T. Scope, B. Störmann, and S. Eckstein, "Using Image Classification for biomedical Literature Retrieval", ICDM Workshops 2006, pp. 185-189, 2006. Abstract
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
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)
T
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)
S
Effendi, S. B., B. van der Merwe, and W. - T. Balke, "Suitability of Graph Database Technology for the Analysis of Spatio-Temporal Data", Future Internet, vol. 12, no. 5: MDPI, 04/2020. Abstract  Download: futureinternet-12-78.pdf (1.97 MB)
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.
Ehrich, H. - D., U. Goltz, J. Meseguer, A. Pnueli, and (eds), Speci cation of Distributed Information Systems. Dagstuhl Seminar 00081 Report, , Schloss Dagstuhl, IBFI GmbH, 2000.  Download: 2000DagstuhlSemina00081.pdf (187.18 KB)
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)
Abel, P., D. Miether, F. Plötzky, and S. Robra-Bissantz, "The Shape of Bottom-Up Urbansim Participatory Platforms: A Conceptualisation and Empirical Study", 34th Bled eConference Digital Support from Crisis to Progressive Change, Bled, Slovenia, University of Maribor Press, doi:10.18690/978-961-286-485-9, 06/2021. Abstract
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)
R
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)
Q
Maarry, K. E., and W. - T. Balke, "Quest for the Gold Par: Minimizing the Number of Gold Questions to distinguish between the Good and the Bad", 10th ACM Conference on Web Science, Amsterdam, The Netherlands, ACM, 2018. Abstract  Download: WebSci-Quest for the Gold Par.pdf (1.73 MB)
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)
Meyer, G., G. D. Westermann, and M. Gogolla, QUEER - A Prolog Based Prototype for an Extended ER Approach, , no. 90-03: Technische Universität Braunschweig, 1990. Abstract
P
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 (WebSci), Southampton, UK, ACM, 07/2020. Abstract  Download: websci20-cr.pdf (647.57 KB)
O
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
Kroll, H., N. Mainzer, and W. - T. Balke, "On Dimensions of Plausibility for Narrative Information Access to Digital Libraries", The 26th International Conference on Theory and Practice of Digital Libraries (TPDL), Padua, Italy, Springer, 09/2022. Abstract  Download: TPDL_2022_Kroll_Dimensions_for_NIA.pdf (600.1 KB)