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.
9766 Publications
2015 | Journal Article | LibreCat-ID: 8168 | 
@article{Gharibian_Landau_Woo Shin_Wang_2015, title={Tensor network non-zero testing}, volume={15}, number={9{\ & }10}, journal={Quantum Information & Computation}, author={Gharibian, Sevag and Landau, Zeph and Woo Shin, Seung and Wang, Guoming}, year={2015}, pages={885–899} }
LibreCat
| Download (ext.)
| arXiv
2015 | Journal Article | LibreCat-ID: 39479
@article{Vidor_Meyers_Hilleringmann_2015, title={Flexible Electronics: Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film Transistors}, volume={4}, DOI={10.3390/electronics4030480}, number={3}, journal={Electronics}, publisher={MDPI AG}, author={Vidor, Fábio and Meyers, Thorsten and Hilleringmann, Ulrich}, year={2015}, pages={480–506} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 39571
@inproceedings{Wolff_Hilleringmann_2015, title={Silicon Nanoparticles contacted by metal nanogaps for FET applications}, author={Wolff, K and Hilleringmann, Ulrich}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 39495
@article{Hilleringmann_Assion_Vidor_Wirth_2015, title={Nanometer Scale Electronic Device Integration Using Side-Wall Deposition and Etch-Back Technology}, volume={1}, DOI={10.13052/jmmc2246-137x.131}, number={3}, journal={Journal of Machine to Machine Communications}, publisher={River Publishers}, author={Hilleringmann, Ulrich and Assion, F. and Vidor, F. F. and Wirth, G. I.}, year={2015}, pages={197–214} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 39492
@inproceedings{Hilleringmann_Vidor_Assion_2015, title={Application of side-wall deposition and etch-back technology for nanometer scale device integration}, DOI={10.1109/scat.2014.7055128}, booktitle={Proceedings of the 2nd Pan African International Conference on Science, Computing and Telecommunications (PACT 2014)}, publisher={IEEE}, author={Hilleringmann, Ulrich and Vidor, F.F. and Assion, F.}, year={2015} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 39490
@inproceedings{Hangmann_Hedayat_Hilleringmann_2015, title={Extended event-driven modeling of a ΣΔ-fractional-N PLL including non-ideal effects}, DOI={10.1109/icecs.2014.7049931}, booktitle={2014 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS)}, publisher={IEEE}, author={Hangmann, Christian and Hedayat, Christian and Hilleringmann, Ulrich}, year={2015} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 39482
@inproceedings{Hangmann_Hedayat_Hilleringmann_2015, title={Fast and accurate event-driven simulation of a mixed-signal system using the example of a PLL}, booktitle={Proc. Int. Conf. Exhib. Integr. Issues Miniatured Syst.}, author={Hangmann, C and Hedayat, C and Hilleringmann, Ulrich}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 44340
@article{Burban_Henrich_2015, title={Vector bundles on plane cubic curves and the classical Yang-Baxter equation}, volume={17}, DOI={10.4171/JEMS/512}, number={3}, journal={Journal of the European Math. Society}, author={Burban, Igor and Henrich, T.}, year={2015}, pages={591– 644} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 45683
@inproceedings{Bruns_Eichen_2015, place={Münster}, title={Mathematikbezogene Kompetenzentwicklung elementarpädagogischer Fachpersonen in Intensiv-Fortbildungen}, booktitle={Beiträge zum Mathematikunterricht 2015}, publisher={WTM-Verlag}, author={Bruns, Julia and Eichen, L.}, editor={Caluori, F. and Linneweber-Lamerskitten, H. and Streit, C.}, year={2015}, pages={212–215} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 45682
@inproceedings{Bruns_Eichen_2015, place={Bamberg}, title={Entwicklung eines videobasierten Instruments zur Erhebung von Handlungsfähigkeiten elementarpädagogischer Fachpersonen im mathematischen Bereich (VimaH)}, booktitle={Entwicklung mathematischer Fähigkeiten von Kindern im Grundschulalter – Tagungsband des AK Grundschule in der GDM 2015}, publisher={Bamberg University Press}, author={Bruns, Julia and Eichen, L.}, editor={Steinweg, A. S.}, year={2015}, pages={103–106} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 45684
@inproceedings{Bruns_Eichen_2015, place={Münster}, title={Entwicklung eines videobasierten Instruments zur Erhebung mathematikdidaktischer Handlungskompetenzen elementarpädagogischer Fachpersonen}, booktitle={Beiträge zum Mathematikunterricht 2015}, publisher={WTM-Verlag}, author={Bruns, Julia and Eichen, L.}, editor={Caluori, F. and Linneweber-Lamerskitten, H. and Streit, C.}, year={2015}, pages={260–263} }
LibreCat
2015 | Journal Article | LibreCat-ID: 36482
@article{Bruns_Eichen_2015, title={Adaptive Förderung zur Vorbereitung auf den Übergang vom Elementar- in den Primarbereich am Beispiel des Bereichs Mathematik}, volume={4}, DOI={10.1026/2191-9186/a000188}, number={1}, journal={Frühe Bildung}, publisher={Hogrefe Publishing Group}, author={Bruns, Julia and Eichen, Lars}, year={2015}, pages={11–16} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 29465
@inproceedings{Sadeghi-Kohan_Kamran_Forooghifar_Navabi_2015, title={Aging in digital circuits and age monitoring: Object-oriented modeling and evaluation}, DOI={10.1109/dtis.2015.7127373}, booktitle={2015 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)}, publisher={IEEE}, author={Sadeghi-Kohan, Somayeh and Kamran, Arezoo and Forooghifar, Farnaz and Navabi, Zainalabedin}, year={2015} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 29466
@inproceedings{Sadeghi-Kohan_Kamal_McNeil_Prinetto_Navabi_2015, title={Online self adjusting progressive age monitoring of timing variations}, DOI={10.1109/dtis.2015.7127368}, booktitle={2015 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)}, publisher={IEEE}, author={Sadeghi-Kohan, Somayeh and Kamal, Mehdi and McNeil, John and Prinetto, Paolo and Navabi, Zain}, year={2015} }
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 296
@article{Kenter_Schmitz_Plessl_2015, title={Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study}, volume={2015}, DOI={10.1155/2015/859425}, number={859425}, journal={International Journal of Reconfigurable Computing (IJRC)}, publisher={Hindawi}, author={Kenter, Tobias and Schmitz, Henning and Plessl, Christian}, year={2015} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 303 |
@inproceedings{Damschen_Plessl_2015, title={Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores}, booktitle={Proceedings of the 5th International Workshop on Adaptive Self-tuning Computing Systems (ADAPT)}, author={Damschen, Marvin and Plessl, Christian}, year={2015} }
LibreCat
| Files available
| arXiv
2015 | Conference Paper | LibreCat-ID: 1773
@inproceedings{Schumacher_T. Anderson_Borga_Boterenbrood_Chen_Chen_Drake_Francis_Gorini_Lanni_et al._2015, title={Improving Packet Processing Performance in the ATLAS FELIX Project – Analysis and Optimization of a Memory-Bounded Algorithm}, DOI={10.1145/2675743.2771824}, booktitle={Proc. Int. Conf. on Distributed Event-Based Systems (DEBS)}, publisher={ACM}, author={Schumacher, Jörn and T. Anderson, J. and Borga, A. and Boterenbrood, H. and Chen, H. and Chen, K. and Drake, G. and Francis, D. and Gorini, B. and Lanni, F. and et al.}, year={2015} }
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 1768
@article{Plessl_Platzner_Schreier_2015, title={Aktuelles Schlagwort: Approximate Computing}, DOI={10.1007/s00287-015-0911-z}, number={5}, journal={Informatik Spektrum}, publisher={Springer}, author={Plessl, Christian and Platzner, Marco and Schreier, Peter J.}, year={2015}, pages={396–399} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 238
@inproceedings{Damschen_Riebler_Vaz_Plessl_2015, title={Transparent offloading of computational hotspots from binary code to Xeon Phi}, DOI={10.7873/DATE.2015.1124}, booktitle={Proceedings of the 2015 Conference on Design, Automation and Test in Europe (DATE)}, publisher={EDA Consortium / IEEE}, author={Damschen, Marvin and Riebler, Heinrich and Vaz, Gavin Francis and Plessl, Christian}, year={2015}, pages={1078–1083} }
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 1775
@article{Anderson_Borga_Boterenbrood_Chen_Chen_Drake_Francis_Gorini_Lanni_Lehmann Miotto_et al._2015, title={FELIX: a High-Throughput Network Approach for Interfacing to Front End Electronics for ATLAS Upgrades}, volume={664}, DOI={10.1088/1742-6596/664/8/082050}, number={082050}, journal={Journal of Physics: Conference Series}, publisher={IOP Publishing}, author={Anderson, J and Borga, A and Boterenbrood, H and Chen, H and Chen, K and Drake, G and Francis, D and Gorini, B and Lanni, F and Lehmann Miotto, G and et al.}, year={2015} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 47607
@inproceedings{Salinga_Heinke_Jonas-Ahrend_Theyßen_Bahr_Erb_2015, title={MiLeNa – ein überregionales Programm zur MINT-Lehrernachwuchsförderung}, author={Salinga, Christian and Heinke, Heidrun and Jonas-Ahrend, Gabriela and Theyßen, Heike and Bahr, Ursula and Erb, Roger}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 11874 |
@inproceedings{Hoang_Schmalenstroeer_Haeb-Umbach_2015, title={Aligning training models with smartphone properties in WiFi fingerprinting based indoor localization}, booktitle={40th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2015)}, author={Hoang, Manh Kha and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2015} }
LibreCat
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 46373
@inproceedings{Chinnov_Kerschke_Meske_Stieglitz_Trautmann_2015, place={Puerto Rico}, title={An Overview of Topic Discovery in Twitter Communication through Social Media Analytics}, booktitle={Proceedings of the 20$^th$ Americas Conference on Information Systems (AMCIS ’15)}, author={Chinnov, Andrey and Kerschke, Pascal and Meske, Christian and Stieglitz, Stefan and Trautmann, Heike}, year={2015}, pages={1–10} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 46375
@inproceedings{Kerschke_Preuss_Wessing_Trautmann_2015, place={New York, NY, USA}, title={Detecting Funnel Structures by Means of Exploratory Landscape Analysis}, DOI={10.1145/2739480.2754642}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference (GECCO ’15)}, publisher={ACM}, author={Kerschke, Pascal and Preuss, Mike and Wessing, Simon and Trautmann, Heike}, editor={Silva, Sara}, year={2015}, pages={265–272} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 46377
@inproceedings{Meisel_Grimme_Bossek_Wölck_Rudolph_Trautmann_2015, place={Madrid, Spain}, title={Evaluation of a Multi-Objective EA on Benchmark Instances for Dynamic Routing of a Vehicle}, DOI={10.1145/2739480.2754705}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference (GECCO ’15)}, author={Meisel, Stephan and Grimme, Christian and Bossek, Jakob and Wölck, Martin and Rudolph, Guenter and Trautmann, Heike}, year={2015}, pages={425–432} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 46376
@inproceedings{Kotthoff_Kerschke_Hoos_Trautmann_2015, place={Cham}, title={Improving the State of the Art in Inexact TSP Solving Using Per-Instance Algorithm Selection}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Kotthoff, Lars and Kerschke, Pascal and Hoos, Holger and Trautmann, Heike}, editor={Dhaenens, Clarisse and Jourdan, Laetitia and Marmion, Marie-Eléonore}, year={2015}, pages={202–217} }
LibreCat
2015 | Journal Article | LibreCat-ID: 46379
@article{Brockhoff_Wagner_Trautmann_2015, title={R2 Indicator Based Multiobjective Search}, volume={23}, DOI={10.1162/EVCO_a_00135}, number={3}, journal={Evolutionary Computation Journal}, author={Brockhoff, D and Wagner, T and Trautmann, Heike}, year={2015}, pages={369–395} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 46374
@inproceedings{Grimme_Meisel_Trautmann_Rudolph_Wölck_2015, place={Münster, Germany}, title={Multi-Objective Analysis of Approaches to Dynamic Routing Of a Vehicle}, booktitle={Proceedings of the European Conference On Information Systems}, author={Grimme, C and Meisel, S and Trautmann, Heike and Rudolph, G and Wölck, M}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 46380
@article{Mersmann_Preuss_Trautmann_Bischl_Weihs_2015, title={Analyzing the BBOB Results by Means of Benchmarking Concepts}, volume={23}, number={1}, journal={Evolutionary Computation Journal}, author={Mersmann, O and Preuss, M and Trautmann, Heike and Bischl, B and Weihs, C}, year={2015}, pages={161–185} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 47233
@inproceedings{Perl_Dechand_Smith_Arp_Yamaguchi_Rieck_Fahl_Acar_2015, title={VCCFinder: Finding Potential Vulnerabilities in Open-Source Projects to Assist Code Audits}, DOI={10.1145/2810103.2813604}, booktitle={Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security}, publisher={ACM}, author={Perl, Henning and Dechand, Sergej and Smith, Matthew and Arp, Daniel and Yamaguchi, Fabian and Rieck, Konrad and Fahl, Sascha and Acar, Yasemin}, year={2015} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 47232
@inproceedings{Oltrogge_Acar_Dechand_Smith_Fahl_2015, title={To Pin or Not to Pin-Helping App Developers Bullet Proof Their TLS Connections}, booktitle={24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015}, publisher={USENIX Association}, author={Oltrogge, Marten and Acar, Yasemin and Dechand, Sergej and Smith, Matthew and Fahl, Sascha}, editor={Jung, Jaeyeon and Holz, Thorsten}, year={2015}, pages={239–254} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 48838
@inproceedings{Bossek_Bischl_Wagner_Rudolph_2015, place={New York, NY, USA}, series={GECCO ’15}, title={Learning Feature-Parameter Mappings for Parameter Tuning via the Profile Expected Improvement}, DOI={10.1145/2739480.2754673}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Bischl, Bernd and Wagner, Tobias and Rudolph, Günter}, year={2015}, pages={1319–1326}, collection={GECCO ’15} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 48887
@inproceedings{Meisel_Grimme_Bossek_Wölck_Rudolph_Trautmann_2015, place={New York, NY, USA}, series={GECCO’15}, title={Evaluation of a Multi-Objective EA on Benchmark Instances for Dynamic Routing of a Vehicle}, DOI={10.1145/2739480.2754705}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference }, publisher={Association for Computing Machinery}, author={Meisel, Stephan and Grimme, Christian and Bossek, Jakob and Wölck, Martin and Rudolph, Günter and Trautmann, Heike}, year={2015}, pages={425–432}, collection={GECCO’15} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 29608
@inproceedings{Peters_Wallscheid_Böcker_2015, title={Optimum Efficiency Control of Interior Permanent Magnet Synchronous Motors in Drive Trains of Electric and Hybrid Vehicles}, DOI={10.1109/EPE.2015.7311680}, booktitle={European Conference on Power Electronics and Applications (EPE)}, author={Peters, Wilhelm and Wallscheid, Oliver and Böcker, Joachim}, year={2015} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 31368
@inproceedings{Hilgert_Hoffmann_Panse_2015, place={Münster}, title={Kann professorale Lehre tutoriell sein? Ein Modellversuch zur Einführung in mathematisches Denken und Arbeiten}, booktitle={Tagungsband zum Hansekolloquium zur Hochschuldidaktik der Mathematik.}, publisher={WTM-Verlag}, author={Hilgert, Joachim and Hoffmann, Max and Panse, Anja}, editor={Paravicini, Walther and Schnieder, Jörn}, year={2015}, pages={23–26} }
LibreCat
2015 | Book | LibreCat-ID: 31373
@book{Hilgert_Hoffmann_Panse_2015, place={Berlin, Heidelberg}, title={Einführung in mathematisches Denken und Arbeiten: tutoriell und transparent}, DOI={10.1007/978-3-662-45512-8}, publisher={Springer}, author={Hilgert, Joachim and Hoffmann, Max and Panse, Anja}, year={2015} }
LibreCat
| DOI
| Download (ext.)
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
2014 | Journal Article | LibreCat-ID: 24155
@article{Basavaraju_Chandran_Rajendraprasad_Ramaswamy_2014, title={Rainbow connection number of graph power and graph products}, volume={30}, number={6}, journal={Graphs and Combinatorics}, publisher={Springer}, author={Basavaraju, Manu and Chandran, L Sunil and Rajendraprasad, Deepak and Ramaswamy, Arunselvan}, year={2014}, pages={1363–1382} }
LibreCat
2014 | Journal Article | LibreCat-ID: 24156
@article{Basavaraju_Chandran_Rajendraprasad_Ramaswamy_2014, title={Rainbow connection number and radius}, volume={30}, number={2}, journal={Graphs and Combinatorics}, publisher={Springer}, author={Basavaraju, Manu and Chandran, L Sunil and Rajendraprasad, Deepak and Ramaswamy, Arunselvan}, year={2014}, pages={275–285} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26537
@article{Keil_Selke_Winkelnkemper_2014, series={Lecture Notes in Informatics (LNI)}, title={Twenty years of learning with the World Wide Web}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, editor={Trahasch, Stephan and Pl {\ "o} tzner, Rolf and Schneider, Gerhard and Gayer, Claudia and Sassiat, Daniel and W {\ "o} hrle, Nicole}, year={2014}, pages={51–60}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26538
@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design}, volume={2014}, publisher={Oldenbourg Verlag}, author={Winkelnkemper, Felix and Keil, Reinhard}, editor={Butz, Andreas and Schlichter, Johann}, year={2014}, pages={255–264} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26540
@inproceedings{Jakoblew _Keil_Winkelnkemper_2014, title={Forschendes Lernen durch semantisches Positionieren}, booktitle={Proceedings der HDI 2014}, publisher={Universit{\"a}t Rostock}, author={Jakoblew , Marcel and Keil, Reinhard and Winkelnkemper, Felix}, editor={Forbrig, Peter and Magenheim, Johannes}, year={2014}, pages={74–84} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26541
@inproceedings{Keil_Schild_2014, place={Berlin}, title={Hypothesengeleitete Gestaltung von Benutzungsoberfl{\"a}chen}, publisher={De Gruyter Oldenbourg}, author={Keil, Reinhard and Schild, Christian}, year={2014}, pages={265–274} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26542
@inproceedings{Keil_2014, place={Berlin}, title={Knowledge integration processes and distributed knowledge organization}, publisher={De Gruyter Saur}, author={Keil, Reinhard}, editor={Keller, Stefan Andreas and Schneider, René and Volk, Benno}, year={2014}, pages={162–179} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 329
@inproceedings{Wette_Dräxler_Schwabe_Wallaschek_Zahraee_Karl_2014, title={MaxiNet: Distributed Emulation of Software-Defined Networks}, DOI={10.1109/IFIPNetworking.2014.6857078}, booktitle={Proceedings of the 2014 IFIP Networking Conference (Networking 2014)}, author={Wette, Philip and Dräxler, Martin and Schwabe, Arne and Wallaschek, Felix and Zahraee, Mohammad Hassan and Karl, Holger}, year={2014}, pages={1–9} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 336
@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3}, booktitle={Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese, Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 339
@inproceedings{Wette_Karl_2014, title={Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms}, DOI={10.1109/ICC.2014.6883825}, booktitle={Proceedings of the IEEE International Conference on Communications 2014}, author={Wette, Philip and Karl, Holger}, year={2014}, pages={3270–3276} }
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} }
LibreCat
2014 | Dissertation | LibreCat-ID: 343
@book{Künsemöller_2014, title={Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market}, publisher={Universität Paderborn}, author={Künsemöller, Jörn}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 344
@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards Systematic Configuration for Architecture Validation}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 346
@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }
LibreCat
| Files available