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.
9820 Publications
2017 | Conference Paper | LibreCat-ID: 11773 | 
@inproceedings{Grimm_Farhoud_Fei_Warsitz_Haeb-Umbach_2017, title={Detection of Moving Targets in Automotive Radar with Distorted Ego-Velocity Information}, booktitle={IEEE Microwaves, Radar and Remote Sensing Symposium (MRRS)}, author={Grimm, Christopher and Farhoud, Ridha and Fei, Tai and Warsitz, Ernst and Haeb-Umbach, Reinhold}, year={2017} }
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 47873
@book{Redmiles_Acar_Fahl_Mazurek_2017, title={A Summary of Survey Methodology Best Practices for Security and Privacy Researchers}, DOI={10.13016/M22K2W}, publisher={University of Maryland Computer Science Department}, author={Redmiles, Elissa M. and Acar, Yasemin and Fahl, Sascha and Mazurek, Michelle L.}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47248
@inproceedings{Acar_Stransky_Wermke_Weir_Mazurek_Fahl_2017, title={Developers Need Support, Too: A Survey of Security Advice for Software Developers}, DOI={10.1109/secdev.2017.17}, booktitle={2017 IEEE Cybersecurity Development (SecDev)}, publisher={IEEE}, author={Acar, Yasemin and Stransky, Christian and Wermke, Dominik and Weir, Charles and Mazurek, Michelle L. and Fahl, Sascha}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47245
@inproceedings{Stransky_Acar_Nguyen_Wermke_Kim_Redmiles_Backes_Garfinkel_Mazurek_Fahl_2017, title={Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers}, booktitle={10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017}, publisher={USENIX Association}, author={Stransky, Christian and Acar, Yasemin and Nguyen, Duc Cuong and Wermke, Dominik and Kim, Doowon and Redmiles, Elissa M. and Backes, Michael and Garfinkel, Simson L. and Mazurek, Michelle L. and Fahl, Sascha}, editor={Fernandez, José M. and Payer, Mathias}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 47243
@inproceedings{Fischer_Böttinger_Xiao_Stransky_Acar_Backes_Fahl_2017, title={Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security}, DOI={10.1109/SP.2017.31}, booktitle={2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017}, publisher={IEEE Computer Society}, author={Fischer, Felix and Böttinger, Konstantin and Xiao, Huang and Stransky, Christian and Acar, Yasemin and Backes, Michael and Fahl, Sascha}, year={2017}, pages={121–136} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47250
@inproceedings{Nguyen_Wermke_Acar_Backes_Weir_Fahl_2017, title={A Stitch in Time: Supporting Android Developers in Writing Secure Code}, DOI={10.1145/3133956.3133977}, booktitle={Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security}, publisher={ACM}, author={Nguyen, Duc Cuong and Wermke, Dominik and Acar, Yasemin and Backes, Michael and Weir, Charles and Fahl, Sascha}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47242
@inproceedings{Acar_Fahl_Mazurek_2017, title={You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users}, DOI={10.1109/secdev.2016.013}, booktitle={2016 IEEE Cybersecurity Development (SecDev)}, publisher={IEEE}, author={Acar, Yasemin and Fahl, Sascha and Mazurek, Michelle L.}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47246
@inproceedings{Acar_Backes_Fahl_Garfinkel_Kim_Mazurek_Stransky_2017, title={Comparing the Usability of Cryptographic APIs}, DOI={10.1109/sp.2017.52}, booktitle={2017 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Fahl, Sascha and Garfinkel, Simson and Kim, Doowon and Mazurek, Michelle L. and Stransky, Christian}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47244
@inproceedings{Acar_Stransky_Wermke_Mazurek_Fahl_2017, title={Security Developer Studies with GitHub Users: Exploring a Convenience Sample}, booktitle={Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017}, publisher={USENIX Association}, author={Acar, Yasemin and Stransky, Christian and Wermke, Dominik and Mazurek, Michelle L. and Fahl, Sascha}, year={2017}, pages={81–95} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 48863
@inproceedings{Bossek_2017, place={New York, NY, USA}, series={GECCO ’17}, title={Ecr 2.0: A Modular Framework for Evolutionary Computation in R}, DOI={10.1145/3067695.3082470}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery}, author={Bossek, Jakob}, year={2017}, pages={1187–1193}, collection={GECCO ’17} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 48857
@inproceedings{Bossek_Grimme_2017, title={A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem}, DOI={10.1109/SSCI.2017.8285183}, booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek, Jakob and Grimme, Christian}, year={2017}, pages={1–8} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 48856
@inproceedings{Bossek_Grimme_2017, title={An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling}, DOI={10.1109/SSCI.2017.8285224}, booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek, Jakob and Grimme, Christian}, year={2017}, pages={1–8} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 48864
@article{Bossek_2017, title={mcMST: A Toolbox for the Multi-Criteria Minimum Spanning Tree Problem}, volume={2}, DOI={10.21105/joss.00374}, number={17}, journal={Journal of Open Source Software}, author={Bossek, Jakob}, year={2017}, pages={374} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 48865
@article{Bossek_2017, title={Smoof: Single- and Multi-Objective Optimization Test Functions}, volume={9}, number={1}, journal={The R Journal}, author={Bossek, Jakob}, year={2017}, pages={103–113} }
LibreCat
2017 | Journal Article | LibreCat-ID: 48837
@article{Bischl_Richter_Bossek_Horn_Thomas_Lang_2017, title={mlrMBO: A Modular Framework for Model-Based Optimization of Expensive Black-Box Functions}, journal={CoRR}, author={Bischl, Bernd and Richter, Jakob and Bossek, Jakob and Horn, Daniel and Thomas, Janek and Lang, Michel}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 31267
@article{Guillarmou_Hilgert_Weich_2017, title={Classical and quantum resonances for hyperbolic surfaces}, volume={370}, DOI={10.1007/s00208-017-1576-5}, number={3–4}, journal={Mathematische Annalen}, publisher={Springer Science and Business Media LLC}, author={Guillarmou, Colin and Hilgert, Joachim and Weich, Tobias}, year={2017}, pages={1231–1275} }
LibreCat
| DOI
| arXiv
2017 | Journal Article | LibreCat-ID: 51390
@article{Hilgert_Przebinda_Pasquale_2017, title={Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3)}, volume={21}, DOI={10.1090/ert/506}, journal={Representation Theory}, author={Hilgert, Joachim and Przebinda, T. and Pasquale, A.}, year={2017}, pages={416–457} }
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 51392
@article{Hilgert_Martens_Manon_2017, title={Contraction of Hamiltonian K-spaces}, volume={20}, DOI={10.1093/imrn/rnw191}, journal={Inter. Math. Research Notices}, author={Hilgert, Joachim and Martens, J. and Manon, Ch.}, year={2017}, pages={6255–6309} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 51391
@article{Hilgert_Przebinda_Pasquale_2017, title={Resonances for the Laplacian of products of two rank one Riemannian symmetric spaces}, volume={272}, journal={J. Funct. Anal.}, author={Hilgert, Joachim and Przebinda, T. and Pasquale, A.}, year={2017}, pages={1477–1523} }
LibreCat
2017 | Preprint | LibreCat-ID: 51525
@article{Hilgert_Hansen_Parthasarathy_2017, title={Resonances and Scattering Poles in Symmetric Spaces of Rank One}, author={Hilgert, Joachim and Hansen, S. and Parthasarathy, A.}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 51576
@article{Hilgert_2017, title={Pitici, M. (Ed). The Best Writing on Mathematics 2016 (Princeton University Press, 2017)}, volume={64}, journal={Mathematische Semesterberichte}, author={Hilgert, Joachim}, year={2017}, pages={253–254} }
LibreCat
2017 | Book Review | LibreCat-ID: 51575
@article{Hilgert_2017, title={Devlin, K. Finding Fibonacci. The Quest to Rediscover the Forgotten Mathematical Genius Who Changed the World (Princeton University Press, 2017)}, volume={64}, journal={Mathematische Semesterberichte}, author={Hilgert, Joachim}, year={2017}, pages={245–247} }
LibreCat
2017 | Journal Article | LibreCat-ID: 45941
@article{Kovács_Li_Lubich_Power Guerra_2017, title={Convergence of finite elements on an evolving surface driven by diffusion on the surface}, volume={137}, DOI={10.1007/s00211-017-0888-4}, number={3}, journal={Numerische Mathematik}, publisher={Springer Science and Business Media LLC}, author={Kovács, Balázs and Li, Buyang and Lubich, Christian and Power Guerra, Christian A.}, year={2017}, pages={643–689} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45942
@article{Kovács_Lubich_2017, title={Stability and convergence of time discretizations of quasi-linear evolution equations of Kato type}, volume={138}, DOI={10.1007/s00211-017-0909-3}, number={2}, journal={Numerische Mathematik}, publisher={Springer Science and Business Media LLC}, author={Kovács, Balázs and Lubich, Christian}, year={2017}, pages={365–388} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45940
@article{Kovács_Lubich_2017, title={Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations}, volume={137}, DOI={10.1007/s00211-017-0868-8}, number={1}, journal={Numerische Mathematik}, publisher={Springer Science and Business Media LLC}, author={Kovács, Balázs and Lubich, Christian}, year={2017}, pages={91–117} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45946
@article{Kovács_Power Guerra_2017, title={Maximum norm stability and error estimates for the evolving surface finite element method}, volume={34}, DOI={10.1002/num.22212}, number={2}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2017}, pages={518–554} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45943
@article{Kovács_2017, title={High-order evolving surface finite element method for parabolic problems on evolving surfaces}, volume={38}, DOI={10.1093/imanum/drx013}, number={1}, journal={IMA Journal of Numerical Analysis}, publisher={Oxford University Press (OUP)}, author={Kovács, Balázs}, year={2017}, pages={430–459} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
@article{Kovács_Power Guerra_2017, title={Maximum norm stability and error estimates for the evolving surface finite element method}, volume={34}, DOI={10.1002/num.22212}, number={2}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2017}, pages={518–554} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 51703
@article{Werth_2017, title={“Guter” Raumlehreunterricht aus der Sicht des Reformpädagogen und Volksschullehrers Ernst Heywang}, volume={63}, number={2}, journal={MU Der Mathematikunterricht}, author={Werth, Gerda}, year={2017}, pages={17–33} }
LibreCat
2017 | Journal Article | LibreCat-ID: 32020
@article{Küster_2017, title={On the semiclassical functional calculus for h-dependent functions}, volume={52}, DOI={10.1007/s10455-017-9549-1}, number={1}, journal={Annals of Global Analysis and Geometry}, publisher={Springer Science and Business Media LLC}, author={Küster, Benjamin}, year={2017}, pages={57–97} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
@article{Küster_Ramacher_2017, title={Quantum ergodicity and symmetry reduction}, volume={273}, DOI={10.1016/j.jfa.2017.02.013}, number={1}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Küster, Benjamin and Ramacher, Pablo}, year={2017}, pages={41–124} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 33563 |
@article{Rezat_Rezat_2017, title={Subject specific genres and genre awareness in integrated mathematics and language teaching}, journal={EURASIA Journal of Mathematics, Science & Technology Education 13 (7b)}, author={Rezat, Sara and Rezat, Sebastian}, year={2017}, pages={4157–4188} }
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 48322
@article{Prediger_Wessel_2017, title={Brauchen mehrsprachige Jugendliche eine andere fach- und sprachintegrierte Förderung als einsprachige?}, volume={21}, DOI={10.1007/s11618-017-0785-8}, number={2}, journal={Zeitschrift für Erziehungswissenschaft}, publisher={Springer Science and Business Media LLC}, author={Prediger, Susanne and Wessel, Lena}, year={2017}, pages={361–382} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 48323
@article{Schüler-Meyer_Prediger_Kuzu_Wessel_Redder_2017, title={Is Formal Language Proficiency in the Home Language Required to Profit from a Bilingual Teaching Intervention in Mathematics? A Mixed Methods Study on Fostering Multilingual Students’ Conceptual Understanding}, volume={17}, DOI={10.1007/s10763-017-9857-8}, number={2}, journal={International Journal of Science and Mathematics Education}, publisher={Springer Science and Business Media LLC}, author={Schüler-Meyer, Alexander and Prediger, Susanne and Kuzu, Taha and Wessel, Lena and Redder, Angelika}, year={2017}, pages={317–339} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 48330
@inbook{Wessel_Andreas_2017, place={Münster/New York}, title={Der Zusammenhang von sprachlichen Kompetenzen und schulischen mathematischen Leistungen: Curriculare Herausforderungen bei der Ausbildung von Lehrkräften vor dem Hintergrund des Berliner Rahmenlehrplans Mathematik}, booktitle={Sprachen – Bilden – Chancen: Sprachbildung in der Lehrkräftebildung}, publisher={Waxmann}, author={Wessel, Lena and Andreas, T.}, editor={Jostes, B.}, year={2017}, pages={189–200} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 48400
@inbook{Sprütten_Wessel_2017, place={Münster}, title={„9 minus 8, das kommt 1.“ Mathematikunterricht in internationalen Förderklassen (IFK). Ziele und exemplarische Realisierungen}, booktitle={Beiträge zum Mathematikunterricht 2017}, publisher={WTM-Verlag}, author={Sprütten, F. and Wessel, Lena}, editor={Kortenkamp, U. and Kuzle, A.}, year={2017}, pages={953–956} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 48401
@inbook{Wessel_2017, place={Münster}, title={„Ja und dann kommt man halt immer einen höher.“ Operatives Üben am Beispiel von Ableitungsregeln}, booktitle={Beiträge zum Mathematikunterricht 2017}, publisher={WTM-Verlag}, author={Wessel, Lena}, editor={Kortenkamp, U. and Kuzle, A.}, year={2017}, pages={1049–1052} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 48331
@inbook{Wessel_Prediger_2017, place={Münster}, title={Differentielle Förderbedarfe je nach Sprachhintergrund? Analysen zu Unterschieden und Gemeinsamkeiten zwischen sprachlich starken und schwachen, einsprachigen und mehrsprachigen Lernenden}, booktitle={Mathematik und Sprache-Empirischer Forschungsstand und unterrichtliche Herausforderungen}, publisher={Waxmann}, author={Wessel, Lena and Prediger, Susanne}, editor={Leiss, D. and Neumann, A. and Schwippert, K.}, year={2017}, pages={165–187} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 48411
@inbook{Wessel_2017, place={Dublin, Ireland}, title={How do students develop lexical means for understanding the concept of relative frequency? Empirical insights on the basis of trace analyses}, booktitle={Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017)}, publisher={DCU Institute of Education and ERME.}, author={Wessel, Lena}, editor={Dooley, T. and Gueudet, G.}, year={2017}, pages={1388–1395} }
LibreCat
| Download (ext.)
2017 | Book (Editor) | LibreCat-ID: 53591
@book{Müller-Gridschneder_2017, place={Lausanne, Switzerland}, title={Proceedings of the 2nd International Workshop on Resiliency in Embedded Electronic Systems}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 6721 |
@inproceedings{Heindorf_Potthast_Bast_Buchhold_Haussmann_2017, title={WSDM Cup 2017: Vandalism Detection and Triple Scoring}, DOI={10.1145/3018661.3022762}, booktitle={WSDM}, publisher={ACM}, author={Heindorf, Stefan and Potthast, Martin and Bast, Hannah and Buchhold, Björn and Haussmann, Elmar}, year={2017}, pages={827–828} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 25070
@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition of Service-based Image Processing Applications}, booktitle={Proceedings of the 13th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={106–113} }
LibreCat
2016 | Dissertation | LibreCat-ID: 195
@book{Platenius_2016, title={Fuzzy Matching of Comprehensive Service Specifications}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2016} }
LibreCat
| Files available
2016 | Report | LibreCat-ID: 198
@book{Jazayeri_Platenius_Engels_Kundisch_2016, title={Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)}, publisher={Universität Paderborn}, author={Jazayeri, Bahar and Platenius, Marie Christin and Engels, Gregor and Kundisch, Dennis}, year={2016} }
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 199
@inproceedings{Jazayeri_Platenius_Engels_Kundisch_2016, place={Banff, Canada}, series={Lecture Notes in Computer Science (LNCS)}, title={Features of IT Service Markets: A Systematic Literature Review}, volume={9936}, DOI={10.1007/978-3-319-46295-0_19}, booktitle={Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)}, publisher={Springer}, author={Jazayeri, Bahar and Platenius, Marie and Engels, Gregor and Kundisch, Dennis}, year={2016}, pages={301–316}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19961
@inproceedings{Wahby_Hofstadler_Heinrich_Zahadat_Hamann_2016, title={An Evolutionary Robotics Approach to the Control of Plant Growth and Motion: Modeling Plants and Crossing the Reality Gap}, DOI={10.1109/saso.2016.8}, booktitle={Proc. of the 10th International Conference on Self-Adaptive and Self-Organizing Systems}, author={Wahby, Mostafa and Hofstadler, Daniel Nicolas and Heinrich, Mary Katherine and Zahadat, Payam and Hamann, Heiko}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 19968
@inproceedings{Heinrich_Wahby_Divband Soorati_Hofstadler_Zahadat_Ayres_Stoy_Hamann_2016, title={Self-Organized Construction with Continuous Building Material: Higher Flexibility Based on Braided Structures}, DOI={10.1109/fas-w.2016.43}, booktitle={Proc. of the 1st International Workshop on Self-Organising Construction (SOCO)}, author={Heinrich, Mary Katherine and Wahby, Mostafa and Divband Soorati, Mohammad and Hofstadler, Daniel Nicolas and Zahadat, Payam and Ayres, Phil and Stoy, Kasper and Hamann, Heiko}, year={2016} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 19969
@article{Hamann_Khaluf_Botev_Divband Soorati_Ferrante_Kosak_Montanier_Mostaghim_Redpath_Timmis_et al._2016, title={Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems}, DOI={10.3389/frobt.2016.00014}, journal={Frontiers in Robotics and AI}, author={Hamann, Heiko and Khaluf, Yara and Botev, Jean and Divband Soorati, Mohammad and Ferrante, Eliseo and Kosak, Oliver and Montanier, Jean-Marc and Mostaghim, Sanaz and Redpath, Richard and Timmis, Jon and et al.}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 19979
@inproceedings{Hamann_Divband Soorati_2016, title={Robot Self-Assembly as Adaptive Growth Process: Collective Selection of Seed Position and Self-Organizing Tree-Structures}, DOI={10.1109/IROS.2016.7759845}, booktitle={IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016)}, author={Hamann, Heiko and Divband Soorati, Mohammad}, year={2016} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 19983
@article{Dorigo_Hamann_Valentini_Ferrante_2016, title={Collective Decision with 100 Kilobots: Speed vs Accuracy in Binary Discrimination Problems}, volume={30}, DOI={10.1007/s10458-015-9323-3}, number={3}, journal={Journal of Autonomous Agents and Multi-Agent Systems}, author={Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele and Ferrante, Eliseo}, year={2016}, pages={553–580} }
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 200
@book{Drees_2016, title={Existence and Properties of Pure Nash Equilibria in Budget Games}, publisher={Universität Paderborn}, author={Drees, Maximilian}, year={2016} }
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 20000
@inproceedings{Hamann_Valentini_Dorigo_2016, place={Cham}, title={Population Coding: A New Design Paradigm for Embodied Distributed Systems}, DOI={10.1007/978-3-319-44427-7_15}, booktitle={10th Int. Conf. on Swarm Intelligence, ANTS 2016}, author={Hamann, Heiko and Valentini, Gabriele and Dorigo, Marco}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20001
@inproceedings{von Mammen_Hamann_Heider_2016, title={Robot Gardens: An Augmented Reality Prototype for Plant-Robot Biohybrid Systems}, DOI={10.1145/2993369.2993400}, booktitle={ACM Symposium on Virtual Reality Software and Technology (VRST)}, author={von Mammen, Sebastian and Hamann, Heiko and Heider, Michael}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20002
@inproceedings{Rybář_Hamann_2016, title={Inspiration-Triggered Search: Towards Higher Complexities by Mimicking Creative Processes}, DOI={10.1145/2908812.2908815}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2016)}, author={Rybář, Milan and Hamann, Heiko}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20003
@inproceedings{Khaluf_Hamann_2016, title={On the Definition of Self-organizing Systems: Relevance of Positive/Negative Feedback and Fluctuations}, volume={9882}, booktitle={ANTS 2016}, author={Khaluf, Yara and Hamann, Heiko}, year={2016}, pages={298} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 20004
@inproceedings{Valentini_Brambilla_Hamann_Dorigo_2016, title={Collective Perception of Environmental Features in a Robot Swarm}, DOI={10.1007/978-3-319-44427-7_6}, booktitle={10th Int. Conf. on Swarm Intelligence, ANTS 2016}, author={Valentini, Gabriele and Brambilla, Davide and Hamann, Heiko and Dorigo, Marco}, year={2016} }
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 201
@book{Bröcher_2016, title={Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung}, publisher={Universität Paderborn}, author={Bröcher, Henrik}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 24154
@article{Ramaswamy_Bhatnagar_2016, title={Stochastic recursive inclusion in two timescales with an application to the lagrangian dual problem}, volume={88}, number={8}, journal={Stochastics}, publisher={Taylor \& Francis}, author={Ramaswamy, Arunselvan and Bhatnagar, Shalabh}, year={2016}, pages={1173–1187} }
LibreCat
2016 | Book Chapter | LibreCat-ID: 26428
@inbook{Keil_2016, title={Design of virtual research environments for {\ "u} r detailed philological work}, booktitle={“Eh, the old man, I would like to pay attention”. Festschrift for {\ "u} r Joachim Veit for his 60th birthday}, publisher={Allitera M {\" u} nchen}, author={Keil, Reinhard}, editor={Richts, K and Stadler, P}, year={2016} }
LibreCat
2016 | Dissertation | LibreCat-ID: 33
@book{Steinle_2016, title={Modeling and simulation of metallic, particle-damped spheres for lightweight materials}, author={Steinle, Tobias}, year={2016} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3318
@article{Melnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title={Pairwise versus Pointwise Ranking: A Case Study}, volume={25}, DOI={10.4467/20838476si.16.006.6187}, journal={Schedae Informaticae}, publisher={Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego}, author={Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd and Gupta, Pritha }, year={2016} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 34
@inproceedings{Dellnitz_Eckstein_Flaßkamp_Friedel_Horenkamp_Köhler_Ober-Blöbaum_Peitz_Tiemeyer_2016, place={Cham}, series={Mathematics in Industry}, title={Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control}, volume={22}, DOI={10.1007/978-3-319-23413-7_87}, booktitle={Progress in Industrial Mathematics at ECMI}, publisher={Springer International Publishing}, author={Dellnitz, Michael and Eckstein, Julian and Flaßkamp, Kathrin and Friedel, Patrick and Horenkamp, Christian and Köhler, Ulrich and Ober-Blöbaum, Sina and Peitz, Sebastian and Tiemeyer, Sebastian}, year={2016}, pages={633–641}, collection={Mathematics in Industry} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 35 |
@article{Linnenbank_Grynko_Förstner_Linden_2016, title={Second harmonic generation spectroscopy on hybrid plasmonic/dielectric nanoantennas}, volume={5}, DOI={10.1038/lsa.2016.13}, number={1}, journal={Light: Science & Applications}, publisher={Springer Nature}, author={Linnenbank, Heiko and Grynko, Yevgen and Förstner, Jens and Linden, Stefan}, year={2016}, pages={e16013} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3543
@inproceedings{Hildebrandt_Alhaddad_Hammer_Förstner_2016, title={Oblique incidence of semi-guided waves on step-like folds in planar dielectric slabs: Lossless vertical interconnects in 3D integrated photonic circuits}, DOI={10.1117/12.2214460}, booktitle={Integrated Optics: Devices, Materials, and Technologies XX}, publisher={SPIE}, author={Hildebrandt, Andre and Alhaddad, Samer and Hammer, Manfred and Förstner, Jens}, editor={Broquin, Jean-Emmanuel and Nunzi Conti, GualtieroEditors}, year={2016} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3747
@inproceedings{Al Khatib_Wachsmuth_Kiesel_Hagen_Stein_2016, title={A News Editorial Corpus for Mining Argumentation Strategies}, booktitle={Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers}, author={Al Khatib, Khalid and Wachsmuth, Henning and Kiesel, Johannes and Hagen, Matthias and Stein, Benno}, year={2016}, pages={3433–3443} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3801
@inproceedings{Al-Khatib_Wachsmuth_Hagen_Köhler_Stein_2016, title={Cross-Domain Mining of Argumentative Text through Distant Supervision}, DOI={10.18653/v1/N16-1165}, booktitle={Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies}, author={Al-Khatib, Khalid and Wachsmuth, Henning and Hagen, Matthias and Köhler, Jonas and Stein, Benno}, year={2016}, pages={1395–1404} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3816
@inproceedings{Wachsmuth_Al Khatib_Stein_2016, title={Using Argument Mining to Assess the Argumentation Quality of Essays}, booktitle={Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers}, author={Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2016}, pages={1680–1691} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3834
@article{Konoshonkin_Borovoi_Kustova_Okamoto_Ishimoto_Grynko_Förstner_2016, title={Light scattering by ice crystals of cirrus clouds: From exact numerical methods to physical-optics approximation}, volume={195}, DOI={10.1016/j.jqsrt.2016.12.024}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, publisher={Elsevier BV}, author={Konoshonkin, Alexander and Borovoi, Anatoli and Kustova, Natalia and Okamoto, Hajime and Ishimoto, Hiroshi and Grynko, Yevgen and Förstner, Jens}, year={2016}, pages={132–140} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3840
@inproceedings{Konoshonkin_Kustova_Borovoi_Okamoto_Sato_Ishimoto_Grynko_Förstner_2016, title={Comparison between the physical-optics approximation and exact methods solving the problem of light scattering by ice crystals of cirrus clouds}, DOI={10.1117/12.2248409}, booktitle={22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics}, publisher={SPIE}, author={Konoshonkin, Alexander V. and Kustova, Natalia V. and Borovoi, Anatoli G. and Okamoto, H. and Sato, K. and Ishimoto, H. and Grynko, Yevgen and Förstner, Jens}, editor={Matvienko, Gennadii G. and Romanovskii, Oleg A.Editors}, year={2016} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3841 |
@article{Quiring_Jonas_Förstner_Rai_Reuter_Wieck_Zrenner_2016, title={Phase sensitive properties and coherent manipulation of a photonic crystal microcavity}, volume={24}, DOI={10.1364/oe.24.020672}, number={18}, journal={Optics Express}, publisher={The Optical Society}, author={Quiring, Wadim and Jonas, Björn and Förstner, Jens and Rai, Ashish K. and Reuter, Dirk and Wieck, Andreas D. and Zrenner, Artur}, year={2016}, pages={20672–20684} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3843
@article{Grynko_Shkuratov_Förstner_2016, title={Light scattering by irregular particles much larger than the wavelength with wavelength-scale surface roughness}, volume={41}, DOI={10.1364/ol.41.003491}, number={15}, journal={Optics Letters}, publisher={The Optical Society}, author={Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}, year={2016}, pages={3491–3493} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3849
@article{Konoshonkin_Kustova_Borovoi_Grynko_Förstner_2016, title={Light scattering by ice crystals of cirrus clouds: comparison of the physical optics methods}, volume={182}, DOI={10.1016/j.jqsrt.2016.05.006}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, publisher={Elsevier BV}, author={Konoshonkin, Alexander V. and Kustova, Natalia V. and Borovoi, Anatoli G. and Grynko, Yevgen and Förstner, Jens}, year={2016}, pages={12–23} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3880
@inproceedings{Wachsmuth_2016, title={Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse}, booktitle={Ausgezeichnete Informatikdissertationen 2015}, author={Wachsmuth, Henning}, year={2016}, pages={329–338} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3884 |
@article{Kou_Förstner_2016, title={Discrete plasmonic solitons in graphene-coated nanowire arrays}, volume={24}, DOI={10.1364/oe.24.004714}, number={5}, journal={Optics Express}, publisher={The Optical Society}, author={Kou, Yao and Förstner, Jens}, year={2016}, pages={4714} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3886
@article{Alberti_Linnenbank_Linden_Grynko_Förstner_2016, title={The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials}, volume={122}, DOI={10.1007/s00340-015-6311-x}, number={2}, journal={Applied Physics B}, publisher={Springer Nature}, author={Alberti, Julian and Linnenbank, Heiko and Linden, Stefan and Grynko, Yevgen and Förstner, Jens}, year={2016}, pages={45–50} }
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 2898
@book{Weis_2016, title={Searchable Encryption}, author={Weis, Eduard}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 2947
@inproceedings{Blömer_Günther_2016, title={Singular Curve Point Decompression Attack}, DOI={10.1109/fdtc.2015.17}, booktitle={2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC)}, publisher={IEEE}, author={Blömer, Johannes and Günther, Peter}, year={2016} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2948
@inbook{Günther_Krummel_2016, place={Cham}, title={Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures}, DOI={10.1007/978-3-319-32859-1_13}, booktitle={Mathematical Aspects of Computer and Information Sciences}, publisher={Springer International Publishing}, author={Günther, Peter and Krummel, Volker}, year={2016}, pages={151–165} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2968
@inbook{Blömer_Lammersen_Schmidt_Sohler_2016, place={Cham}, title={Theoretical Analysis of the k-Means Algorithm – A Survey}, DOI={10.1007/978-3-319-49487-6_3}, booktitle={Algorithm Engineering}, publisher={Springer International Publishing}, author={Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler, Christian}, year={2016}, pages={81–116} }
LibreCat
| DOI
2016 | Preprint | LibreCat-ID: 2969 |
@article{Blömer_Brauer_Bujna_2016, title={Hard-Clustering with Gaussian Mixture Models}, publisher={Computing Research Repository}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2016} }
LibreCat
| Download (ext.)
2016 | Book Chapter | LibreCat-ID: 2970
@inbook{Blömer_Bujna_2016, place={Cham}, title={Adaptive Seeding for Gaussian Mixture Models}, DOI={10.1007/978-3-319-31750-2_24}, booktitle={Advances in Knowledge Discovery and Data Mining}, publisher={Springer International Publishing}, author={Blömer, Johannes and Bujna, Kathrin}, year={2016}, pages={296–308} }
LibreCat
| DOI
2016 | Report | LibreCat-ID: 2971
@book{Blömer_Günther_2016, title={Effizienz und Sicherheit paarungsbasierter Kryptographie}, publisher={Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops}, author={Blömer, Johannes and Günther, Peter}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 3112
@article{Hofheinz_Jager_2016, title={Tightly secure signatures and public-key encryption}, DOI={10.1007/s10623-015-0062-x}, number={1}, journal={Des. Codes Cryptography}, author={Hofheinz, Dennis and Jager, Tibor}, year={2016}, pages={29--61} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3113
@article{Heuer_Jager_Schäge_Kiltz_2016, title={Selective opening security of practical public-key encryption schemes}, DOI={10.1049/iet-ifs.2015.0507}, number={6}, journal={IET Information Security}, author={Heuer, Felix and Jager, Tibor and Schäge, Sven and Kiltz, Eike}, year={2016}, pages={304--318} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3114
@article{Jager_Rupp_2016, title={Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way}, number={3}, journal={PoPETs}, author={Jager, Tibor and Rupp, Andy}, year={2016}, pages={62--82} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
@inproceedings{Hofheinz_Jager_Khurana_Sahai_Waters_Zhandry_2016, title={How to Generate and Use Universal Samplers}, DOI={10.1007/978-3-662-53890-6_24}, booktitle={Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II}, author={Hofheinz, Dennis and Jager, Tibor and Khurana, Dakshita and Sahai, Amit and Waters, Brent and Zhandry, Mark}, year={2016}, pages={715--744} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3116
@inproceedings{Horst_Grothe_Jager_Schwenk_2016, title={Breaking PPTP VPNs via RADIUS Encryption}, DOI={10.1007/978-3-319-48965-0_10}, booktitle={Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings}, author={Horst, Matthias and Grothe, Martin and Jager, Tibor and Schwenk, Jörg}, year={2016}, pages={159--175} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
@inproceedings{Bader_Jager_Li_Schäge_2016, title={On the Impossibility of Tight Cryptographic Reductions}, DOI={10.1007/978-3-662-49896-5_10}, booktitle={Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II}, author={Bader, Christoph and Jager, Tibor and Li, Yong and Schäge, Sven}, year={2016}, pages={273--304} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
@inproceedings{Hofheinz_Jager_Rupp_2016, title={Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts}, DOI={10.1007/978-3-662-53644-5_6}, booktitle={Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II}, author={Hofheinz, Dennis and Jager, Tibor and Rupp, Andy}, year={2016}, pages={146--168} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
@inproceedings{Hofheinz_Jager_2016, title={Verifiable Random Functions from Standard Assumptions}, DOI={10.1007/978-3-662-49096-9_14}, booktitle={Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I}, author={Hofheinz, Dennis and Jager, Tibor}, year={2016}, pages={336--362} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
@inproceedings{Beringer_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of AUTOSAR Software Architectures with Timed Automata}, DOI={10.1007/978-3-319-45943-1_13}, booktitle={Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings}, author={Beringer, Steffen and Wehrheim, Heike}, editor={H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors}, year={2016}, pages={189--204}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
@inproceedings{Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of Concurrent Programs on Weak Memory Models}, DOI={10.1007/978-3-319-46750-4_1}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Sampaio, Augusto and Wang, FarnEditors}, year={2016}, pages={3--24}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
@inproceedings{Schellhorn_Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Towards a Thread-Local Proof Technique for Starvation Freedom}, DOI={10.1007/978-3-319-33693-0_13}, booktitle={Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}, author={Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Huisman, MariekeEditor}, year={2016}, pages={193--209}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
@inproceedings{Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series={LIPIcs}, title={Proving Opacity of a Pessimistic {STM}}, DOI={10.4230/LIPIcs.OPODIS.2016.35}, booktitle={20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}, author={Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Fatourou, Panagiota and Jim{\’{e}}nez, Ernesto and Pedone, FernandoEditors}, year={2016}, pages={35:1--35:17}, collection={LIPIcs} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
@article{Isenberg_Jakobs_Pauck_Wehrheim_2016, title={Deriving approximation tolerance constraints from verification runs}, journal={CoRR}, author={Isenberg, Tobias and Jakobs, Marie{-}Christine and Pauck, Felix and Wehrheim, Heike}, year={2016} }
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
@book{Leder_2016, title={Congestion Games with Mixed Objectives}, publisher={Universität Paderborn}, author={Leder, Lennart}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
@book{Porzenheim_2016, title={Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes}, publisher={Universität Paderborn}, author={Porzenheim, Laurens}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
@book{Bemmann_2016, title={Commitment Schemes - Definitions, Variants, and Security}, publisher={Universität Paderborn}, author={Bemmann, Kai Sören}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
@inproceedings{Drees_Gmyr_Scheideler_2016, title={Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration}, DOI={10.1145/2935764.2935783}, booktitle={Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Drees, Maximilian and Gmyr, Robert and Scheideler, Christian}, year={2016}, pages={417--427} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
@article{Walther_Wehrheim_2016, title={On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs}, DOI={10.1016/j.scico.2016.04.002}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Walther, Sven and Wehrheim, Heike}, year={2016}, pages={2--23} }
LibreCat
| Files available
| DOI