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.
6951 Publications
2014 | Bachelorsthesis | LibreCat-ID: 369
Rath, Timo. RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 371
Scheideler, Christian, et al. “RoBuSt: A Crash-Failure-Resistant Distributed Storage System.” Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122, doi:10.1007/978-3-319-14472-6_8.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 374
Wold, Alexander, et al. “Relocatable Hardware Threads in Run-Time Reconfigurable Systems.” Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, edited by Diana Goehringer et al., 2014, pp. 61–72, doi:10.1007/978-3-319-05960-0_6.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 375
von Detten, Markus, et al. “Reengineering Component-Based Software Systems with Archimetrix.” Journal of Software and Systems Modeling, no. 4, Springer, 2014, pp. 1239--1268, doi:10.1007/s10270-013-0341-9.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 379
Abshoff, Sebastian, et al. “Randomized Online Algorithms for Set Cover Leasing Problems.” Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34, doi:10.1007/978-3-319-12691-3_3.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 380
Cord-Landwehr, Andreas, et al. “Quality of Service in Network Creation Games.” Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–28, doi:10.1007/978-3-319-13129-0_34.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 3890
Hammer, Manfred. “Oblique Incidence of Semi-Guided Waves on Rectangular Slab Waveguide Discontinuities: A Vectorial QUEP Solver.” Optics Communications, vol. 338, Elsevier BV, 2014, pp. 447–56, doi:10.1016/j.optcom.2014.09.087.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.” Computer Science - Research and Development, no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker, Nils, et al. “On Tight Security Proofs for Schnorr Signatures.” Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531, doi:10.1007/978-3-662-45611-8_27.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
Schöppner, Volker, et al. “Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung.” Erfolgreich Compoundieren mit Pulvern und Stäuben, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1135 | 
Dollmann, Markus, and Michaela Geierhos. “SentiBA: Lexicon-Based Sentiment Analysis on German Product Reviews.” Workshop Proceedings of the 12th Edition of the KONVENS Conference, edited by Gertrud Faaß and Josef Ruppenhofer, Universitätsverlag Hildesheim, 2014, pp. 185–91.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
Herzig, Bardo, et al. “Grundbildung Medien im Profilstudium im Lehramt.” Grundbildung Medien in pädagogischen Studiengängen, edited by Peter Imort and Horst Niesyto, kopaed, 2014, pp. 65–80.
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
Hein, David. Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung. Vol. Band 107, Shaker Verlag GmbH, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
Steinle, Tobias, et al. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), edited by Hans Georg Bock et al., Springer International Publishing, 2014, pp. 233–43, doi:10.1007/978-3-319-09063-4_19.
LibreCat
| DOI