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.
7886 Publications
2017 | Conference Paper | LibreCat-ID: 3111
@inproceedings{Jager_Stam_Stanley-Oakes_Warinschi_2017, title={Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy}, DOI={10.1007/978-3-319-70500-2_14}, booktitle={Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I}, author={Jager, Tibor and Stam, Martijn and Stanley-Oakes, Ryan and Warinschi, Bogdan}, year={2017}, pages={409--441} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3155
@inproceedings{Töws_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings}, author={Töws, Manuel and Wehrheim, Heike}, editor={Duan, Zhenhua and Ong, LukeEditors}, year={2017}, pages={362--378}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3156
@inproceedings{König_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Value-Based or Conflict-Based? Opacity Definitions for STMs}, DOI={10.1007/978-3-319-67729-3_8}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings}, author={König, Jürgen and Wehrheim, Heike}, editor={Van Hung, Dang and Kapur, DeepakEditors}, year={2017}, pages={118--135}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27224
@article{Moritzer_Krugmann_Leister_2017, title={Alterung von plasmabehandelten Kunststoffen – Alles eine Frage der Zeit?}, number={1}, journal={Kunststoffe erfolgreich kleben}, publisher={Wiesbaden: Springer Vieweg}, author={Moritzer, Elmar and Krugmann, J. and Leister, C.}, year={2017}, pages={81–86} }
LibreCat
2017 | Journal Article | LibreCat-ID: 27225
@article{Moritzer_Friedrich_Berger_2017, title={Laserdurchstrahlkleben von opaken Kunststoffen – Schnell und zuverlässig. }, number={1}, journal={Kunststoffe erfolgreich kleben}, publisher={Wiesbaden: Springer Vieweg}, author={Moritzer, Elmar and Friedrich, N. and Berger, J.}, year={2017}, pages={213–221} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 27403
@inproceedings{Brandt_Jähn_Fischer_Gerges_Berssenbrügge_2017, title={Automatic Derivation of Geometric Properties of Components from 3D Polygon Models}, volume={1}, DOI={https://doi.org/10.1115/DETC2017-67528}, booktitle={Proceedings of the ASME 2017 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Band 1}, publisher={ASME}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Gerges, Maria and Berssenbrügge, Jan}, year={2017}, pages={91:1-91:10} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27522
@article{Föcker_Antel_Ring_Hahn_Kanal_Öztürk_Hebebrand_Libuda_2017, title={Vitamin D and mental health in children and adolescents}, DOI={10.1007/s00787-017-0949-3}, journal={European Child & Adolescent Psychiatry}, author={Föcker, Manuel and Antel, Jochen and Ring, Stefanie and Hahn, Denise and Kanal, Özlem and Öztürk, Dana and Hebebrand, Johannes and Libuda, Lars}, year={2017}, pages={1043–1066} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 27771
@article{Weber_Spörkel_Mertens_Freese_Strassburger_Kemper_Bachmann_Diehlmann_Stemper_Buyken_et al._2017, title={Positive Effects of Promoting Physical Activity and Balanced Diets in a Primary School Setting with a High Proportion of Migrant School Children}, DOI={10.1055/s-0043-101918}, journal={Experimental and Clinical Endocrinology & Diabetes}, author={Weber, Katharina and Spörkel, Olaf and Mertens, Melina and Freese, Alem and Strassburger, Klaus and Kemper, Boris and Bachmann, Clemens and Diehlmann, Knut and Stemper, Theodor and Buyken, Anette and et al.}, year={2017}, pages={554–562} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 27796
@inbook{Drossel_Eickelmann_2017, place={Cham}, title={The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy}, DOI={10.1007/978-3-319-74310-3_14}, booktitle={Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing}, publisher={Springer International Publishing}, author={Drossel, Kerstin and Eickelmann, Birgit}, editor={Tatnall, Arthur and Webb, Mary}, year={2017}, pages={114–124} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 112
@inproceedings{Feldotto_Leder_Skopalik_2017, series={LNCS}, title={Congestion Games with Complementarities}, DOI={10.1007/978-3-319-57586-5_19}, booktitle={Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2017}, pages={222--233}, collection={LNCS} }
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
@inproceedings{Feldotto_Gairing_Kotsialou_Skopalik_2017, title={Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games}, DOI={10.1007/978-3-319-71924-5_14}, booktitle={Proceedings of the 13th International Conference on Web and Internet Economics (WINE)}, author={Feldotto, Matthias and Gairing, Martin and Kotsialou, Grammateia and Skopalik, Alexander}, year={2017} }
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
@inproceedings{Jakobs_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Compact Proof Witnesses}, DOI={10.1007/978-3-319-57288-8_28}, booktitle={NASA Formal Methods: 9th International Symposium}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Barrett, Clark and Davies, Misty and Kahsai, TemesghenEditors}, year={2017}, pages={389–403}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
@inproceedings{Jakobs_Krämer_van Straaten_Lettmann_2017, title={Certification Matters for Service Markets}, booktitle={The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}, editor={Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor}, year={2017}, pages={7–12} }
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
@book{Witschen_2017, title={A Framework for the Synthesis of Approximate Circuits}, publisher={Universität Paderborn}, author={Witschen, Linus Matthias}, year={2017} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 1159
@inbook{Kersting_Geierhos_2017, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach}, volume={756}, DOI={10.1007/978-3-319-67642-5}, booktitle={Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings}, publisher={Springer}, author={Kersting, Joschka and Geierhos, Michaela}, editor={Damaševičius, Robertas and Mikašytė, VilmaEditors}, year={2017}, pages={528–538}, collection={Communications in Computer and Information Science} }
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 1161
@inbook{Bäumer_Grote_Kersting_Geierhos_2017, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews}, volume={756}, DOI={10.1007/978-3-319-67642-5_7}, booktitle={Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings}, publisher={Springer}, author={Bäumer, Frederik Simon and Grote, Nicolai and Kersting, Joschka and Geierhos, Michaela}, editor={Damaševičius, Robertas and Mikašytė, VíctorEditors}, year={2017}, pages={77–89}, collection={Communications in Computer and Information Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 17652
@inproceedings{Polevoy_Trajanovski_Grosso_de Laat_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={Filtering Undesirable Flows in Networks}, DOI={10.1007/978-3-319-71150-8_1}, booktitle={Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I}, publisher={Springer International Publishing}, author={Polevoy, Gleb and Trajanovski, Stojan and Grosso, Paola and de Laat, Cees}, year={2017}, pages={3–17}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1767
@inproceedings{Mavronicolas_Monien_2017, series={LNCS}, title={Conditional Value-at-Risk: Structure and Complexity of Equilibria}, volume={10504}, DOI={10.1007/978-3-319-66700-3_11}, booktitle={Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017)}, author={Mavronicolas, Marios and Monien, Burkhard}, year={2017}, pages={131--143}, collection={LNCS} }
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 18834
@inbook{Seng_2017, place={Berlin}, title={studiolo communis, Einleitung }, booktitle={studiolo. Kooperative Forschungsumgebungen in den eHumanities}, author={Seng, Eva- Maria}, editor={Seng, Eva-Maria and Keil, Reinhard and Oevel, GudrunEditors}, year={2017}, pages={1–5} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 18835
@inbook{Seng_2017, place={Berlin}, title={Konstellationsforschung als methodischer Ansatz für kooperative Forschungsumgebungen in der Kunst- und Architekturgeschichte}, booktitle={studiolo. Kooperative Forschungsumgebungen in den eHumanities}, author={Seng, Eva- Maria}, editor={Seng, Eva-Maria and Keil, Reinhard and Oevel, GudrunEditors}, year={2017}, pages={27–34} }
LibreCat