Home › Biblio

Biblio

Export 53 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
Technical Report
Ehrich, H. - D., G. Engels, J. Paradaens, P. Wegner, and (eds), Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434), , Schloss Dagstuhl, IBFI GmbH, 1994.  Download: 1994DagstuhlSeminar9434.pdf (336.72 KB)
Wawrzinek, J., J. M. G. Pinto, and W. - T. Balke, Linking Semantic Fingerprints of Literature – from Loose Neural Embeddings Towards Contextualized Pharmaceutical Networks (Supplement), , 2019.  Download: wawrzinek-pinto-balke-Technical-Report.pdf (687.22 KB)
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)
Journal Article
Pinto, J. M. G., and W. - T. Balke, "Assessing plausibility of scientific claims to support high-quality content in digital collections", International Journal of Digital Libraries: Springer Berlin Heidelberg, 10/2018.  Download: GonzálezPinto-Balke2018_Article_AssessingPlausibilityOfScienti.pdf (906.17 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract  Download: 2003JUCS.pdf (167.55 KB)
Kroll, H., J. Pirklbauer, J. - C. Kalo, M. Kunz, J. Ruthmann, and W. - T. Balke, "A discovery system for narrative query graphs: entity-interaction-aware document retrieval", International Journal on Digital Libraries: Springer, 04/2023. Abstract
Balke, W. - T., H. Handels, I. J. Kalet, M. Kimura, C. A. Kulikowski, L. A. Moura, A. Pommert, and S. Schulz, "Discussion of "Spatial-Symbolic Query Engine in Anatomy"", Methods of Information in Medicine (METHODS), vol. 51, no. 6: Schattauer, 2012.  Download: METHODS 2012.pdf (301.83 KB)
Neumann, K., A. Koschel, and W. Porscha, "Eine Portierungsstrategie für ADABAS-Datenbestände und -Anwendungen nach DB2", Wirtschaftsinformatik, vol. 35, no. 4, pp. 339-345, 1993. Abstract
Neumann, K., J. Petri, and C. Wolf, "Erzeugung kartenähnlicher Graphiken: XML-basierte Verdrängung und Platzierung von Punktsignaturen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 36, pp. 89-98, 2006. Abstract  Download: NPW06.pdf (370.65 KB)
Wawrzinek, J., J. M. G. Pinto, O. Wiehr, and W. - T. Balke, "Exploiting Latent Semantic Subspaces to Derive Associations for Specific Pharmaceutical Semantics", Data Science and Engineering: Springer Nature, 08/2020. Abstract  Download: dasfaa_non_blinded_2020_06_30.pdf (626.89 KB)
Pinto, J. M. G., K. E. Maarry, and W. - T. Balke, "Fine-tuning Gold Questions in Crowdsourcing Tasks using Probabilistic and Siamese Neural Network Models", The Journal of Web Science (JWS), vol. 6: NOW Publishers, 2019. Abstract  Download: Crowdsourcing - JWS 6-2019.pdf (1.45 MB)
Neumann, K., A. Kupfer, and F. Panse, "Generierung von Gebäude-Präsentationsobjekten für NAS-Bestandsdatenauszüge", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 41, pp. 83-92, 2008. Abstract  Download: NKP08.pdf (306.54 KB)
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
Engels, G., U. Pletat, and H. - D. Ehrich, "An operational semantics for specification of abstract data types with error handling", Acta Informatica, vol. 19: Springer, pp. 235-253, 1983. Abstract  Download: 1983Acta.pdf (667.18 KB)
Conference Proceedings
Pinger, R., "Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking", 11. Workshop Grundlagen von Datenbanken, Luisenthal, 25.- 28. Mai 1999: Jenaer Schriften zur Mathematik und Informatik, Math/Inf/99/16, Friedrich-Schiller-Universität Jena, pp. 82-86, 1999. Abstract
Neumann, K., A. Koschel, and W. Porscha, "Migration von Datenbanken - Eine Fallstudie", Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993. Abstract
Neumann, K., A. Koschel, and W. Porscha, "Migrationsbeispiele: Von ADABAS nach DB2 migrieren", Datenbankmanagement: WEKA-Verlag, pp. 7/2.2.1-2.2.12, 1993. Abstract
Saake, G., V. Linnemann, P. Pistor, and L. Wegner, "Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype", Proc1 15th Int1 Conf1 on Very Large Databases VLDB'89: Morgan Kaufmann, Palo Alto, 1989, pp. 307-316, 1989. Abstract
Pinger, R., "Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen", Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000. Abstract
Pinger, R., "Verifikation von Informationssystemen durch Model Checking", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 99-103, 1998. Abstract
Conference Paper
Homoceanu, S., F. Geilert, C. Pek, and W. - T. Balke, "Any Suggestions? Active Schema Support for Structuring Web Information", 19th International Conference on Database Systems for Advanced Applications (DASFAA), Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_conference_105.pdf (1.1 MB)
Pinto, J. M. G., J. Wawrzinek, S. Kori, and W. - T. Balke, "Can Language Inference Support Metadata Generation?", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Pinto, J. M. G., and W. - T. Balke, "Can Plausibility Help Support High Quality Content in Digital Libraries?", 21st International Conference on Theory and Practice of Digital Libraries (TPDL), Thessaloniki, Greece , 06/2017. Abstract  Download: tpdl_pinto_plausibilty.pdf (668.04 KB)
Neumann, K., W. Porscha, A. Koschel, and C. Müller, Charakterisierung eines aktuellen relationalen Datenbanksystems am Beispiel von Sybase, , no. 29: Technische Universität Braunschweig, 1992. Abstract
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Pinto, J. M. G., and W. - T. Balke, "Demystifying the Semantics of Relevant Objects in Scholarly Collections: A Probabilistic Approach", ACM/IEEE Joint Conference on Digital Libraries (JCDL), Knoxville, TN, USA, 06/2015. Abstract  Download: jcdl_2015_jmgp_wtb.pdf (1.36 MB)
Papapetrou, O., W. Siberski, W. - T. Balke, and W. Nejdl, "DHTs over Peer Clusters for Distributed Information Retrieval", 21st IEEE International Conference on Advanced Information Networking and Applications (AINA), Niagara Falls, Canada, 2007. Abstract  Download: aina07.pdf (348.04 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract  Download: 2002FMTOOLS.pdf (595.59 KB)
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 (DILS), Hannover, Germany, 11/2018. Abstract  Download: Camera-Ready of DILS2018 Paper 7.pdf (862.63 KB)
Wawrzinek, J., S. A. R. Hussaini, O. Wiehr, J. M. G. Pinto, and W. - T. Balke, "Explainable Word-Embeddings for Medical Digital Libraries – a Context-Aware Approach", ACM/IEEE Joint Conference on Digital Libraries (JCDL), Xi'an, Shaanxi, China, 08/2020. Abstract  Download: Wawrzinek82.pdf (692.25 KB)
Plötzky, F., and W. - T. Balke, "It’s the Same Old Story! Enriching Event-Centric Knowledge Graphs by Narrative Aspects", 14th ACM Web Science Conference (WebSci), Barcelona, Spain, ACM, 06/2022. Abstract  Download: WebSci2022_Ploetzky_Narrative-Prototypes.pdf (678.86 KB); Slides_WebSci2022_Ploetzky_Narrative-Prototypes.pdf (916.03 KB)
Prehn, T., and S. Mennicke, Keep it Fair: Equivalences, , Neuchâtel, Switzerland, EPTCS, 08/2017. Abstract  Download: ICE_2017_fairness_equivalences_preprint.pdf (204.92 KB)
Pinto, J. M. G., S. Celik, and W. - T. Balke, "Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Kroll, H., J. Pirklbauer, F. Plötzky, and W. - T. Balke, "A Library Perspective on Nearly-Unsupervised Information Extraction Workflows in Digital Libraries", ACM/IEEE Joint Conference on Digital Libraries (JCDL), Cologne, Germany, 06/2022. Abstract  Download: JCDL2022_Kroll_A Library Perspective on Nearly-Unsupervised Information Extraction Workflows in Digital Libraries.pdf (453.2 KB)