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: 25625
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In: Sen Gupta G, Bailey D, Demidenko S, Carnegie D, eds. Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480. Vol 480. Springer ; 2013:103-113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz K, Jatzkowski J, Rettberg A, Müller W. Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. In: International Embedded Systems Symposium (IESS) 2013. Springer; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
Mertsching B, Divband Soorati M, Kotthauser T. Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds. IEEE International Conference on Robotics and Biomimetics (ROBIO). 2013:661-667.
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
Hamann H, Karsai I, Schmickl T. Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning. Bulletin of Mathematical Biology. 2013;75(7):1181-1206. doi:10.1007/s11538-013-9851-4
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 20150
Hamann H, Schmickl T, Stradner J, Crailsheim K, Thenius R, Zahadat P. Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems. Chaos, Solitons & Fractals. 2013;50:100-114. doi:10.1016/j.chaos.2013.01.011
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20151
Hamann H, Schmickl T, Stradner J, Schwarzer C, Michiels NK, Esparcia-Alcazar AI. Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013). Vol 7835. ; 2013:579-588. doi:10.1007/978-3-642-37192-9_58
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20160
Hamann H. A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems. In: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013). IEEE Press; 2013:227-236. doi:10.1109/SASO.2013.10
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
Hamann H, Lio P, Miglino O, Nicosia G, Nolfi S, Pavone M. Speciation Dynamics: Generating Selective Pressure Towards Diversity. In: 12th European Conference on Artificial Life (ECAL 2013). MIT Press; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 20162
Hamann H. Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance. Swarm Intelligence. 2013;7(3):145-172. doi:10.1007/s11721-013-0080-0
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann S. Themenmodellierung Zur Identifikation Und Gruppierung von Spam-Webseiten.; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder L. Nichtapproximierbarkeitsresultate Zu Radius- Und Durchmesserclustering Unter Verwendung von L_p-Metriken.; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He D, Müller W. A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7). Published online 2013:845-857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner G, Götz M, Rettberg A, Zanella MC, Rammig F-J, eds. Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf L, Rammig F-J. Organic Programming of Real-Time Operating Systems. In: The Ninth International Conference on Autonomic and Autonomous Systems. ; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2013:187-356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
Wachsmuth H, Stein B, Engels G. Learning Efficient Information Extraction on Heterogeneous Texts. In: Gelbukh A, ed. Proceedings of the Sixth International Joint Conference on Natural Language Processing. Lecture Notes in Computer Science. ; 2013:534-542.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth H, Stein B, Engels G. Information Extraction as a Filtering Task. In: Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management. ; 2013:2049-2058.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth H, Rose M, Engels G. Automatic Pipeline Construction for Real-Time Annotation. In: Gelbukh A, ed. 14th International Conference on Intelligent Text Processing and Computational Linguistics. Lecture Notes in Computer Science. ; 2013:38-49.
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze D. Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements. Universität Paderborn; 2013.
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
Juhnke J, Lefmann H, Strehl V. An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI; 2013.
LibreCat
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