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.

9690 Publications


2016 | Conference Paper | LibreCat-ID: 168
@inproceedings{Lösch_Beisel_Kenter_Plessl_Platzner_2016, title={Performance-centric scheduling with task migration for a heterogeneous compute node in the data center}, booktitle={Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)}, publisher={EDA Consortium / IEEE}, author={Lösch, Achim and Beisel, Tobias and Kenter, Tobias and Plessl, Christian and Platzner, Marco}, year={2016}, pages={912–917} }
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 171
@inproceedings{Kenter_Vaz_Riebler_Plessl_2016, title={Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract)}, booktitle={Workshop on Reconfigurable Computing (WRC)}, author={Kenter, Tobias and Vaz, Gavin Francis and Riebler, Heinrich and Plessl, Christian}, year={2016} }
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 47588
@inproceedings{Jonas-Ahrend_Thikomirov_2016, place={Bielefeld}, series={Berufsbildung, Arbeit und Innovation}, title={Lehrerbildung im Mechatronik Studium an der Hochschule Hamm-Lippstadt}, volume={43}, booktitle={Digitale Vernetzung der Facharbeit}, publisher={W. Bertelsmann Verlag GmbH & Co KG}, author={Jonas-Ahrend, Gabriela and Thikomirov, Dmitri}, editor={Vollmer, T. and Schwenger, U. and BAG Elektrometall e.V.}, year={2016}, pages={225–235}, collection={Berufsbildung, Arbeit und Innovation} }
LibreCat
 

2016 | Journal Article | LibreCat-ID: 3888
@article{Blumenthal_Bürger_Hildebrandt_Förstner_Weber_Meier_Reuter_As_2016, title={Fabrication and characterization of two-dimensional cubic AlN photonic crystal membranes containing zincblende GaN quantum dots}, volume={13}, DOI={10.1002/pssc.201600010}, number={5–6}, journal={physica status solidi (c)}, publisher={Wiley}, author={Blumenthal, Sarah and Bürger, Matthias and Hildebrandt, Andre and Förstner, Jens and Weber, Nils and Meier, Cedrik and Reuter, Dirk and As, Donat J.}, year={2016}, pages={292–296} }
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 48306
@article{Habernal_Gurevych_2016, title={Argumentation Mining in User-Generated Web Discourse}, volume={43}, DOI={10.1162/coli_a_00276}, number={1}, journal={Computational Linguistics}, publisher={MIT Press}, author={Habernal, Ivan and Gurevych, Iryna}, year={2016}, pages={125–179} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48308
@inproceedings{Habernal_Sukhareva_Raiber_Shtok_Kurland_Ronen_Bar-Ilan_Gurevych_2016, title={New Collection Announcement}, DOI={10.1145/2911451.2914682}, booktitle={Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval}, publisher={ACM}, author={Habernal, Ivan and Sukhareva, Maria and Raiber, Fiana and Shtok, Anna and Kurland, Oren and Ronen, Hadar and Bar-Ilan, Judit and Gurevych, Iryna}, year={2016} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48307
@inproceedings{Habernal_Gurevych_2016, title={Which argument is more convincing? Analyzing and predicting convincingness of Web arguments using bidirectional LSTM}, DOI={10.18653/v1/p16-1150}, booktitle={Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)}, publisher={Association for Computational Linguistics}, author={Habernal, Ivan and Gurevych, Iryna}, year={2016} }
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 48396
@inbook{Wessel_Wilhelm_2016, place={Münster}, title={Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen}, booktitle={Beiträge zum Mathematikunterricht 2016}, publisher={WTM-Verlag}, author={Wessel, Lena and Wilhelm, Nadine}, editor={Institut für Mathematik und Informatik Heidelberg}, year={2016}, pages={1059–1062} }
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 48417
@inproceedings{Wessel_Prediger_Schüler-Meyer_Kuzu_2016, title={Is grade 7 too late to start with bilingual mathematics courses? An intervention study}, booktitle={TSG 32 at 13th International Congress on Mathematical Education, Hamburg, July 2016}, author={Wessel, Lena and Prediger, Susanne and Schüler-Meyer, Alexander and Kuzu, Taha}, year={2016} }
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 47240
@inproceedings{Acar_Backes_Bugiel_Fahl_McDaniel_Smith_2016, title={SoK: Lessons Learned from Android Security Research for Appified Software Platforms}, DOI={10.1109/sp.2016.33}, booktitle={2016 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Bugiel, Sven and Fahl, Sascha and McDaniel, Patrick and Smith, Matthew}, year={2016} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46364
@inproceedings{Blot_Hoos_Jourdan_Marmion_Trautmann_2016, place={Cham}, series={LNTCS}, title={MO-ParamILS: A Multi-objective Automatic Algorithm Configuration Framework}, volume={10079}, DOI={10.1007/978-3-319-50349-3_3}, booktitle={LION 2016: Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Blot, A and Hoos, H and Jourdan, L and Marmion, M and Trautmann, Heike}, editor={et al. Joaquin, Vanschooren}, year={2016}, pages={32–47}, collection={LNTCS} }
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 46363
@inbook{Rudolph_Schütze_Trautmann_2016, place={Cham}, title={On the Closest Averaged Hausdorff Archive for a Circularly Convex Pareto Front}, DOI={10.1007/978-3-319-31153-1_4}, booktitle={Applications of Evolutionary Computation: 19$^th$ European Conference, EvoApplications 2016, Porto, Portugal, March 30 — April 1, 2016, Proceedings, Part II}, publisher={Springer International Publishing}, author={Rudolph, G and Schütze, O and Trautmann, Heike}, editor={Squillero, G and Burelli, P}, year={2016}, pages={42–55} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46365
@inproceedings{Bossek_Trautmann_2016, place={Ischia, Italy}, series={Lecture Notes in Computer Science}, title={Evolving Instances for Maximizing Performance Differences of State-of-The-Art Inexact TSP Solvers}, volume={10079}, DOI={10.1007/978-3-319-50349-3_4}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Bossek, J and Trautmann, Heike}, editor={Festa, P and Sellmann, M and Vanschoren, J}, year={2016}, pages={48–59}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46366
@inproceedings{Bossek_Trautmann_2016, place={Cham}, series={Lecture Notes in Computer Science}, title={Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference}, volume={10037}, DOI={10.1007/978-3-319-49130-1_1}, booktitle={AI*IA 2016 Advances in Artificial Intelligence}, publisher={Springer}, author={Bossek, J and Trautmann, Heike}, editor={Adorni, G and Cagnoni, S and Gori, M and Maratea, M}, year={2016}, pages={3–12}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46369
@inproceedings{Kerschke_Wang_Preuss_Grimme_Deutz_Trautmann_Emmerich_2016, place={Edinburgh, Scotland}, series={Lecture Notes in Computer Science}, title={Towards Analyzing Multimodality of Multiobjective Landscapes}, DOI={10.1007/978-3-319-45823-6_90}, booktitle={Proceedings of the 14$^th$ International Conference on Parallel Problem Solving from Nature (PPSN XIV)}, publisher={Springer}, author={Kerschke, Pascal and Wang, Hao and Preuss, Mike and Grimme, Christian and Deutz, André and Trautmann, Heike and Emmerich, Michael}, year={2016}, pages={962–972}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46367
@inproceedings{Kerschke_Preuss_Wessing_Trautmann_2016, place={Denver, CO, USA}, title={Low-Budget Exploratory Landscape Analysis on Multiple Peaks Models}, DOI={10.1145/2908812.2908845}, booktitle={Proceedings of the 18$^th$ Annual Conference on Genetic and Evolutionary Computation}, author={Kerschke, Pascal and Preuss, Mike and Wessing, Simon and Trautmann, Heike}, year={2016}, pages={229–236} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46371
@article{Rudolph_Schütze_Grimme_Domínguez-Medina_Trautmann_2016, title={Optimal averaged Hausdorff archives for bi-objective problems: theoretical and numerical results}, volume={64}, DOI={10.1007/s10589-015-9815-8}, number={2}, journal={Computational Optimization and Applications (Comput. Optim. Appl.)}, author={Rudolph, G and Schütze, O and Grimme, C and Domínguez-Medina, C and Trautmann, Heike}, year={2016}, pages={589–618} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46372
@article{Schütze_Sosa_Trautmann_Rudolph_2016, title={The Hypervolume based Directed Search Method for Multi-Objective Optimization Problems}, volume={22}, DOI={10.1007/s10732-016-9310-0}, number={3}, journal={Journal of Heuristics}, author={Schütze, O and Sosa, Hernandez VA and Trautmann, Heike and Rudolph, G}, year={2016}, pages={273–300} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46368
@inproceedings{Kerschke_Trautmann_2016, place={Vancouver, BC, Kanada}, title={The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems}, DOI={10.1109/CEC.2016.7748359}, booktitle={Proceedings of the IEEE Congress on Evolutionary Computation (CEC)}, author={Kerschke, Pascal and Trautmann, Heike}, year={2016} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46370
@article{Neumann_Trautmann_2016, title={Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}, volume={5}, DOI={10.4230/DagRep.5.5.57}, number={5}, journal={Dagstuhl Reports}, author={Neumann, F and Trautmann, Heike}, year={2016}, pages={78–79} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48309
@inproceedings{Habernal_Gurevych_2016, title={What makes a convincing argument? Empirical analysis and detecting            attributes of convincingness in Web argumentation}, DOI={10.18653/v1/d16-1129}, booktitle={Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing}, publisher={Association for Computational Linguistics}, author={Habernal, Ivan and Gurevych, Iryna}, year={2016} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 11890 | OA
@inproceedings{Schmalenstroeer_Haeb-Umbach_2016, title={Investigations into Bluetooth Low Energy Localization Precision Limits}, booktitle={24th European Signal Processing Conference (EUSIPCO 2016)}, author={Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2016} }
LibreCat | Files available | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 47241
@inproceedings{Acar_Backes_Fahl_Kim_Mazurek_Stransky_2016, title={You Get Where You’re Looking for: The Impact of Information Sources on Code Security}, DOI={10.1109/sp.2016.25}, booktitle={2016 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Fahl, Sascha and Kim, Doowon and Mazurek, Michelle L. and Stransky, Christian}, year={2016} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47239
@inproceedings{Dechand_Schürmann_Busse_Acar_Fahl_Smith_2016, title={An Empirical Study of Textual Key-Fingerprint Representations}, booktitle={25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016}, publisher={USENIX Association}, author={Dechand, Sergej and Schürmann, Dominik and Busse, Karoline and Acar, Yasemin and Fahl, Sascha and Smith, Matthew}, editor={Holz, Thorsten and Savage, Stefan}, year={2016}, pages={193–208} }
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 48873
@inproceedings{Bossek_Trautmann_2016, place={Cham}, series={Lecture Notes in Computer Science}, title={Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers}, DOI={10.1007/978-3-319-50349-3_4}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Bossek, Jakob and Trautmann, Heike}, editor={Festa, Paola and Sellmann, Meinolf and Vanschoren, Joaquin}, year={2016}, pages={48–59}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 51464
@inbook{Hilgert_2016, title={Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen}, booktitle={Lehren und Lernen von Mathematik in der Studieneingangsphase}, publisher={Springer Spektrum}, author={Hilgert, Joachim}, editor={Hoppenbrock, A. and et al.}, year={2016} }
LibreCat
 

2016 | Book Chapter | LibreCat-ID: 51463
@inbook{Hilgert_Pasquale_Przebinda_2016, title={Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd)}, booktitle={Geometric Methods in Physics}, publisher={Birkhäuser}, author={Hilgert, Joachim and Pasquale, A. and Przebinda, T.}, editor={Kielanowski, P. and et al.}, year={2016} }
LibreCat
 

2016 | Book (Editor) | LibreCat-ID: 51489
@book{Hilgert_2016, title={Mathematische Strukturen}, publisher={Springer Spektrum}, year={2016} }
LibreCat | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 52803
@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={10.1007/s13740-015-0055-y}, number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45944
@article{Kovács_Power Guerra_2016, title={Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces}, volume={38}, DOI={10.1093/imanum/drw074}, number={1}, journal={IMA Journal of Numerical Analysis}, publisher={Oxford University Press (OUP)}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2016}, pages={460–494} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45936
@article{Kovács_Power Guerra_2016, title={Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces}, volume={32}, DOI={10.1002/num.22047}, number={4}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2016}, pages={1200–1231} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45939
@article{Kovács_Li_Lubich_2016, title={A-Stable Time Discretizations Preserve Maximal Parabolic Regularity}, volume={54}, DOI={10.1137/15m1040918}, number={6}, journal={SIAM Journal on Numerical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Kovács, Balázs and Li, Buyang and Lubich, Christian}, year={2016}, pages={3600–3624} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45937
@article{Kovács_Lubich_2016, title={Numerical analysis of parabolic problems with dynamic boundary conditions}, volume={37}, DOI={10.1093/imanum/drw015}, number={1}, journal={IMA Journal of Numerical Analysis}, publisher={Oxford University Press (OUP)}, author={Kovács, Balázs and Lubich, Christian}, year={2016}, pages={1–39} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 45938
@inproceedings{Karátson_Kovács_2016, title={A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems}, booktitle={Mathematical Problems in Meteorological Modelling}, author={Karátson, J. and Kovács, Balázs}, year={2016}, pages={57–70} }
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 53279
@inproceedings{Soleymani_Maham_Ashtiani_2016, title={Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN}, DOI={10.1109/icc.2016.7511453}, booktitle={2016 IEEE International Conference on Communications (ICC)}, publisher={IEEE}, author={Soleymani, Mohammad and Maham, Behrouz and Ashtiani, Farid}, year={2016} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 52575
@inproceedings{Werth_2016, place={Münster}, title={Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, booktitle={Beiträge zum Mathematikunterricht}, publisher={WTM}, author={Werth, Gerda}, editor={Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg}, year={2016} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 250
@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12}, booktitle={Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 25073
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25074
@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25075
@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}, publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie}, year={2015}, pages={499–512}, collection={LNCS} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25076
@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander}, year={2015}, pages={329–332} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25080
@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25082
@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25083
@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics}, publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 251
@book{Pfannschmidt_2015, title={Solving the aggregated bandits problem}, publisher={Universität Paderborn}, author={Pfannschmidt, Karlson}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25107
@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, journal={Journal of Internet Services and Applications 6(1)}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25108
@article{Rammig_Stahl_2015, title={Online behavior classification for anomaly detection in self-x real-time systems}, journal={Concurrency and Computation: Practice and Experience }, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25109
@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25110
@article{Joy_Rammig_2015, title={A hybrid methodology to detect memory leaks in soft real time embedded systems software}, journal={Int. J. of Embedded Systems}, author={Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25111
@article{Khaluf_Birattari_Rammig_2015, title={Analysis of long-term swarm performance based on short-term experiments}, journal={Springer Jounal Soft Computing }, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 252
@inproceedings{Dräxler_Blobel_Dreimann_Valentin_Karl_2015, title={SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming}, DOI={10.1109/NetSys.2015.7089073}, booktitle={Proceedings of the 2nd International Conference on Networked Systems (NetSys)}, author={Dräxler, Martin and Blobel, Johannes and Dreimann, Philipp and Valentin, Stefan and Karl, Holger}, year={2015}, pages={1--8} }
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 253
@inproceedings{Blömer_Juhnke_Löken_2015, series={LNCS}, title={Short Group Signatures with Distributed Traceability}, DOI={10.1007/978-3-319-32859-1_14}, booktitle={Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS)}, author={Blömer, Johannes and Juhnke, Jakob and Löken, Nils}, year={2015}, pages={166–180}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 19959
@inproceedings{Wahby_Hamann_2015, title={On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking}, DOI={10.1007/978-3-319-16549-3_61}, booktitle={Applications of Evolutionary Computation (EvoApplications 2015)}, author={Wahby, Mostafa and Hamann, Heiko}, year={2015} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19960
@inproceedings{Hamann_Wahby_Schmickl_Zahadat_Hofstadler_Stoy_Risi_Faina_Veenstra_Kernbach_et al._2015, title={Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids}, DOI={10.1109/ssci.2015.158}, booktitle={Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15)}, author={Hamann, Heiko and Wahby, Mostafa and Schmickl, Thomas and Zahadat, Payam and Hofstadler, Daniel and Stoy, Kasper and Risi, Sebastian and Faina, Andres and Veenstra, Frank and Kernbach, Serge and et al.}, year={2015} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 19962
@article{Hamann_2015, title={Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity}, DOI={10.1162/artl_a_00186}, journal={Artificial Life}, author={Hamann, Heiko}, year={2015}, pages={464–480} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19966
@inproceedings{Wahby_Weinhold_Hamann_2015, title={Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings}, DOI={10.4108/eai.3-12-2015.2262877}, booktitle={Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)}, author={Wahby, Mostafa and Weinhold, Alexander and Hamann, Heiko}, year={2015} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19967
@inproceedings{Wahby_Divband Soorati_von Mammen_Hamann_2015, title={Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion}, booktitle={Proceedings. 25. Computational Intelligence Workshop}, author={Wahby, Mostafa and Divband Soorati, Mohammad and von Mammen, Sebastian and Hamann, Heiko}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19980
@inproceedings{Hamann_Divband Soorati_2015, title={The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge}, DOI={10.1145/2739480.2754676}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015)}, publisher={ACM}, author={Hamann, Heiko and Divband Soorati, Mohammad}, year={2015}, pages={153–160} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19988
@inproceedings{Hamann_Schmickl_Zahadat_2015, title={Evolving Collective Behaviors With Diverse But Predictable Sensor States}, DOI={10.7551/978-0-262-33027-5-ch036}, booktitle={13th European Conference on Artificial Life (ECAL 2015)}, publisher={MIT Press}, author={Hamann, Heiko and Schmickl, Thomas and Zahadat, Payam}, year={2015}, pages={174} }
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 19989
@inbook{Hamann_Correll_Kacprzyk_Pedrycz_2015, title={Probabilistic Modeling of Swarming Systems}, DOI={10.1007/978-3-662-43505-2_74}, booktitle={Springer Handbook of Computational Intelligence}, publisher={Springer}, author={Hamann, Heiko and Correll, Nikolaus and Kacprzyk, Janusz and Pedrycz, Witold}, year={2015}, pages={1423–1431} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19990
@inproceedings{Ding_Hamann_2015, title={Dependability in Swarm Robotics: Error Detection and Correction}, booktitle={First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015)}, author={Ding, Hongli and Hamann, Heiko}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19991
@inproceedings{Hamann_Schmickl_Kengyel_Zahadat_Radspieler_Wotawa_2015, title={Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms}, booktitle={Principles and Practice of Multi-Agent Systems (PRIMA 2015)}, author={Hamann, Heiko and Schmickl, Thomas and Kengyel, Daniela and Zahadat, Payam and Radspieler, Gerald and Wotawa, Franz}, year={2015}, pages={201–217} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 19992
@article{Valentini_Hamann_2015, title={Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes}, DOI={10.1007/s11721-015-0108-8}, journal={Swarm Intelligence}, author={Valentini, Gabriele and Hamann, Heiko}, year={2015}, pages={153–176} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 20005
@inproceedings{Dorigo_Hamann_Valentini_2015, title={Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off}, booktitle={Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015)}, author={Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 20006
@inproceedings{Dorigo_Hamann_Valentini_2015, title={Self-organized collective decisions in a robot swarm}, booktitle={AAAI-15 Video Proceedings}, author={Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 280
@inproceedings{Arifulina_Platenius_Mohr_Engels_Schäfer_2015, title={Market-Specific Service Compositions: Specification and Matching}, DOI={10.1109/SERVICES.2015.58}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet}, author={Arifulina, Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and Schäfer, Wilhelm}, year={2015}, pages={333--340} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 283
@inproceedings{Czech_Jakobs_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Just test what you cannot verify!}, DOI={10.1007/978-3-662-46675-9_7}, booktitle={Fundamental Approaches to Software Engineering}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Egyed, Alexander and Schaefer, InaEditors}, year={2015}, pages={100–114}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 284
@article{Eikel_Scheideler_2015, title={IRIS: A Robust Information System Against Insider DoS Attacks}, DOI={10.1145/2809806}, number={3}, journal={Transactions on Parallel Computing}, publisher={ACM}, author={Eikel, Martina and Scheideler, Christian}, year={2015}, pages={18:1--18:33} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 285
@inproceedings{Isenberg_2015, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1109/ACSD.2015.13}, booktitle={Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)}, author={Isenberg, Tobias}, year={2015}, pages={1–9} }
LibreCat | Files available | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 286
@book{Kalde_2015, title={Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup}, publisher={Universität Paderborn}, author={Kalde, Benedikt}, year={2015} }
LibreCat
 

2015 | Bachelorsthesis | LibreCat-ID: 2865
@book{Strotmann_2015, title={Singulärwertzerlegung für μ-ähnliche Bregman-Divergenzen}, author={Strotmann, Daniela}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 287
@inproceedings{Wette_Karl_2015, title={HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks}, DOI={10.1109/EWSDN.2015.57}, booktitle={Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015)}, author={Wette, Philip and Karl, Holger}, year={2015}, pages={1--7} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 241
@inproceedings{Scheideler_Setzer_Strothmann_2015, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures}, DOI={10.4230/LIPIcs.OPODIS.2015.24}, booktitle={Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS)}, author={Scheideler, Christian and Setzer, Alexander and Strothmann, Thim Frederik}, year={2015}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 242
@inproceedings{Koutsopoulos_Scheideler_Strothmann_2015, series={Lecture Notes in Computer Science}, title={Towards a Universal Approach for the Finite Departure Problem in Overlay Networks}, DOI={10.1007/978-3-319-21741-3_14}, booktitle={Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, author={Koutsopoulos, Andreas and Scheideler, Christian and Strothmann, Thim Frederik}, year={2015}, pages={201–216}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 243
@inproceedings{Strothmann_2015, series={LNCS}, title={The impact of communication patterns on distributed locally self-adjusting binary search trees}, DOI={10.1007/978-3-319-15612-5_16}, booktitle={Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM)}, author={Strothmann, Thim Frederik}, year={2015}, pages={175--186}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 246
@book{Besova_2015, title={Systematic Development and Re-Use of Model Tranformations}, publisher={Universität Paderborn}, author={Besova, Galina}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 247
@inproceedings{Schwabe_Karl_2015, title={SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics}, DOI={10.1109/EWSDN.2015.58}, booktitle={Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015)}, author={Schwabe, Arne and Karl, Holger}, year={2015}, pages={37–42} }
LibreCat | Files available | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 261
@book{Eisenhofer_2015, title={Protokolle zur authentifizierten Schüsselvereinbarung}, publisher={Universität Paderborn}, author={Eisenhofer, Thorsten}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 262
@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs from Proofs of Predicated Dataflow Analyses}, DOI={10.1145/2695664.2695690}, booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736}, collection={SAC ’15} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 264
@book{Wette_2015, title={Optimizing Software-Defined Networks using Application-Layer Knowledge}, publisher={Universität Paderborn}, author={Wette, Philip}, year={2015} }
LibreCat | Files available
 

2015 | Book | LibreCat-ID: 26446
@book{Pongratz_Keil_2015, series={GI-Edition Lecture Notes in Informatics (LNI)}, title={DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science eV}, publisher={Koellen Druck + Verlag GmbH}, author={Pongratz, Hans and Keil, Reinhard}, year={2015}, collection={GI-Edition Lecture Notes in Informatics (LNI)} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26449
@inproceedings{Winkelnkemper_Oberhoff_2015, title={WebArena - R {\ “a} spacious structures for {\” u} r the learning locations of the future}, volume={330}, publisher={Publication series of the Heinz Nixdorf Institute, Paderborn}, author={Winkelnkemper, Felix and Oberhoff, Andreas}, editor={wedge, Reinhard and Selke, Harald}, year={2015}, pages={103–117} }
LibreCat
 

2015 | Book (Editor) | LibreCat-ID: 26531
@book{Keil_Selke_2015, series={Heinz publishing house series Nixdorf Institute, Paderborn}, title={20 years of learning with the World Wide Web - technology and education in dialogue}, volume={330}, publisher={publishing series of the Heinz Nixdorf Institute, Paderborn}, year={2015}, collection={Heinz publishing house series Nixdorf Institute, Paderborn} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26532
@inproceedings{Keil_Selke_2015, title={Learn with, through and {\ "about the WWW}, volume={330}, publisher={Publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard and Selke, Harald}, editor={Keil, Reinhard and Selke, Harald}, year={2015}, pages={1–7} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26533
@inproceedings{Keil_Selke_2015, title={Virtual knowledge {\ “a} ume - From the presentation of content to virtual learning {\” a} tten}, volume={330}, publisher={publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard and Selke, Harald}, editor={Keil, Reinhard and Selke, Harald}, year={2015}, pages={39–53} }
LibreCat
 

2015 | Dissertation | LibreCat-ID: 26534
@book{Klompmaker_2015, place={Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Development of a structured process of interaction design for {\ “u} r nat {\” u} local user interfaces}, publisher={Universitaetsbibliothek Paderborn}, author={Klompmaker, Florian}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26536
@inproceedings{Schild_Petrausch_2015, place={Berlin}, title={Empirical validation of design patterns}, booktitle={Human and Computer 2015 - Proceedings}, publisher={De Gruyter Oldenbourg}, author={Schild, Christian and Petrausch, Vanessa}, year={2015}, pages={173–182} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 266
@inproceedings{Markarian_Meyer auf der Heide_2015, title={Online Resource Leasing}, DOI={10.1145/2767386.2767454}, booktitle={Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)}, author={Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2015}, pages={343–344} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 267
@book{Markarian_2015, title={Online Resource Leasing}, publisher={Universität Paderborn}, author={Markarian, Christine}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 269
@inproceedings{Wiersema_Wu_Platzner_2015, series={LNCS}, title={On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach}, DOI={10.1007/978-3-319-16214-0_32}, booktitle={Proceedings of the International Symposium in Reconfigurable Computing (ARC)}, author={Wiersema, Tobias and Wu, Sen and Platzner, Marco}, year={2015}, pages={365--372}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 320
@article{Caragiannis_Fanelli_Gravin_Skopalik_2015, title={Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure}, volume={3}, DOI={10.1145/2614687}, number={12}, journal={Transactions on Economics and Computation}, publisher={ACM}, author={Caragiannis, Ioannis and Fanelli, Angelo and Gravin, Nick and Skopalik, Alexander}, year={2015} }
LibreCat | Files available | DOI
 

2015 | Mastersthesis | LibreCat-ID: 321
@book{Eidens_2015, title={Anonymous credential system based on q-Strong Diffie-Hellman Assumption}, publisher={Universität Paderborn}, author={Eidens, Fabian}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 322 | OA
@inproceedings{Blömer_Juhnke_Kolb_2015, series={LNCS}, title={Anonymous and Publicly Linkable Reputation Systems}, DOI={10.1007/978-3-662-47854-7_29}, booktitle={Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)}, author={Blömer, Johannes and Juhnke, Jakob and Kolb, Christina}, year={2015}, pages={478--488}, collection={LNCS} }
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 323
@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, DOI={10.1186/s13174-015-0022-8}, number={1}, journal={Journal of Internet Services and Applications}, publisher={Springer}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 324
@inproceedings{Mohr_2015, series={LNCS}, title={A Metric for Functional Reusability of Services}, DOI={10.1007/978-3-319-14130-5_21}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix}, year={2015}, pages={298--313}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Mastersthesis | LibreCat-ID: 325
@book{Löken_2015, title={A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption}, publisher={Universität Paderborn}, author={Löken, Nils}, year={2015} }
LibreCat | Files available
 

2015 | Bachelorsthesis | LibreCat-ID: 326
@book{Heihoff_2015, title={A group signature scheme based on the LSRW assumption}, publisher={Universität Paderborn}, author={Heihoff, Frederic}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 327
@article{Kniesburges_Koutsopoulos_Scheideler_2015, title={A deterministic worst-case message complexity optimal solution for resource discovery}, DOI={10.1016/j.tcs.2014.11.027}, journal={Theoretical Computer Science}, publisher={Elsevier}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2015}, pages={67–79} }
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 3343
@article{Bubeck_Kleine Büning_2015, title={Learning Boolean Specifications}, DOI={10.1016/j.artint.2015.09.003}, journal={Artificial Intelligence}, publisher={Elsevier}, author={Bubeck, Uwe and Kleine Büning, Hans}, year={2015}, pages={246–257} }
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 3364
@book{Knorr_2015, title={Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten}, publisher={Universität Paderborn}, author={Knorr, Christoph}, year={2015} }
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed