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., and R. Jungclaus, "Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects", Advanced Database System1 : Proc1 10th British National Conference on Databases (BNCO1 10), July 6-8, 1992, Aberdeen (Scotland): Springer, LNCS 618, Berlin, pp. 78-95, 1992. 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., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Design of Information Systems: \tt TROLL Language Features", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994. Abstract  Download: 1994CISM2.pdf (981.53 KB)
Saake, G., R. Jungclaus, and C. Sernadas, "Abstract Data Type Semantics for Many-Sorted Object Query Algebras", Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991. Abstract
Saake, G., R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Specification and Stepwise Refinement", Proc Open Distributed Processing, Berlin (D), 8.-11. Okt 1991 (IFIP Transactions C: Communication Systems, Vol 1): North-Holland, pp. 99-121, 1992. Abstract  Download: 1992SaaJungEh.pdf (313.37 KB)
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., "Descriptive Specification of Database Object Behaviour", Data & Knowledge Engineering, vol. 6, no. 1, pp. 47-74, 1991. Abstract
Saake, G., and R. Jungclaus, "Specification of Database Applications in the TROLL-Language", Proc1 Int1 Workshop Specification of Database Systems, Glasgow, July 1991: Springer, London, pp. 228-245, 1992. 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., and U. W. Lipeck, "Foundations of Temporal Integrity Monitoring", Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988. Abstract