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.
7886 Publications
2014 | Conference Paper | LibreCat-ID: 380
Cord-Landwehr A, Mäcker A, Meyer auf der Heide F. Quality of Service in Network Creation Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). ; 2014:423-428. doi:10.1007/978-3-319-13129-0_34
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 382
Künsemöller J, Brangewitz S, Karl H, Haake C-J. Provider Competition in Infrastructure-as-a-Service. In: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC). ; 2014:203-210. doi:10.1109/SCC.2014.35
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2014:67-68.
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 3890
Hammer M. Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications. 2014;338:447-456. doi:10.1016/j.optcom.2014.09.087
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development. 2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr Signatures. In: 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:512--531. doi:10.1007/978-3-662-45611-8_27
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari P, Sun J, eds. {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214. doi:10.1007/978-3-319-06410-9_15
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218. doi:10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat S, Mouratidou T, Huybrechts I, et al. Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study. British Journal of Nutrition. Published online 2014:2049-2059. doi:10.1017/s0007114514003183
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
Schöppner V, Herken T, Reinders F, Westhues K. Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung. In: Erfolgreich Compoundieren mit Pulvern und Stäuben. ; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27768
Riedel C, von Kries R, Buyken A, et al. Overweight in Adolescence Can Be Predicted at Age 6 Years: A CART Analysis in German Cohorts. PLoS ONE. Published online 2014. doi:10.1371/journal.pone.0093581
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1135 | 
Dollmann M, Geierhos M. SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews. In: Faaß G, Ruppenhofer J, eds. Workshop Proceedings of the 12th Edition of the KONVENS Conference. Hildesheim, Germany: Universitätsverlag Hildesheim; 2014:185-191.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
Koch T, Holtmann J, DeAntoni J. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In: Software Architecture. Cham; 2014. doi:10.1007/978-3-319-09970-5_14
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
Herzig B, Aßmann S, Klar T-M. Grundbildung Medien im Profilstudium im Lehramt. In: Imort P, Niesyto H, eds. Grundbildung Medien in pädagogischen Studiengängen. kopaed; 2014:65-80.
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
Hein D. Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung. Vol Band 107. Düren: Shaker Verlag GmbH; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
Steinle T, Vrabec J, Walther A. Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In: Bock HG, Hoang XP, Rannacher R, Schlöder JP, eds. Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC). Springer International Publishing; 2014:233-243. doi:10.1007/978-3-319-09063-4_19
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
Graf T, Schaefers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In: Proc. Conf. on Computers and Games (CG). Lecture Notes in Computer Science. Switzerland: Springer; 2014:14-25. doi:10.1007/978-3-319-09165-5_2
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 18932
Seng E-M. Kloster/Schloss Corvey - das erste Weltkulturerbe in Westfalen. Berühmtes Westwerk geht in Teilen auf das 9. Jahrhundert zurück. In: Jahrbuch Westfalen 2015. Münster; 2014:10-16.
LibreCat