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.

17249 Publications


2016 | Conference Paper | LibreCat-ID: 227
Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.” In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016. https://doi.org/10.1007/978-3-319-47846-3_29.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 171
Kenter, Tobias, Gavin Francis Vaz, Heinrich Riebler, and Christian Plessl. “Opportunities for Deferring Application Partitioning and Accelerator Synthesis to Runtime (Extended Abstract).” In Workshop on Reconfigurable Computing (WRC), 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 176
Dollmann, Markus, and Michaela Geierhos. “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements.” In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), 1807–16. Austin, TX, USA: Association for Computational Linguistics (ACL), 2016.
LibreCat | Files available | Download (ext.)
 

2016 | Dissertation | LibreCat-ID: 195
Platenius, Marie Christin. Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Bachelorsthesis | LibreCat-ID: 183
Jubrail, Ari. Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen. Universität Paderborn, 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 222
Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.” Computers & Electrical Engineering, 2016, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 203
Brangewitz, Sonja, and Simon Hoof. “Economic Aspects of Service Composition: Price Negotiations and Quality Investments.” In Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, edited by Schahram Dustdar Marco Aiello, Einar Broch Johnsen and Ilche Georgievski, 201–15. Cham, 2016. https://doi.org/10.1007/978-3-319-44482-6_13.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 208
Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.” In Proceedings of the CT-RSA 2016, 431–47. LNCS, 2016. https://doi.org/10.1007/978-3-319-29485-8_25.
LibreCat | Files available | DOI
 

2016 | Mastersthesis | LibreCat-ID: 210
Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
 

2016 | Preprint | LibreCat-ID: 2969
Blömer, Johannes, Sascha Brauer, and Kathrin Bujna. “Hard-Clustering with Gaussian Mixture Models.” Computing Research Repository, 2016.
LibreCat | Download (ext.)
 

2016 | Report | LibreCat-ID: 2971
Blömer, Johannes, and Peter Günther. Effizienz Und Sicherheit Paarungsbasierter Kryptographie. Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 3114
Jager, Tibor, and Andy Rupp. “Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way.” PoPETs, no. 3 (2016): 62--82.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, Dennis, and Tibor Jager. “Verifiable Random Functions from Standard Assumptions.” In Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 336--362, 2016. https://doi.org/10.1007/978-3-662-49096-9_14.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” In Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-45943-1_13.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 2700
Görzen, Thomas, and Dennis Kundisch. “Can the Crowd Substitute Experts in Evaluation of Creative Jobs? The Case of Business Models.” In Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 25
Lass, Michael, Thomas Kühne, and Christian Plessl. “Using Approximate Computing in Scientific Codes.” In Workshop on Approximate Computing (AC), 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 2527
Gries, Thomas, and Claus-Jochen Haake. “Towards an Economic Theory of Destabilization War.” Peace Economics, Peace Science and Public Policy 22, no. 4 (2016): 377–84. https://doi.org/10.1515/peps-2016-0042.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 2813
Gries, Thomas, Stefan Jungblut, and Wim Naudé. “The Entrepreneurship Beveridge Curve.” International Journal of Economic Theory 12, no. 2 (2016): 151–65. https://doi.org/10.1111/ijet.12086.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 4237
Mackwitz, P., M. Rüsing, Gerhard Berth, A. Widhalm, K. Müller, and Artur Zrenner. “Periodic Domain Inversion in X-Cut Single-Crystal Lithium Niobate Thin Film.” Applied Physics Letters 108, no. 15 (2016). https://doi.org/10.1063/1.4946010.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 4244
Gordon, S., M. Yacob, J. P. Reithmaier, M. Benyoucef, and Artur Zrenner. “Coherent Photocurrent Spectroscopy of Single InP-Based Quantum Dots in the Telecom Band at 1.5 Μm.” Applied Physics B 122, no. 2 (2016). https://doi.org/10.1007/s00340-015-6279-6.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed