Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 19 results:
RTF
Tagged
XML
BibTex
Sort by: [
Author
]
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2010ICST.pdf
(279.11 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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Pinger, R.
,
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
,
: Technical University Braunschweig, Germany, February, 2002.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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.
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
Crowdsourcing - JWS 6-2019.pdf
(1.45 MB)
Prehn, T.
, and
S. Mennicke
,
Keep it Fair: Equivalences
,
, Neuchâtel, Switzerland, EPTCS, 08/2017.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
ICE_2017_fairness_equivalences_preprint.pdf
(204.92 KB)