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.
9749 Publications
2014 | Journal Article | LibreCat-ID: 32025
@article{Kü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
2014 | Book | LibreCat-ID: 48384
@book{Wessel_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
2014 | Journal Article | LibreCat-ID: 25164
@article{Becker_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
2013 | Conference Paper | LibreCat-ID: 25269
@inproceedings{Khaluf_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
2013 | Conference Paper | LibreCat-ID: 25270
@inproceedings{Joy_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
2013 | Conference Paper | LibreCat-ID: 25271
@inproceedings{He_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
2013 | Conference Paper | LibreCat-ID: 25273
@inproceedings{Wehrmeister_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
2013 | Conference Paper | LibreCat-ID: 25274
@inproceedings{Khaluf_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
2013 | Conference Paper | LibreCat-ID: 25277
@inproceedings{Farshizadeh_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
2013 | Conference Paper | LibreCat-ID: 25284
@inproceedings{Mischkalla_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
2013 | Conference Paper | LibreCat-ID: 25286
@inproceedings{Jungmann_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
2013 | Conference Paper | LibreCat-ID: 25287
@inproceedings{Gilles_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
2013 | Conference Paper | LibreCat-ID: 25289
@inproceedings{Grö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
2013 | Conference Paper | LibreCat-ID: 25290
@inproceedings{Rammig_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
2013 | Conference Paper | LibreCat-ID: 25291
@inproceedings{Becker_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
2013 | Conference Paper | LibreCat-ID: 25292
@inproceedings{Rammig_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
2013 | Conference Paper | LibreCat-ID: 25296
@inproceedings{Rasche_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
2013 | Conference Paper | LibreCat-ID: 25298
@inproceedings{Stahl_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
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
@inproceedings{Grö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
2013 | Conference Paper | LibreCat-ID: 25548
@inproceedings{Grö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
2013 | Conference Paper | LibreCat-ID: 25557
@inproceedings{Qanadilo_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
2013 | Conference Paper | LibreCat-ID: 25573
@inproceedings{Stern_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
2013 | Conference Paper | LibreCat-ID: 25574
@inproceedings{Rasche_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
2013 | Conference Paper | LibreCat-ID: 25575
@inproceedings{Grö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
2013 | Conference Paper | LibreCat-ID: 25606
@inproceedings{Kuznik_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
2013 | Conference Paper | LibreCat-ID: 25612
@inproceedings{Mischkalla_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
2013 | Conference Paper | LibreCat-ID: 25614
@inproceedings{Kuznik_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
2013 | Newspaper Article | LibreCat-ID: 25615
@article{Engels_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
2013 | Journal Article | LibreCat-ID: 25616
@article{Grö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
2013 | Journal Article | LibreCat-ID: 25618
@article{Jungmann_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
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 | Journal Article | LibreCat-ID: 1783
@article{Grynko_Shkuratov_Förstner_2013, title={Light scattering by randomly irregular dielectric particles larger than the wavelength}, volume={38}, DOI={10.1364/OL.38.005153}, number={23}, journal={Optical Letters}, author={Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}, year={2013}, pages={5153–5156} }
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
2013 | Journal Article | LibreCat-ID: 1870
@article{Mohd Nor_Nesterenko_Scheideler_2013, title={Corona: A stabilizing deterministic message-passing skip list}, DOI={10.1016/j.tcs.2012.08.029}, journal={Theor. Comput. Sci.}, author={Mohd Nor, Rizal and Nesterenko, Mikhail and Scheideler, Christian}, year={2013}, pages={119--129} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1871
@article{W. Richa_Scheideler_Schmid_Zhang_2013, title={An Efficient and Fair MAC Protocol Robust to Reactive Interference}, DOI={10.1109/TNET.2012.2210241}, number={3}, journal={IEEE/ACM Trans. Netw.}, author={W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2013}, pages={760--771} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20831
@inproceedings{Geismann_2013, place={Bonn, Germany}, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Quelltextgenerierung für LEGO Mindstorms-Roboter}, volume={12}, booktitle={Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten}, publisher={Köllen Verlag}, author={Geismann, Johannes}, year={2013}, pages={71–74}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias and Becker, Steffen}, year={2013}, pages={147–160} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 1798
@inproceedings{Keller_Robbert_Peuster_2013, title={An evaluation testbed for adaptive, topology-aware deployment of elastic applications}, booktitle={Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM }, author={Keller, Matthias and Robbert, Christoph and Peuster, Manuel}, year={2013} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 1799
@inproceedings{Ali-Ahmad_Cicconetti_de la Oliva_Draxler_Gupta_Mancuso_Roullet_Sciancalepore_2013, title={CROWD: An SDN Approach for DenseNets}, DOI={10.1109/ewsdn.2013.11}, booktitle={2013 Second European Workshop on Software Defined Networks}, publisher={IEEE}, author={Ali-Ahmad, Hassan and Cicconetti, Claudio and de la Oliva, Antonio and Draxler, Martin and Gupta, Rohit and Mancuso, Vincenzo and Roullet, Laurent and Sciancalepore, Vincenzo}, year={2013} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1800
@inbook{Blanckenstein_Garcia-Jimenez_Klaue_Karl_2013, place={Cham}, title={A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft}, DOI={10.1007/978-3-319-03071-5_18}, booktitle={Lecture Notes in Electrical Engineering}, publisher={Springer International Publishing}, author={Blanckenstein, Johannes and Garcia-Jimenez, Javier and Klaue, Jirka and Karl, Holger}, year={2013}, pages={165–177} }
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 18000
@book{Blumentritt_2013, title={Cliquenbildung in verteilten Systemen}, publisher={Universität Paderborn}, author={Blumentritt, Fritz}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 1802
@inproceedings{Wette_Graffi_2013, title={Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables}, DOI={10.1109/netsys.2013.9}, booktitle={2013 Conference on Networked Systems}, publisher={IEEE}, author={Wette, P. and Graffi, K.}, year={2013} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1803
@inproceedings{Dannewitz_Herlich_Karl_2013, title={OpenNetInf - prototyping an information-centric Network Architecture}, DOI={10.1109/lcnw.2012.6424044}, booktitle={37th Annual IEEE Conference on Local Computer Networks -- Workshops}, publisher={IEEE}, author={Dannewitz, Christian and Herlich, Matthias and Karl, Holger}, year={2013} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1804
@inbook{de la Oliva_Morelli_Mancuso_Draexler_Hentschel_Melia_Seite_Cicconetti_2013, place={Berlin, Heidelberg}, title={Denser Networks for the Future Internet, the CROWD Approach}, DOI={10.1007/978-3-642-37935-2_3}, booktitle={Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, publisher={Springer Berlin Heidelberg}, author={de la Oliva, Antonio and Morelli, Arianna and Mancuso, Vincenzo and Draexler, Martin and Hentschel, Tim and Melia, Telemaco and Seite, Pierrick and Cicconetti, Claudio}, year={2013}, pages={28–41} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 22932
@inproceedings{Dumitrescu_Kühn_2013, title={ Intelligenz in der Produktion - Spitzencluster it’s OWL als Wegbereiter für Industrie 4.0}, booktitle={Markt&Technik Summit Industrie 4.0, München, 16. - 17. Okt. 2013}, author={Dumitrescu, Roman and Kühn, Arno}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 22933
@inproceedings{Schmitt_Kaiser_Dumitrescu_Hofmann_2013, place={München}, title={Von der Anforderungserfassung bis zur Funktionsstruktur - Ein Systems Engineering-Vorgehen für die industrielle Praxis}, booktitle={Tag des Systems Engineering}, publisher={Carl Hanser Verlag}, author={Schmitt, Nicolas and Kaiser, Lydia and Dumitrescu, Roman and Hofmann, Maik}, editor={Maurer, Maik and Schulze, Sven-OlafEditors}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 22934
@inproceedings{Low_Kasim_Koch_Dumitrescu_Yussof_Jaafar_Jaafar_Aqilah_Ng_2013, title={Hybrid-Actuated Finger Prosthesis with Tactile Sensing}, volume={Band 10}, booktitle={International Journal of Advanced Robotic Systems}, author={Low, Cheng Yee and Kasim, Mohamad Amlie Abu and Koch, Torben and Dumitrescu, Roman and Yussof, Hanafiah and Jaafar, Roseleena and Jaafar, Ahmed and Aqilah, Ahsana and Ng, Kok Mun}, year={2013} }
LibreCat
2013 | Newspaper Article | LibreCat-ID: 22935
@article{Low_Aldemir_Aziz_Dumitrescu_Anacker_2013, title={Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution}, journal={Journal of Production Engineering Research & Development (PERE) 7}, author={Low, Cheng and Aldemir, Mustafa and Aziz, Norheliena and Dumitrescu, Roman and Anacker, Harald}, year={2013}, pages={23–34} }
LibreCat
2013 | Journal Article | LibreCat-ID: 21748
@article{Joel_2013, title={The Need to Start Research Education Early}, volume={33}, DOI={10.1109/MCG.2013.79}, number={5}, journal={IEEE Computer Graphics and Applications}, publisher={IEEE}, author={Joel, W. J.}, year={2013}, pages={79–81} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21752
@article{Kerren_2013, title={Information Visualization Courses for Students with a Computer Science Background}, volume={33}, DOI={10.1109/MCG.2013.27}, number={2}, journal={IEEE Computer Graphics and Applications}, publisher={IEEE}, author={Kerren, A.}, year={2013}, pages={12–15} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21807
@article{Schell_Klug_2013, title={Building Virtual Worlds Carrying on the Legacy of Randy Pausch’s “Head Fake”}, volume={33}, DOI={10.1109/MCG.2013.42}, number={3}, journal={IEEE Computer Graphics and Applications}, author={Schell, J. and Klug, C.}, year={2013}, pages={12–15} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21935
@article{Noé_Nüske_2013, title={A Variational Approach to Modeling Slow Processes in Stochastic Dynamical Systems}, DOI={10.1137/110858616}, journal={Multiscale Modeling & Simulation}, author={Noé, Frank and Nüske, Feliks}, year={2013}, pages={635–655} }
LibreCat
| DOI