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.

10564 Publications


2013 | Conference Paper | LibreCat-ID: 3443
Old Blunders in New Media? How Local Governments Communicate with Citizens in Online Social Networks
S. Hofmann, M. Räckers, D. Beverungen, J. Becker, in: Proceedings of the 46$^{th}$ Hawaii International Conference on System Sciences (HICSS-46), Maui, Hawaii, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 3814
Information Extraction as a Filtering Task
H. Wachsmuth, B. Stein, G. Engels, in: Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2013, pp. 2049–2058.
LibreCat | Download (ext.)
 

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 | Book Chapter | LibreCat-ID: 17765
Gesprochene Korpora des Englischen und ihre Anwendung in der Grammatikforschung
I. Mindt, in: I. Kratochvílová, N.R. Wolf (Eds.), Grundlagen einer sprachwissenschaftlichen Quellenkunde, Narr, Tübingen, 2013, pp. 111–120.
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 | 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
 

2013 | Journal Article | LibreCat-ID: 20863
Determinants of market beta: the impacts of firm-specific accounting figures and market conditions
T. Schlueter, S. Sievers, Review of Quantitative Finance and Accounting (VHB-JOURQUAL 3 Ranking B) (2013) 535–570.
LibreCat | DOI | Download (ext.)
 

2013 | Book Chapter | LibreCat-ID: 1800
A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft
J. Blanckenstein, J. Garcia-Jimenez, J. Klaue, H. Karl, in: Lecture Notes in Electrical Engineering, Springer International Publishing, Cham, 2013, pp. 165–177.
LibreCat | DOI
 

2013 | Bachelorsthesis | LibreCat-ID: 18000
Cliquenbildung in verteilten Systemen
F. Blumentritt, Cliquenbildung in Verteilten Systemen, Universität Paderborn, 2013.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-4244-8864-3

Search

Filter Publications

Display / Sort

Export / Embed