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.
7565 Publications
2013 | Conference Paper | LibreCat-ID: 3130
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, and C. Striecks, “Practical Signatures from Standard Assumptions,” in Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, 2013, pp. 461--485.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving,” in Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
O. Travkin, A. Mütze, and H. Wehrheim, “{SPIN} as a Linearizability Checker under Weak Memory Models,” in Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
L. Libuda, U. Alexy, and M. Kersting, “Time trends in dietary fat intake in a sample of German children and adolescents between 2000 and 2010: not quantity, but quality is the issue,” British Journal of Nutrition, pp. 141–150, 2013, doi: 10.1017/s0007114513002031.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 21491
D. Hein, G. Meschut, O. Hahn, A. Matzenmiller, and A. Nelson, “Experimentelle und numerische Untersuchungen des Crashverhaltens hybridgefügter Verbindungen,” in 3. Fügetechnisches Gemeinschaftskolloquium, Rostock, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
R. Petring, B. Eikel, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Darstellung heterogener 3-D-Szenen in Echtzeit,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311, pp. 49--60.
LibreCat
2013 | Book | LibreCat-ID: 1790
O. Niehörster, Autonomous Resource Management in Dynamic Data Centers. Aachen, Germany: Shaker, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 19256
N. O. Eke, “„Südliches Meer“. Rausch und Ekstase in Gottfried Benns Werk,” in Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], J. Dyck, H. Korte, and N. J. Schmidt, Eds. Berlin/Boston: de Gruyter, 2013, pp. 3–15.
LibreCat
2013 | Journal Article | LibreCat-ID: 20863
T. Schlueter and S. Sievers, “Determinants of market beta: the impacts of firm-specific accounting figures and market conditions,” Review of Quantitative Finance and Accounting (VHB-JOURQUAL 3 Ranking B), no. 3, pp. 535–570, 2013.
LibreCat
| DOI
| Download (ext.)
2013 | Book Chapter | LibreCat-ID: 1804
A. de la Oliva et al., “Denser Networks for the Future Internet, the CROWD Approach,” in Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 28–41.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 18475
A. Riefer et al., “Lithium niobate dielectric function and second-order polarizability tensor from massively parallel ab initio calculations,” in High Performance Computing in Science and Engineering ‘13, W. E. Nagel, D. H. Kröner, and M. M. Resch, Eds. Cham: Springer, 2013, pp. 93–104.
LibreCat
| Files available
| DOI
| WoS
2013 | Book | LibreCat-ID: 22379
C. Hölscher, S. Michaelis, M. Strop, and D. Zimmer, Energetische Optimierung eines Mehrmotorenantriebssystems für Kautschukinnenmischer. Nixdorf Institut (HNI), 2013, pp. 345–357.
LibreCat
2013 | Dissertation | LibreCat-ID: 22380
A. Schmidt, Situationsbezogene Luftspaltoptimierung am Linearmotor eines schienengebundenen Fahrzeugs. Der Andere Verlag, 2013.
LibreCat