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.

7259 Publications


2013 | Conference Paper | LibreCat-ID: 25782
Simulation in Production and Logistics 2013
W. Dangelmaier, C. Laroque, A. Klaas, in: Proceedings 15th ASIM Conference Simulation in Production and Logistics, Heinz Nixdorf Institute, Paderborn, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 26130
Hocheffiziente Feinstaubabscheidung aus Kleinfeuerungsanlagen mit einem Schlauchfilter
S. Schiller, H.-J. Schmid, Chemie Ingenieur Technik (2013) 1324–1328.
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 26522
Microwave Measurements on n-Disk Systems and Investigation of Branching in correlated Potentials and turbulent Flows
S. Barkhofen, Microwave Measurements on N-Disk Systems and Investigation of Branching in Correlated Potentials and Turbulent Flows, Philipps-Universität Marburg, Marburg, 2013.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 2979
Improved Side Channel Attacks on Pairing Based Cryptography
J. Blömer, P. Günther, G. Liske, in: Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 154–168.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3130
Practical Signatures from Standard Assumptions
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, C. Striecks, 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
Bounded Model Checking of Graph Transformation Systems via {SMT} Solving
T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (Eds.), 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
{SPIN} as a Linearizability Checker under Weak Memory Models
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), 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
A High-Level Semantics for Program Execution under Total Store Order Memory
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), 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 LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 11619
Adapting Hardware Systems by Means of Multi-Objective Evolution
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag Berlin GmbH, Berlin, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 21044
An efficient integrated two-color source for heralded single photons
S. Krapick, H. Herrmann, V. Quiring, B. Brecht, H. Suche, C. Silberhorn, New Journal of Physics 15 (2013).
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 21491
Experimentelle und numerische Untersuchungen des Crashverhaltens hybridgefügter Verbindungen
D. Hein, G. Meschut, O. Hahn, A. Matzenmiller, A. Nelson, in: FOSTA, EFB, DVS (Ed.), 3. Fügetechnisches Gemeinschaftskolloquium, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 17439
Darstellung heterogener 3-D-Szenen in Echtzeit
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Paderborn, 2013, pp. 49--60.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 1783
Light scattering by randomly irregular dielectric particles larger than the wavelength
Y. Grynko, Y. Shkuratov, J. Förstner, Optical Letters 38 (2013) 5153–5156.
LibreCat | DOI
 

2013 | Book | LibreCat-ID: 1790
Autonomous Resource Management in Dynamic Data Centers
O. Niehörster, Autonomous Resource Management in Dynamic Data Centers, Shaker, Aachen, Germany, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 1868
Competitive throughput in multi-hop wireless networks despite adaptive jamming
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing (2013) 159--171.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1870
Corona: A stabilizing deterministic message-passing skip list
R. Mohd Nor, M. Nesterenko, C. Scheideler, Theor. Comput. Sci. (2013) 119--129.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1871
An Efficient and Fair MAC Protocol Robust to Reactive Interference
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, IEEE/ACM Trans. Netw. (2013) 760--771.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 19256
„Südliches Meer“. Rausch und Ekstase in Gottfried Benns Werk
N.O. Eke, in: J. Dyck, H. Korte, N.J. Schmidt (Eds.), Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], de Gruyter, Berlin/Boston, 2013, pp. 3–15.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 19395
Geklebte Strukturen im Fahrzeugbau – Simulation und Bewertung von Fertigungstoleranzen
G. Kruschinski, A. Matzenmiller, M. Bobbert, D. Teutenberg, G. Meschut, in: Leichtbau-Technologien Im Automobilbau, Wiesbaden, 2013.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-92-79-15088-3

Search

Filter Publications

Display / Sort

Export / Embed