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.
5685 Publications
2013 | Book Chapter | LibreCat-ID: 2979
Blömer J, Günther P, Liske G. Improved Side Channel Attacks on Pairing Based Cryptography. In: Constructive Side-Channel Analysis and Secure Design. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:154-168. doi:10.1007/978-3-642-40026-1_10
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. J Cryptology. 2013;(2):225--245. doi:10.1007/s00145-012-9120-y
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl F, Hofheinz D, Jager T, Koch J, Hong Seo J, Striecks C. 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:461--485. doi:10.1007/978-3-642-38348-9_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager T, Paterson KG, Somorovsky J. One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography. In: 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg T, Steenken D, Wehrheim H. Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In: Beyer D, Boreale M, 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. Lecture Notes in Computer Science. ; 2013:178--192. doi:10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin O, Mütze A, Wehrheim H. {SPIN} as a Linearizability Checker under Weak Memory Models. In: Bertacco V, Legay A, eds. Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science. ; 2013:311--326. doi:10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science. ; 2013:177--194. doi:10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert S, Wehrheim H. Temporal Reconfiguration Plans for Self-Adaptive Systems. In: Kowalewski S, Rumpe B, eds. Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen. {LNI}. ; 2013:271--284.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier J, Grafe M, Meyer auf der Heide F. 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. In: Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
Keil R, Winkelnkemper F. Approaches for an informational separation of powers in learning platforms. In: Society for Informatics; 2013:131-142.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer HG, Geis T, Molich R, et al. „Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA. In: German UPA; 2013:28-34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel B. Contextual Tagging in the Coactive Knowledge Organization. Heinz Nixdorf Institute, Universit {\ "a} t Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer HG, Strenge B, Nebe Karsten. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. Published online 2013:252-261.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil Reinhard, Selke H, Winkelnkemper F. Computer science and education - A struggle for creative sovereignty in society? FIfF-Kommunikation. Published online 2013:61-65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil R. Media contexts - context media. In: Verbrecher Verlag; 2013:217-226.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach Towards NUI Interaction Design. Published online 2013:32-41.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann P. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
Petring R, Eikel B, Jähn C, Fischer M, Meyer auf der Heide F. Darstellung heterogener 3-D-Szenen in Echtzeit. In: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Paderborn; 2013:49--60.
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
Eikel B. Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
Meyer auf der Heide F. Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen. In: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:7-16.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
Gausemeier J, Grafe M, Meyer auf der Heide F, eds. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 17663
Cohen R, Nudelman I, Polevoy G. On the Admission of Dependent Flows in Powerful Sensor Networks. Networking, IEEE/ACM Transactions on. 2013;21(5):1461-1471. doi:10.1109/TNET.2012.2227792
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1785
Rammig F, Stahl K, Vaz GF. A framework for enhancing dependability in self-x systems by Artificial Immune Systems. In: IEEE Int. Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE; 2013:1-10. doi:10.1109/ISORC.2013.6913240
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1786
Kasap S, Redif S. FPGA Implementation of a Second-Order Convolutive Blind Signal Separation Algorithm. In: Proc. IEEE Signal Processing and Communications Conf. (SUI). IEEE; 2013. doi:10.1109/SIU.2013.6531530
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1792
Kasap S, Redif S. Novel Field-Programmable Gate Array Architecture for Computing the Eigenvalue Decomposition of Para-Hermitian Polynomial Matrices. IEEE Trans on Very Large Scale Integration (VLSI) Systems. 2013;22(3):522-536. doi:10.1109/TVLSI.2013.2248069
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1868
W. Richa A, Scheideler C, Schmid S, Zhang J. Competitive throughput in multi-hop wireless networks despite adaptive jamming. Distributed Computing. 2013;(3):159--171. doi:10.1007/s00446-012-0180-x
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1870
Mohd Nor R, Nesterenko M, Scheideler C. Corona: A stabilizing deterministic message-passing skip list. Theor Comput Sci. 2013:119--129. doi:10.1016/j.tcs.2012.08.029
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1871
W. Richa A, Scheideler C, Schmid S, Zhang J. An Efficient and Fair MAC Protocol Robust to Reactive Interference. IEEE/ACM Trans Netw. 2013;(3):760--771. doi:10.1109/TNET.2012.2210241
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20831
Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten. Vol 12. GI-Edition - Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen. In: 9. Paderborner Workshop Entwurf Mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 1798
Keller M, Robbert C, Peuster M. An evaluation testbed for adaptive, topology-aware deployment of elastic applications. In: Proceedings of the ACM SIGCOMM 2013 Conference on SIGCOMM . ; 2013.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 1799
Ali-Ahmad H, Cicconetti C, de la Oliva A, et al. CROWD: An SDN Approach for DenseNets. In: 2013 Second European Workshop on Software Defined Networks. IEEE; 2013. doi:10.1109/ewsdn.2013.11
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1800
Blanckenstein J, Garcia-Jimenez J, Klaue J, Karl H. A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft. In: Lecture Notes in Electrical Engineering. Cham: Springer International Publishing; 2013:165-177. doi:10.1007/978-3-319-03071-5_18
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt F. Cliquenbildung in Verteilten Systemen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 1802
Wette P, Graffi K. Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables. In: 2013 Conference on Networked Systems. IEEE; 2013. doi:10.1109/netsys.2013.9
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1803
Dannewitz C, Herlich M, Karl H. OpenNetInf - prototyping an information-centric Network Architecture. In: 37th Annual IEEE Conference on Local Computer Networks -- Workshops. IEEE; 2013. doi:10.1109/lcnw.2012.6424044
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1804
de la Oliva A, Morelli A, Mancuso V, 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:28-41. doi:10.1007/978-3-642-37935-2_3
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 22932
Dumitrescu R, Kühn A. Intelligenz in der Produktion - Spitzencluster it’s OWL als Wegbereiter für Industrie 4.0. In: Markt&Technik Summit Industrie 4.0, München, 16. - 17. Okt. 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 22933
Schmitt N, Kaiser L, Dumitrescu R, Hofmann M. Von der Anforderungserfassung bis zur Funktionsstruktur - Ein Systems Engineering-Vorgehen für die industrielle Praxis. In: Maurer M, Schulze S-O, eds. Tag des Systems Engineering. München: Carl Hanser Verlag; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 22934
Low CY, Kasim MAA, Koch T, et al. Hybrid-Actuated Finger Prosthesis with Tactile Sensing. In: International Journal of Advanced Robotic Systems. Vol Band 10. ; 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 22935
Low C, Aldemir M, Aziz N, Dumitrescu R, Anacker H. Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution. Journal of Production Engineering Research & Development (PERE) 7. 2013:23-34.
LibreCat
2013 | Journal Article | LibreCat-ID: 21748
Joel WJ. The Need to Start Research Education Early. IEEE Computer Graphics and Applications. 2013;33(5):79-81. doi:10.1109/MCG.2013.79
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21752
Kerren A. Information Visualization Courses for Students with a Computer Science Background. IEEE Computer Graphics and Applications. 2013;33(2):12-15. doi:10.1109/MCG.2013.27
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21807
Schell J, Klug C. Building Virtual Worlds Carrying on the Legacy of Randy Pausch’s “Head Fake.” IEEE Computer Graphics and Applications. 2013;33(3):12-15. doi:10.1109/MCG.2013.42
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 770
Dannewitz C, Kutscher D, Ohlman B, Farrell S, Ahlgren B, Karl H. Network of Information (NetInf) - An information-centric networking architecture. Computer Communications. 2013;(7):721--735. doi:10.1016/j.comcom.2013.01.009
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 771
Dräxler M, Biermann T, Karl H. Improving Cooperative Transmission Feasibility by Network Reconfiguration in Limited Backhaul Networks. International Journal of Wireless Information Networks. 2013;(3):183--194. doi:10.1007/s10776-013-0207-7
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 772
Hohenberger T, Herlich M, Karl H. Trade-off between latency and coverage in cooperative radio access networks. In: IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2013, Kattankulathur, India, December 15-18, 2013. ; 2013:1--6. doi:10.1109/ANTS.2013.6802869
LibreCat
| DOI