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.
5686 Publications
2013 | Conference Paper | LibreCat-ID: 25620
@inproceedings{Kuznik_Oliveira_Defo_Müller_2013, title={Systematic Application of UCIS to Improve the Automation on Verification Closure}, booktitle={Proceedings of DVCON}, author={Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
@inbook{Rasche_Stern_Kleinjohann_Kleinjohann_2013, place={Berlin Heidelberg}, title={A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights}, volume={480}, booktitle={Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480}, publisher={Springer }, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, editor={Sen Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale}, year={2013}, pages={103–113} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
@inproceedings{Klobedanz_Jatzkowski_Rettberg_Müller_2013, title={Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks}, booktitle={International Embedded Systems Symposium (IESS) 2013}, publisher={Springer}, author={Klobedanz, Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
@article{Mertsching_Divband Soorati_Kotthauser_2013, title={Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds}, journal={IEEE International Conference on Robotics and Biomimetics (ROBIO)}, author={Mertsching, Bärbel and Divband Soorati, Mohammad and Kotthauser, Tobias}, year={2013}, pages={661–667} }
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
@article{Hamann_Karsai_Schmickl_2013, title={Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning}, volume={75}, DOI={10.1007/s11538-013-9851-4 }, number={7}, journal={Bulletin of Mathematical Biology}, author={Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas}, year={2013}, pages={1181–1206} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 20150
@article{Hamann_Schmickl_Stradner_Crailsheim_Thenius_Zahadat_2013, title={Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems}, volume={50}, DOI={10.1016/j.chaos.2013.01.011}, journal={Chaos, Solitons & Fractals}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Ronald and Zahadat, Payam}, year={2013}, pages={100–114} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20151
@inproceedings{Hamann_Schmickl_Stradner_Schwarzer_Michiels_Esparcia-Alcazar_2013, title={Virtual Spatiality in Agent Controllers: Encoding Compartmentalization}, volume={7835}, DOI={10.1007/978-3-642-37192-9_58}, booktitle={Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013)}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Schwarzer, Christopher and Michiels, Nico K. and Esparcia-Alcazar, Anna Isabel}, year={2013}, pages={579–588} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20160
@inproceedings{Hamann_2013, title={A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems}, DOI={10.1109/SASO.2013.10}, booktitle={7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013)}, publisher={IEEE Press}, author={Hamann, Heiko}, year={2013}, pages={227–236} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
@inproceedings{Hamann_Lio_Miglino_Nicosia_Nolfi_Pavone_2013, title={Speciation Dynamics: Generating Selective Pressure Towards Diversity}, booktitle={12th European Conference on Artificial Life (ECAL 2013)}, publisher={MIT Press}, author={Hamann, Heiko and Lio, Pietro and Miglino, Orazio and Nicosia, Giuseppe and Nolfi, Stefano and Pavone, Mario}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 20162
@article{Hamann_2013, title={Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance}, volume={7}, DOI={10.1007/s11721-013-0080-0}, number={3}, journal={Swarm Intelligence}, author={Hamann, Heiko}, year={2013}, pages={145–172} }
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 2868
@book{Laudemann_2013, title={Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten}, author={Laudemann, Stefan}, year={2013} }
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
@book{Leder_2013, title={Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken}, author={Leder, Lennart}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
@article{He_Müller_2013, title={ A heuristic energy-aware approach for hard real-time systems on multi-core platforms}, journal={Microprocessors and Microsystems - Embedded Hardware Design 37(6-7)}, author={He, Da and Müller, Wolfgang}, year={2013}, pages={845–857} }
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
@book{Schirner_Götz_Rettberg_Zanella_Rammig_2013, series={Band IFIP AICT 403 }, title={Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013}, publisher={Springer}, year={2013}, collection={Band IFIP AICT 403 } }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
@inproceedings{Khaluf_Rammig_2013, title={Organic Programming of Real-Time Operating Systems}, booktitle={The Ninth International Conference on Autonomic and Autonomous Systems}, author={Khaluf, Lial and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
@inbook{Anacker_Dellnitz_Flaßkamp_Grösbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Kleinjohann_Korf_et al._2013, place={Heidelberg}, title={Methods for the Design and Development}, booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future}, publisher={Springer-Verlag}, author={Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Korf, Sebastian and et al.}, year={2013}, pages={187–356} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
@inproceedings{Wachsmuth_Stein_Engels_2013, series={Lecture Notes in Computer Science}, title={Learning Efficient Information Extraction on Heterogeneous Texts}, booktitle={Proceedings of the Sixth International Joint Conference on Natural Language Processing}, author={Wachsmuth, Henning and Stein, Benno and Engels, Gregor}, editor={Gelbukh, AlexanderEditor}, year={2013}, pages={534–542}, collection={Lecture Notes in Computer Science} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
@inproceedings{Wachsmuth_Stein_Engels_2013, title={Information Extraction as a Filtering Task}, booktitle={Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management}, author={Wachsmuth, Henning and Stein, Benno and Engels, Gregor}, year={2013}, pages={2049–2058} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
@inproceedings{Wachsmuth_Rose_Engels_2013, series={Lecture Notes in Computer Science}, title={Automatic Pipeline Construction for Real-Time Annotation}, booktitle={14th International Conference on Intelligent Text Processing and Computational Linguistics}, author={Wachsmuth, Henning and Rose, Mirko and Engels, Gregor}, editor={Gelbukh, AlexanderEditor}, year={2013}, pages={38–49}, collection={Lecture Notes in Computer Science} }
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
@book{Kuntze_2013, title={Practical algorithms for clustering and modeling large data sets - Analysis and improvements}, publisher={Universität Paderborn}, author={Kuntze, Daniel}, year={2013} }
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
@book{Juhnke_Lefmann_Strehl_2013, title={An Approach for Determining Optimal Contrast in Visual Cryptography}, publisher={Fortschritt-Berichte VDI}, author={Juhnke, Jakob and Lefmann, Hanno and Strehl, Volker}, year={2013} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
@inbook{Blömer_Günther_Liske_2013, place={Berlin, Heidelberg}, title={Improved Side Channel Attacks on Pairing Based Cryptography}, DOI={10.1007/978-3-642-40026-1_10}, booktitle={Constructive Side-Channel Analysis and Secure Design}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Günther, Peter and Liske, Gennadij}, year={2013}, pages={154–168} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
@article{Jager_Schwenk_2013, title={On the Analysis of Cryptographic Assumptions in the Generic Ring Model}, DOI={10.1007/s00145-012-9120-y}, number={2}, journal={J. Cryptology}, author={Jager, Tibor and Schwenk, Jörg}, year={2013}, pages={225--245} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
@inproceedings{Böhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title={Practical Signatures from Standard Assumptions}, DOI={10.1007/978-3-642-38348-9_28}, booktitle={Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings}, author={Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph}, year={2013}, pages={461--485} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
@inproceedings{Jager_Paterson_Somorovsky_2013, title={One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography}, booktitle={20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013}, author={Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}, DOI={10.1007/978-3-642-38592-6_13}, booktitle={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}, author={Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013}, pages={178--192}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={10.1007/978-3-319-03077-7_21}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={10.1007/978-3-642-39718-9_11}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
@inproceedings{Ziegert_Wehrheim_2013, series={{LNI}}, title={Temporal Reconfiguration Plans for Self-Adaptive Systems}, booktitle={Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen}, author={Ziegert, Steffen and Wehrheim, Heike}, editor={Kowalewski, Stefan and Rumpe, BernhardEditors}, year={2013}, pages={271--284}, collection={{LNI}} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
@inproceedings{Gausemeier_Grafe_Meyer auf der Heide_2013, title={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, volume={311}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 }, author={Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
@inproceedings{Keil_Winkelnkemper_2013, title={Approaches for an informational separation of powers in learning platforms}, publisher={Society for Informatics}, author={Keil, Reinhard and Winkelnkemper, Felix}, year={2013}, pages={131–142} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
@inproceedings{Fischer_Geis_ Molich_Kluge_Heimg{\"a}rtner_Hunkirchen_Polkehn_2013, title={„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}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimg{\"a}rtner, R{\"u}diger and Hunkirchen, Peter and Polkehn, Knut}, year={2013}, pages={28–34} }
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
@book{K {\ "u} hnel_2013, place={Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Contextual tagging in the coactive knowledge organization}, publisher={Heinz Nixdorf Institute, Universit {\ "a} t Paderborn}, author={K {\ "u} hnel, Birger}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
@article{Fischer_Strenge_Nebe_2013, series={LNCS 8012}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, publisher={Springer Verlag}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}, year={2013}, pages={252–261}, collection={LNCS 8012} }
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
@article{Keil_Selke_Winkelnkemper_2013, title={Computer science and education - A struggle for creative sovereignty in society?}, journal={FIfF-Kommunikation}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, year={2013}, pages={61–65} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
@inproceedings{Keil_2013, place={Berlin}, title={Media contexts - context media}, publisher={Verbrecher Verlag}, author={Keil, Reinhard}, year={2013}, pages={217–226} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
@article{Klompmaker_Paelke_Fischer_2013, series={LNCS 8028}, title={A Taxonomy-Based Approach Towards NUI Interaction Design}, publisher={Springer Verlag}, author={Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41}, collection={LNCS 8028} }
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
@book{Kaufmann_2013, place={Berlin}, title={Adapting Hardware Systems by Means of Multi-Objective Evolution}, publisher={Logos Verlag Berlin GmbH}, author={Kaufmann, Paul}, year={2013} }
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 20978
@book{Hüwe_2013, title={Das Verteilungsproblem für mechatronische Systeme}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Hüwe, Marcus}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
@book{Koch_2013, title={Combining Scenario-based and Architecture-based Timing Requirements}, publisher={University of Paderborn}, author={Koch, Thorsten}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
@inproceedings{Petring_Eikel_Jähn_Fischer_Meyer auf der Heide_2013, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Darstellung heterogener 3-D-Szenen in Echtzeit}, volume={311}, booktitle={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, author={Petring, Ralf and Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2013}, pages={49--60}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
@book{Eikel_2013, place={Universität Paderborn}, title={Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes}, author={Eikel, Benjamin}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
@inproceedings{Meyer auf der Heide_2013, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen}, volume={311}, booktitle={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Meyer auf der Heide, Friedhelm}, year={2013}, pages={7–16}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
@book{Gausemeier_Grafe_Meyer auf der Heide_2013, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, volume={311}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2013}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2013 | Journal Article | LibreCat-ID: 17663
@article{Cohen_Nudelman_Polevoy_2013, title={On the Admission of Dependent Flows in Powerful Sensor Networks}, volume={21}, DOI={10.1109/TNET.2012.2227792}, number={5}, journal={Networking, IEEE/ACM Transactions on}, author={Cohen, R. and Nudelman, I. and Polevoy, Gleb}, year={2013}, pages={1461–1471} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1785
@inproceedings{Rammig_Stahl_Vaz_2013, title={A framework for enhancing dependability in self-x systems by Artificial Immune Systems}, DOI={10.1109/ISORC.2013.6913240}, booktitle={IEEE Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC)}, publisher={IEEE}, author={Rammig, Franz and Stahl, Katharina and Vaz, Gavin Francis}, year={2013}, pages={1–10} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1786
@inproceedings{Kasap_Redif_2013, title={FPGA Implementation of a Second-Order Convolutive Blind Signal Separation Algorithm}, DOI={10.1109/SIU.2013.6531530}, booktitle={Proc. IEEE Signal Processing and Communications Conf. (SUI)}, publisher={IEEE}, author={Kasap, Server and Redif, Soydan}, year={2013} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1792
@article{Kasap_Redif_2013, title={Novel Field-Programmable Gate Array Architecture for Computing the Eigenvalue Decomposition of Para-Hermitian Polynomial Matrices}, volume={22}, DOI={10.1109/TVLSI.2013.2248069}, number={3}, journal={IEEE Trans. on Very Large Scale Integration (VLSI) Systems}, publisher={IEEE}, author={Kasap, Server and Redif, Soydan}, year={2013}, pages={522–536} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1868
@article{W. Richa_Scheideler_Schmid_Zhang_2013, title={Competitive throughput in multi-hop wireless networks despite adaptive jamming}, DOI={10.1007/s00446-012-0180-x}, number={3}, journal={Distributed Computing}, author={W. Richa, Andr{\’{e}}a and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2013}, pages={159--171} }
LibreCat
| DOI