Biblio

Export 39 results:
Sort by: Author Keyword [ Title  (Desc)] 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]
W
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)
V
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., "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
T
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 KB)
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)
S
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
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)
R
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)
O
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)
M
Lofi, C., D. Olmedilla, O. Papapetrou, W. Siberski, J. L. D. Coi, A. Kösling, and E. Herder, "A Model for Competence Gap Analysis", 3rd International Conference on Web Information Systems and Technologies (WEBIST), Barcelona, Spain, 03/2007. Abstract  Download: Fulltext-PDF (103.53 KB)
Neumann, K., A. Koschel, and W. Porscha, "Migration von Datenbanken - Eine Fallstudie", Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993. Abstract
L
K
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
G
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)
F
E
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)
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
D
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 (DILS2018), Hannover, Germany, 11/2018. Abstract  Download: Camera-Ready of DILS2018 Paper 7.pdf (862.63 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)
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)
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)
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)
C
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)
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)
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)