Biblio

Export 690 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
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 
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)
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
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., "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
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., 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., 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)
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, "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., 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, 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, "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)
R
S
Saake, G., "Conceptual Modeling of Database Applications", Proc1 1st IS/KI Workshop, Ulm (Germany), 1990: Springer, Berlin, LNCS 474, pp. 213-232, 1991. Abstract
Saake, G., R. Jungclaus, and T. Hartmann, "Application Modelling in Heterogeneous Environments using an Object Specification Language", Int1 Journal of Intelligent and Cooperative Information Systems, vol. 2, no. 4, pp. 425-449, 1993. Abstract
Saake, G., A. Sernadas, and C. Sernadas, "Evolving Object Specifications", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 311-320, 1994. Abstract
Saake, G., and U. W. Lipeck, "Using Finite-Linear Temporal Logic for Specifying Database Dynamics", Proc1 CSL'88 2nd Workshop Computer Science Logic: Springer, Berlin, pp. 288-300, 1989. Abstract
Saake, G., R. Jungclaus, and T. Hartmann, "Application Modelling in Heterogeneous Environments using an Object Specification Language", Int1 Conf1 on Intelligent & Cooperative Information Systems (ICICIS'93): IEEE Computer Society Press, pp. 309-318, 1993. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994. Abstract
Saake, G., T. Hartmann, and R. Jungclaus, "Objektspezifikation von Benutzerschnittstellen in \tt TROLL", Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993. Abstract
Saake, G., P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra, "Inheritance Conditions for Object Life Cycle Diagrams", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 79-89, 1994. Abstract