Home › Biblio

Biblio

Export 19 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is P  [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]
P
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)
Pavlovič, O., and H. - D. Ehrich, "Model Checking PLC Software Written in Function Block Diagram", ICST 2010, Paris, IEEE, 2010. Abstract  Download: 2010ICST.pdf (279.11 KB)
Pinger, R., Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking, : Technical University Braunschweig, Germany, February, 2002. Abstract
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
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., 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)
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
Pinto, J. M. G., and W. - T. Balke, "Offering Answers for Claim-Based Queries: A New Challenge for Digital Libraries", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017) , Bangkok, Thailand, 2017. Abstract  Download: cbq.pdf (661.53 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)
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, "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)
Pinto, J. M. G., and W. - T. Balke, "Result Set Diversification in Digital Libraries through the Use of Paper’s Claims", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017), Bangkok, Thailand, 2017. Abstract  Download: diversification.pdf (403.19 KB)
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)
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)
Pinto, J. M. G., J. Wawrzinek, and W. - T. Balke, "What Drives Research Efforts? Find Scientific Claims That Count!", The ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL), Urbana-Champaign, Illinois USA, IEEE, 06/2019. Abstract  Download: jcdl_2019_final_version.pdf (929.69 KB)
Pinto, J. M. G., and W. - T. Balke, "Scientific Claims Characterization for Claim-Based Analysis in Digital Libraries", 22nd International Conference on Theory and Practice of Digital Libraries, Porto, Portugal, 06/2018. Abstract  Download: camera-ready_29.pdf (636.31 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
Pinto, J. M. G., N. Kiehne, and W. - T. Balke, "Towards Semantic Quality Enhancement of User Generated Content", The 20th International Conference on Asia-Pacific Digital Libraries (ICADL), Hamilton, New Zealand, 11/2018. Abstract  Download: Camera-Ready of ICADL2018 Paper 40.pdf (505.26 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)