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.
9730 Publications
2015 | Preprint | LibreCat-ID: 51526
@article{Hilgert_Pasquale_Przebinda_2015, title={Resonances for the Laplacian: the cases BC2 and C2 (except over SOo(p,2), p>0 odd)}, author={Hilgert, Joachim and Pasquale, A. and Przebinda, T.}, year={2015} }
LibreCat
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51527
@article{Hilgert_Manon_Martens_2015, title={Contraction of Hamiltonian K-spaces}, author={Hilgert, Joachim and Manon, C. and Martens, J.}, year={2015} }
LibreCat
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51529
@article{Hilgert_Pasquale_Przebinda_2015, title={Resonances for the Laplacian of products of two rank one Riemannian symmetric spaces}, author={Hilgert, Joachim and Pasquale, A. and Przebinda, T.}, year={2015} }
LibreCat
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51530
@article{Hilgert_Alldridge_Wurzbacher_2015, title={Superorbits}, author={Hilgert, Joachim and Alldridge, A. and Wurzbacher, T.}, year={2015} }
LibreCat
| Download (ext.)
2015 | Dissertation | LibreCat-ID: 45973 | 
@book{Kovács_2015, place={Budapest, Hungary}, title={Efficient numerical methods for elliptic and parabolic partial differential equations}, DOI={10.15476/ELTE.2015.076}, author={Kovács, Balázs}, year={2015} }
LibreCat
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 33620
@inproceedings{Rezat_Rezat_Janzen_2015, place={Münster}, title={Sprachsensibler Umgang mit Textmustern im Mathematikunterricht am Beispiel von Konstruktionsbeschreibungen}, booktitle={Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel. Band 2}, publisher={WTM}, author={Rezat, Sara and Rezat, Sebastian and Janzen, Sabrina}, editor={Caluori, F. and Linneweber-Lammerskitten, H. and Streit, Chr.}, year={2015}, pages={736–739} }
LibreCat
2015 | Book (Editor) | LibreCat-ID: 53590
@book{Müller-Gridschneder_Müller_Mitra_2015, place={Amsterdam, Netherlands}, title={Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems}, year={2015} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25112
@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, booktitle={Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25114
@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, journal={International Journal on Advances in Intelligent Systems 7(3&4)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572–594} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25115
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement Learning for Resolving Ambiguity in Service Composition}, booktitle={Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={105–112} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25116
@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification & Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25119
@inproceedings{Stern_Kleinjohann_2014, title={Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces}, booktitle={Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014}, publisher={ Institute of Industrial Applications Engineers}, author={Stern, Claudius and Kleinjohann, Lisa}, year={2014}, pages={209–215} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25122
@inproceedings{Grösbrink_Almeida_2014, title={A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors}, booktitle={19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Grösbrink, Stefan and Almeida, Luis}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
@inproceedings{Becker_Kuznik_Müller_2014, title={Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}, booktitle={17th Euromicro Conference on Digital Systems Design (DSD)}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25147
@inproceedings{Jatzkowski_Kleinjohann_2014, title={Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt)}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25148
@inproceedings{Sudhakar_Zhao_Rammig_2014, place={Reno, NV}, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, booktitle={Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2014}, pages={374–383} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25149
@inproceedings{Rammig_Stahl_2014, title={Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems}, booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on}, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2014}, pages={334–341} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25150
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, publisher={IEEE}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25152
@inproceedings{Grösbrink_2014, title={Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems}, booktitle={8th IEEE International Conference on Software Security and Reliability}, author={Grösbrink, Stefan}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25153
@inproceedings{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25154
@article{Brink_Jatzkowski_2014, title={EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community}, journal={SafeTRANS News (1)}, author={Brink, Christopher and Jatzkowski, Jan}, year={2014}, pages={12–13} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25156
@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25159
@inproceedings{Grösbrink_2014, title={Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization}, booktitle={GI Design For Future Workshop}, author={Grösbrink, Stefan}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25160
@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2014, title={Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization}, booktitle={20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
@inproceedings{Koppelmann_Becker_Müller_2014, title={Portierung der TriCore-Architektur auf QEMU}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25165
@inproceedings{Grösbrink_Korrapati_Schmitz_Schreckenberg_2014, title={Hypervisor-based Consolidation for Automated Teller Machines}, booktitle={Embedded World Conference}, author={Grösbrink, Stefan and Korrapati, Sandeep and Schmitz, André and Schreckenberg, Andreas}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25167
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2014, title={Evaluation of Color Spaces for Robust Image Segmentation}, booktitle={ Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014} }
LibreCat
2014 | Book | LibreCat-ID: 25168
@book{Gausemeier_Rammig_Schäfer_Sextro_2014, place={ Heidelberg, Germany}, title={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Sextro, Walter}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25170
@inbook{Grösbrink_Korf_Porrmann_Priesterjahn_Stahl_2014, place={Heidelberg, Germany}, title={Self-optimization by Reconfiguration}, booktitle={Design Methodology for Intelligent Technical Systems}, publisher={Springer-Verlag}, author={Grösbrink, Stefan and Korf, Sebastian and Porrmann, Mario and Priesterjahn, Claudia and Stahl, Katharina}, year={2014}, pages={19–22} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25171
@inbook{Grösbrink_2014, place={Heidelberg, Germany}, title={Virtualization}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag }, author={Grösbrink, Stefan}, year={2014}, pages={152–157} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25172
@inproceedings{Rammig_Grösbrink_Stahl_Zhao_2014, title={Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation}, booktitle={ Brazilian Symposium on Computing Systems Engineering (SBESC)}, publisher={SBC}, author={Rammig, Franz-Josef and Grösbrink, Stefan and Stahl, Katharina and Zhao, Yuhong}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25173
@inbook{Dellnitz_Flaßkamp_Hartmann_Krüger_Meyer_Priesterjahn_Ober-Blöbaum_Rasche_Sextro_Stahl_et al._2014, place={Heidelberg, Germany}, title={Self-optimizing Mechatronic Systems}, booktitle={Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1}, publisher={Springer-Verlag}, author={Dellnitz, Michael and Flaßkamp, Kathrin and Hartmann, Philip and Krüger, Martin and Meyer, Tobias and Priesterjahn, Claudia and Ober-Blöbaum, Sina and Rasche, Christoph and Sextro, Walter and Stahl, Katharina and et al.}, year={2014}, pages={3–12} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25175
@inbook{Grösbrink_Oberthür_Stahl_2014, place={Heidelberg, Germany}, title={System Software}, booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development}, publisher={Springer-Verlag}, author={Grösbrink, Stefan and Oberthür, Simon and Stahl, Katharina}, year={2014}, pages={298–317} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25176
@inbook{Gausemeier_Korf_Porrmann_Stahl_Sudmann_Vaßholz_2014, place={Heidelberg, Germany}, title={Development of Self-Optimizing Systems}, booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3}, publisher={Springer-Verlag }, author={Gausemeier, Jürgen and Korf, Sebastian and Porrmann, Mario and Stahl, Katharina and Sudmann, Oliver and Vaßholz, Mareen}, year={2014}, pages={65–117} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25177
@inbook{Flaßkamp_Grösbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Krüger_Ober-Blöbaum_Priesterjahn_Rasche_et al._2014, place={Heidelberg, Germany}, title={Development of the RailCab Vehicle}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag }, author={Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al.}, year={2014}, pages={184–190} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25179
@inbook{Rammig_Zhao_2014, place={ Heidelberg, Germany}, title={Online Model Checking}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag}, author={Rammig, Franz-Josef and Zhao, Yuhong}, year={2014}, pages={147–152} }
LibreCat
2014 | Book | LibreCat-ID: 25180
@book{Gausemeier_Rammig_Schäfer_2014, place={Heidelberg, Germany}, title={Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future}, publisher={Springer-Verlag}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20007
@inproceedings{Hamann_Karsai_Schmickl_Hilbun_2014, title={The common stomach: Organizing task allocation in wasp societies}, booktitle={Symposium on Biomathematics and Ecology: Education and Research}, author={Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas and Hilbun, Allison}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20008
@inproceedings{Hamann_Valentini_2014, place={Cham}, title={Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins}, DOI={10.1007/978-3-319-09952-1_15}, booktitle={Ninth Int. Conf. on Swarm Intelligence (ANTS 2014)}, author={Hamann, Heiko and Valentini, Gabriele}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 20120
@article{Hamann_Schmickl_Crailsheim_2014, title={Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem}, volume={20}, DOI={10.1162/ARTL_a_00097}, number={1}, journal={Artificial Life}, author={Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2014}, pages={77–93} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20121
@inproceedings{Dorigo_Hamann_Valentini_Lomuscio_Scerri_Bazzan_Huhns_2014, title={Self-Organized Collective Decision Making: The Weighted Voter Model}, booktitle={Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014)}, author={Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele and Lomuscio, Alessio and Scerri, Paul and Bazzan, Ana and Huhns, Michael}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20126
@inproceedings{Hamann_2014, title={Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal}, DOI={10.1145/2598394.2598507}, booktitle={Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014)}, author={Hamann, Heiko}, year={2014}, pages={31–32} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20127
@inproceedings{Birattari_Dorigo_Hamann_Garnier_Montes de Oca_Solnon_Stuetzle_Ding_2014, title={Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation}, volume={8667}, DOI={10.1007/978-3-319-09952-1_25}, booktitle={Ninth Int. Conf. on Swarm Intelligence (ANTS 2014)}, author={Birattari, Mauro and Dorigo, Marco and Hamann, Heiko and Garnier, Simon and Montes de Oca, Marco and Solnon, Christine and Stuetzle, Thomas and Ding, Hongli}, year={2014}, pages={262–269} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20128
@inbook{Khaluf_Dorigo_Hamann_Valentini_Bartz-Beielstein_2014, title={Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements}, volume={8672}, DOI={10.1007/978-3-319-10762-2_18}, booktitle={13th International Conference on Parallel Problem Solving from Nature (PPSN 2014)}, publisher={Springer}, author={Khaluf, Yara and Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele and Bartz-Beielstein, T.}, year={2014}, pages={181–190} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20129
@inproceedings{Hamann_Sayama_Rieffel_Risi_Doursat_Lipson_2014, title={Evolution of Collective Behaviors by Minimizing Surprise}, DOI={10.7551/978-0-262-32621-6-ch055}, booktitle={14th Int. Conf. on the Synthesis and Simulation of Living Systems (ALIFE 2014)}, publisher={MIT Press}, author={Hamann, Heiko and Sayama, Hiroki and Rieffel, John and Risi, Sebastian and Doursat, Rene and Lipson, Hod}, year={2014}, pages={344–351} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20130
@inproceedings{Cervera_Khaluf_Birattari_Hamann_Pobil_Chinellato_Martinez-Martin_Hallam_Morales_2014, title={A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs}, volume={8575}, DOI={10.1007/978-3-319-08864-8_26}, booktitle={Simulation of Adaptive Behavior (SAB 2014)}, author={Cervera, Enric and Khaluf, Yara and Birattari, Mauro and Hamann, Heiko and Pobil, Angel P. del and Chinellato, Eris and Martinez-Martin, Ester and Hallam, John and Morales, Antonio}, year={2014}, pages={270–279} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20142
@inproceedings{Wachsmuth_Trenkmann_Stein_Engels_Palakarska_2014, title={A Review Corpus for Argumentation Analysis}, booktitle={Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics}, author={Wachsmuth, Henning and Trenkmann, Martin and Stein, Benno and Engels, Gregor and Palakarska, Tsvetomira}, year={2014}, pages={115–127} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 2866
@book{Biermeier_2014, title={Untersuchung des Erreichbarkeitsproblems in ungerichteten Graphen bezüglich den Komplexitätsklassen L und SL}, author={Biermeier, Felix}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 2867
@book{Sauer_2014, title={Evaluierung von Initialisierungsmethoden für Fuzzy-k-means Algorithmen}, author={Sauer, Malte}, year={2014} }
LibreCat