@articleAgne_Happe_Lösch_Plessl_Platzner_2014, title=Self-awareness as a Model for Designing and Operating Heterogeneous Multicores, volume=7, DOI=10.1145/2617596, number=213, journal=ACM Transactions on Reconfigurable Technology and Systems (TRETS), publisher=ACM, author=Agne, Andreas and Happe, Markus and Lösch, Achim and Plessl, Christian and Platzner, Marco, year=2014 
LibreCat: /record/365
DOI: 10.1145/2617596

@articleAgne_Happe_Keller_Lübbers_Plattner_Platzner_Plessl_2014, title=ReconOS - An Operating System Approach for Reconfigurable Computing, volume=34, DOI=10.1109/MM.2013.110, number=1, journal=IEEE Micro, publisher=IEEE, author=Agne, Andreas and Happe, Markus and Keller, Ariane and Lübbers, Enno and Plattner, Bernhard and Platzner, Marco and Plessl, Christian, year=2014, pages=60–71 
LibreCat: /record/328
DOI: 10.1109/MM.2013.110

@inproceedingsC. Durelli_Pogliani_Miele_Plessl_Riebler_Vaz_D. Santambrogio_Bolchini_2014, title=Runtime Resource Management in Heterogeneous System Architectures: The SAVE Approach, DOI=10.1109/ISPA.2014.27, booktitle=Proc. Int. Symp. on Parallel and Distributed Processing with Applications (ISPA), publisher=IEEE, author=C. Durelli, Gianluca and Pogliani, Marcello and Miele, Antonio and Plessl, Christian and Riebler, Heinrich and Vaz, Gavin Francis and D. Santambrogio, Marco and Bolchini, Cristiana, year=2014, pages=142–149 
LibreCat: /record/1778
DOI: 10.1109/ISPA.2014.27

@inproceedingsVaz_Riebler_Kenter_Plessl_2014, title=Deferring Accelerator Offloading Decisions to Application Runtime, DOI=10.1109/ReConFig.2014.7032509, booktitle=Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), publisher=IEEE, author=Vaz, Gavin Francis and Riebler, Heinrich and Kenter, Tobias and Plessl, Christian, year=2014, pages=1–8 
LibreCat: /record/439
DOI: 10.1109/ReConFig.2014.7032509

@inproceedingsKenter_Schmitz_Plessl_2014, title=Kernel-Centric Acceleration of High Accuracy Stereo-Matching, DOI=10.1109/ReConFig.2014.7032535, booktitle=Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), publisher=IEEE, author=Kenter, Tobias and Schmitz, Henning and Plessl, Christian, year=2014, pages=1–8 
LibreCat: /record/406
DOI: 10.1109/ReConFig.2014.7032535

@inproceedingsC. Durelli_Copolla_Djafarian_Koranaros_Miele_Paolino_Pell_Plessl_D. Santambrogio_Bolchini_2014, title=SAVE: Towards efficient resource management in heterogeneous system architectures, DOI=10.1007/978-3-319-05960-0_38, booktitle=Proc. Int. Conf. on Reconfigurable Computing: Architectures, Tools and Applications (ARC), publisher=Springer, author=C. Durelli, Gianluca and Copolla, Marcello and Djafarian, Karim and Koranaros, George and Miele, Antonio and Paolino, Michele and Pell, Oliver and Plessl, Christian and D. Santambrogio, Marco and Bolchini, Cristiana, year=2014 
LibreCat: /record/1780
DOI: 10.1007/978-3-319-05960-0_38

@articleGiefers_Plessl_Förstner_2014, title=Accelerating Finite Difference Time Domain Simulations with Reconfigurable Dataflow Computers, volume=41, DOI=10.1145/2641361.2641372, number=5, journal=ACM SIGARCH Computer Architecture News, publisher=ACM, author=Giefers, Heiner and Plessl, Christian and Förstner, Jens, year=2014, pages=65–70 
LibreCat: /record/1779
DOI: 10.1145/2641361.2641372

@inproceedingsJonas-Ahrend_2014, place=Columbus, Ohio, title=The project virtual science fair for promoting inquiry learning, booktitle=Initiatives in mathematics and science education with global implications, publisher=International Consortium for Research in Science and Mathematics Education, author=Jonas-Ahrend, Gabriela, editor=Berlin, D.F. and White, A.L., year=2014, pages=85–89 
LibreCat: /record/47592

@inproceedingsJonas-Ahrend_Rafaeli-Mishkin_Wengrovicz_Dori_2014, title=Raising students’ interest in STEM and encouraging career choice in science and engineering, author=Jonas-Ahrend, Gabriela and Rafaeli-Mishkin, Hagit and Wengrovicz, Niva and Dori, Yehudit Judy, year=2014 
LibreCat: /record/47606

@articleSchmalenstroeer_Jebramcik_Haeb-Umbach_2014, title=A combined hardware-software approach for acoustic sensor network synchronization , DOI=http://dx.doi.org/10.1016/j.sigpro.2014.06.030, number=0, journal=Signal Processing, author=Schmalenstroeer, Joerg and Jebramcik, Patrick and Haeb-Umbach, Reinhold, year=2014 
LibreCat: /record/11898
DOI: http://dx.doi.org/10.1016/j.sigpro.2014.06.030

@inproceedingsSchmalenstroeer_Jebramcik_Haeb-Umbach_2014, title=A Gossiping Approach to Sampling Clock Synchronization in Wireless Acoustic Sensor Networks, booktitle=39th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2014), author=Schmalenstroeer, Joerg and Jebramcik, Patrick and Haeb-Umbach, Reinhold, year=2014 
LibreCat: /record/11897

@inproceedingsSchmalenstroeer_Zhao_Haeb-Umbach_2014, title=Online Observation Error Model Estimation for Acoustic Sensor Network Synchronization, booktitle=11. ITG Fachtagung Sprachkommunikation (ITG 2014), author=Schmalenstroeer, Joerg and Zhao, Weile and Haeb-Umbach, Reinhold, year=2014 
LibreCat: /record/11903

@inbookKerschke_Preuss_Hernández_Schütze_Sun_Grimme_Rudolph_Bischl_Trautmann_2014, place=Cham, series=Advances in Intelligent Systems and Computing, title=Cell Mapping Techniques for Exploratory Landscape Analysis, volume=288, DOI=10.1007/978-3-319-07494-8_9, booktitle=EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, publisher=Springer International Publishing, author=Kerschke, Pascal and Preuss, Mike and Hernández, Carlos and Schütze, Oliver and Sun, Jian-Qiao and Grimme, Christian and Rudolph, Günter and Bischl, Bernd and Trautmann, Heike, editor=Tantar, Alexandru-Adrian and Tantar, Emilia and Sun, Jian-Qiao and Zhang, Wei and Ding, Qian and Schütze, Oliver and Emmerich, Michael T M and Legrand, Pierrick and Del, Moral Pierre and Coello, Coello Carlos A, year=2014, pages=115–131, collection=Advances in Intelligent Systems and Computing 
LibreCat: /record/46381
DOI: 10.1007/978-3-319-07494-8_9

@inbookRudolph_Schütze_Grimme_Trautmann_2014, series=Advances in Intelligent Systems and Computing, title=A Multiobjective Evolutionary Algorithm Guided by Averaged Hausdorff Distance to Aspiration Sets, volume=288, DOI=10.1007/978-3-319-07494-8_18, booktitle=EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, publisher=Springer International Publishing, author=Rudolph, G and Schütze, O and Grimme, C and Trautmann, Heike, editor=Tantar, A and Tantar, E and Sun, J and Zhang, W and Ding, Q and Schütze, O and Emmerich, M and Legrand, P and Del, Moral P and Coello, Coello CA, year=2014, pages=261–273, collection=Advances in Intelligent Systems and Computing 
LibreCat: /record/46382
DOI: 10.1007/978-3-319-07494-8_18

@inproceedingsRudolph_Grimme_Schütze_Trautmann_2014, place=Gainesville, Florida, USA, series=Lecture Notes in Computer Science, title=An Aspiration Set EMOA Based on Averaged Hausdorff Distances, volume=8426, booktitle=Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8), publisher=Springer, author=Rudolph, Günter and Grimme, Christian and Schütze, Oliver and Trautmann, Heike, year=2014, pages=153–156, collection=Lecture Notes in Computer Science 
LibreCat: /record/46383

@inproceedingsWessing_Preuss_Trautmann_2014, place=Ljubljana, Slovenia, series=Lecture Notes in Computer Science, title=Stopping Criteria for Multimodal Optimization, volume=8672, DOI=10.1007/978-3-319-10762-2_14, booktitle=Proceedings of the Parallel Problem Solving from Nature — PPSN XIII, publisher=Springer, author=Wessing, S and Preuss, M and Trautmann, Heike, editor=Bartz-Beielstein, T and Branke, J and Filipic, B and Smith, J, year=2014, pages=141–150, collection=Lecture Notes in Computer Science 
LibreCat: /record/46384
DOI: 10.1007/978-3-319-10762-2_14

@inproceedingsFahl_Acar_Perl_Smith_2014, title=Why eve and mallory (also) love webmasters, DOI=10.1145/2590296.2590341, booktitle=Proceedings of the 9th ACM symposium on Information, computer and communications security, publisher=ACM, author=Fahl, Sascha and Acar, Yasemin and Perl, Henning and Smith, Matthew, year=2014 
LibreCat: /record/47162
DOI: 10.1145/2590296.2590341

@inproceedingsPanse_Hilgert_Hoffmann_2014, place=Münster, title=Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn, DOI=10.17877/DE290R-15591, booktitle=Beiträge zum Mathematikunterricht 2014, publisher=WTM-Verlag, author=Panse, Anja and Hilgert, Joachim and Hoffmann, Max, editor=Roth, Jürgen and Ames, Judith, year=2014, pages=883–886 
LibreCat: /record/31369
DOI: 10.17877/DE290R-15591

@articleHilgert_Möllers_Kobayashi_2014, title=Minimal representations via Bessel operators, volume=66, journal=J. Math. Soc. Japan, author=Hilgert, Joachim and Möllers, J. and Kobayashi, T., year=2014, pages=349–414 
LibreCat: /record/51394

@articleHilgert_Wurzbacher_Alldridge_2014, title=Singular superspaces, volume=278, journal=Math. Z., author=Hilgert, Joachim and Wurzbacher, T. and Alldridge, A., year=2014, pages=441–492 
LibreCat: /record/51393

@inbookHilgert_Ólafsson_2014, series=Developments in Mathematics, title=The Radon transform and its dual for limits of symmetric spaces, volume=37, booktitle=Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods, publisher=Springer, author=Hilgert, Joachim and Ólafsson, G., editor=Mason, G. and Penkov, I. and Wolf, J.A., year=2014, collection=Developments in Mathematics 
LibreCat: /record/51466

@inbookHilgert_Hoffmann_Panse_2014, place=Münster, title=Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik, booktitle=Beiträge zum Mathematikunterricht 2014, publisher=WTM Verlag, author=Hilgert, Joachim and Hoffmann, M. and Panse, A., editor=Roth, J. and Ames, J., year=2014 
LibreCat: /record/51465

@articleHilgert_Pasquale_Przebinda_2014, title=Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3), author=Hilgert, Joachim and Pasquale, A. and Przebinda, T., year=2014 
LibreCat: /record/51531

@articleAxelsson_Karátson_Kovács_2014, title=Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality, volume=52, DOI=10.1137/130940268, number=6, journal=SIAM Journal on Numerical Analysis, publisher=Society for Industrial &; Applied Mathematics (SIAM), author=Axelsson, Owe and Karátson, János and Kovács, Balázs, year=2014, pages=2957–2976 
LibreCat: /record/45935
DOI: 10.1137/130940268

@articleKovács_2014, title=On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems, volume=59, DOI=10.1007/s10492-014-0068-0, number=5, journal=Applications of Mathematics, publisher=Institute of Mathematics, Czech Academy of Sciences, author=Kovács, Balázs, year=2014, pages=489–508 
LibreCat: /record/45934
DOI: 10.1007/s10492-014-0068-0

@bookWerth_2014, title=Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?, author=Werth, Gerda, year=2014 
LibreCat: /record/51696

@articleKüster_2014, title=Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra, volume=22, number=2, journal=Communications in Mathematics, author=Küster, Benjamin, year=2014, pages=141–149 
LibreCat: /record/32025

@bookWessel_2014, place=Wiesbaden, title=Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, volume=19, publisher=Springer-Verlag, author=Wessel, Lena, year=2014 
LibreCat: /record/48384

@articleBecker_Müller_Stroop_Kiffmeier_2014, title=HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC, journal=Design, Automation and Test in Europe DATE, University Booth, Dresden, author=Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich, year=2014 
LibreCat: /record/25164

@inproceedingsKhaluf_Birattari_Rammig_2013, series=Theory and Practice of Natural Computing, Nr. 8273, title=Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences, volume=8273, booktitle=Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, publisher=Springer, author=Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef, year=2013, collection=Theory and Practice of Natural Computing, Nr. 8273 
LibreCat: /record/25269

@inproceedingsJoy_Müller_Rammig_2013, title=Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model, booktitle=Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,, publisher=Linköping University Electronic Press, author=Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25270

@inproceedingsHe_Müller_2013, title=AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS, booktitle=Proceedings of International Conference on Applied Computing (AC), author=He, Da and Müller, Wolfgang, year=2013 
LibreCat: /record/25271

@inproceedingsWehrmeister_Pereira_Rammig_2013, title=Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems, booktitle= IEEE Trans. on Industrial Informatics vol. 9 (no. 4), author=Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef, year=2013, pages=2373–2386 
LibreCat: /record/25273

@inproceedingsKhaluf_Rammig_2013, title=Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms, booktitle=ECAL 2013, 12th European Conference on Artificial Life, author=Khaluf, Yara and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25274

@inproceedingsFarshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title=Simulationsgestützter Entwurf für Elektrofahrzeuge, booktitle=8. Dortmunder Autotag, Sep. 2013, author=Farshizadeh, Emad and Briese, Herrmann 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: /record/25277

@inproceedingsMischkalla_Müller_2013, title= Efficient Power Intent Validation Using Loosely-Timed Simulation Models, booktitle= 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/25284

@inproceedingsJungmann_Kleinjohann_2013, title=Learning Recommendation System for Automated Service Composition, booktitle=Proceedings of the 10th IEEE International Conference on Services Computing (SCC), publisher= IEEE Computer Society, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2013, pages=97–104 
LibreCat: /record/25286

@inproceedingsGilles_Grösbrink_Baldin_Kerstan_2013, title=Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems, booktitle=International Embedded Systems Symposium, 17. - 19. Jun. 2013, author=Gilles, Katharina and Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo, year=2013 
LibreCat: /record/25287

@inproceedingsGrösbrink_2013, title=On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem, booktitle= International Embedded Systems Symposium, 17. - 19. Jun. 2013, author=Grösbrink, Stefan, year=2013 
LibreCat: /record/25289

@inproceedingsRammig_Khaluf_Montealegre_Stahl_Zhao_2013, title=Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software, booktitle=Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013, publisher=IEEE, author=Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong, year=2013 
LibreCat: /record/25290

@inproceedingsBecker_Kiffmeier_Müller_2013, title=HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures, booktitle=16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing, author=Becker, Markus and Kiffmeier, Ulrich and Müller, Wolfgang, year=2013 
LibreCat: /record/25291

@inproceedingsRammig_Stahl_Vaz_2013, title=A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems, booktitle=Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013, publisher=IEEE, author=Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis, year=2013 
LibreCat: /record/25292

@inproceedingsRasche_Ziegert_2013, title=Multilevel Planning for Self-Optimizing Mechatronic Systems, booktitle=Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, publisher=ThinkMind, author=Rasche, Christoph and Ziegert, Steffen, year=2013, pages=6 
LibreCat: /record/25296

@inproceedingsStahl_2013, title=AIS-based Anomaly Detection for Self-X Systems, booktitle=Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), publisher=Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, author=Stahl, Katharina, year=2013, pages=24–26 
LibreCat: /record/25298

@inproceedingsGrösbrink_Rammig_2013, place=Brasilia, Brazil, title=Safe Self-Evolving Embedded Software via System Virtualization, booktitle=3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013, publisher=SBC, author=Grösbrink, Stefan and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25299

@inproceedingsGrösbrink_Almeida_de Sousa_Petters_2013, title=Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope, booktitle=5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), author=Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M., year=2013 
LibreCat: /record/25548

@inproceedingsQanadilo_Samara_Zhao_2013, title=Accelerating Online Model Checking, booktitle=6’th Latin-American Symposium on Dependable Computing (LADC 2013), author=Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong, year=2013 
LibreCat: /record/25557

@inproceedingsStern_Rasche_Kleinjohann_Kleinjohann_2013, title=Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen, volume=311, booktitle=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, author=Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2013 
LibreCat: /record/25573

@inproceedingsRasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title=Statistisches Planen in einem realen Roboterszenario, volume=310, booktitle=Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Rasche, Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2013, pages=133–146 
LibreCat: /record/25574

@inproceedingsGrösbrink_Baldin_Oberthür_2013, title=Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems, booktitle=ACM SIGBED Review, Band 10, publisher=ACM, author=Grösbrink, Stefan and Baldin, Daniel and Oberthür, Simon, year=2013 
LibreCat: /record/25575

@inproceedingsKuznik_F. S. Oliveira_Müller_2013, title=SystemC Verification Components - An enhanced OVM/UVM for SystemC, booktitle=edaWorkshop 13, author=Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang, year=2013 
LibreCat: /record/25606

@inproceedingsMischkalla_Müller_2013, title=Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen, booktitle=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/25612

@inproceedingsKuznik_F. S. Oliveira_Müller_2013, title=SC OVM: An Advanced SystemC Library for OVM-based Verification, booktitle=Open SANITAS SystemC Verification Workshop, author=Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang, year=2013 
LibreCat: /record/25614

@articleEngels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title= Informationstechnik spart Ressourcen, journal=ForschungsForum Paderborn , author=Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang, year=2013 
LibreCat: /record/25615

@articleGrösbrink_2013, title=Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues, journal=Production Engineering Research &; Development 7(1), author=Grösbrink, Stefan, year=2013, pages=69–79 
LibreCat: /record/25616

@articleJungmann_Kleinjohann_Kleinjohann_2013, title=Learning Service Recommendations, journal=International Journal of Business Process Integration and Management 6(4), author=Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa, year=2013, pages=284–297 
LibreCat: /record/25618

@inproceedingsKuznik_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: /record/25620

@inbookRasche_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: /record/25625

@inproceedingsKlobedanz_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: /record/25632

@articleMertsching_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: /record/19981

@articleHamann_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: /record/20148
DOI: 10.1007/s11538-013-9851-4 

@articleHamann_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: /record/20150
DOI: 10.1016/j.chaos.2013.01.011

@inproceedingsHamann_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: /record/20151
DOI: 10.1007/978-3-642-37192-9_58

@inproceedingsHamann_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: /record/20160
DOI: 10.1109/SASO.2013.10

@inproceedingsHamann_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: /record/20161

@articleHamann_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: /record/20162
DOI: 10.1007/s11721-013-0080-0

@bookLaudemann_2013, title=Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten, author=Laudemann, Stefan, year=2013 
LibreCat: /record/2868

@bookLeder_2013, title=Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken, author=Leder, Lennart, year=2013 
LibreCat: /record/2869

@articleHe_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: /record/25740

@bookSchirner_Götz_Rettberg_Zanella_Rammig_2013, series=Band IFIP AICT 403 , title=Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP T International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013, publisher=Springer, year=2013, collection=Band IFIP AICT 403  
LibreCat: /record/25741

@inproceedingsKhaluf_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: /record/25742

@inbookAnacker_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: /record/25743

@inproceedingsWachsmuth_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: /record/3813

@inproceedingsWachsmuth_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: /record/3814

@inproceedingsWachsmuth_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: /record/3876

@bookKuntze_2013, title=Practical algorithms for clustering and modeling large data sets - Analysis and improvements, publisher=Universität Paderborn, author=Kuntze, Daniel, year=2013 
LibreCat: /record/2909

@bookJuhnke_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: /record/2917

@inbookBlö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: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

@articleJager_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: /record/3129
DOI: 10.1007/s00145-012-9120-y

@inproceedingsBö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: /record/3130
DOI: 10.1007/978-3-642-38348-9_28

@inproceedingsJager_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: /record/3131

@inproceedingsIsenberg_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: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

@inproceedingsTravkin_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: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

@inproceedingsDongol_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: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

@inproceedingsZiegert_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\'22arz 2013 in Aachen, author=Ziegert, Steffen and Wehrheim, Heike, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=271--284, collection=LNI 
LibreCat: /record/3179

@inproceedingsGausemeier_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: /record/27054

@inproceedingsKeil_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: /record/27168

@inproceedingsFischer_Geis _Molich_Kluge_Heimg\'22artner_Hunkirchen_Polkehn_2013, title=eDo You Speak Usability?“3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified 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\'22artner,  R\'22udiger and Hunkirchen,  Peter  and Polkehn, Knut, year=2013, pages=28334 
LibreCat: /record/27169

@bookK  "u hnel_2013, place=Universit \'22 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: /record/27171

@articleFischer_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: /record/27172

@articleKeil_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: /record/27173

@inproceedingsKeil_2013, place=Berlin, title=Media contexts - context media, publisher=Verbrecher Verlag, author=Keil, Reinhard, year=2013, pages=217–226 
LibreCat: /record/27174

@articleKlompmaker_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: /record/27175

@bookKaufmann_2013, place=Berlin, title=Adapting Hardware Systems by Means of Multi-Objective Evolution, publisher=Logos Verlag Berlin GmbH, author=Kaufmann, Paul, year=2013 
LibreCat: /record/11619

@bookHüwe_2013, title=Das Verteilungsproblem für mechatronische Systeme, publisher=Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, author=Hüwe, Marcus, year=2013 
LibreCat: /record/20978

@inproceedingsFarshizadeh_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: /record/20980

@bookKoch_2013, title=Combining Scenario-based and Architecture-based Timing Requirements, publisher=University of Paderborn, author=Koch, Thorsten, year=2013 
LibreCat: /record/20985

@inproceedingsPetring_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: /record/17439

@bookEikel_2013, place=Universität Paderborn, title=Spherical visibility samplingf: preprocessed visibility for occlusion culling in complex 3D scenes, author=Eikel, Benjamin, year=2013 
LibreCat: /record/17440

@inproceedingsMeyer 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: /record/17442