Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

13318 Publications


2020 | Conference Paper | LibreCat-ID: 7283
Extractive Snippet Generation for Arguments
M. Alshomary, N. Düsterhus, H. Wachsmuth, in: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020, pp. 1969–1972.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 20156 LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 18637
A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes
P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn, 2020.
LibreCat | Files available
 

2020 | Mastersthesis | LibreCat-ID: 20221
Plurality Consensus in Hybrid Networks
P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16299
Gathering Anonymous, Oblivious Robots on a Grid
J. Castenow, M. Fischer, J. Harbig, D. Jung, F. Meyer auf der Heide, Theoretical Computer Science 815 (2020) 289–309.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20257
Wie meinst du das? - Begriffserwerb im Religionsunterricht
T. Kohlmeyer, O. Reis, F. Viertel, K. Rohlfing, Theo Web (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20295
Personalwirtschaft
M. Schneider, S. Eisele, in: Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer, 2020, pp. 303–322.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18276
Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20310
Selective Etching of (111)B-Oriented AlxGa1−xAs-Layers for Epitaxial Lift-Off
T. Henksmeier, M. Eppinger, B. Reineke, T. Zentgraf, C. Meier, D. Reuter, Physica Status Solidi (A) n/a (2020) 2000408.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed