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.
9297 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: 27031
@article{Yang_Xue_Pan_Libuda_Muckelbauer_Yang_Quan_Cheng_2017, title={High protein intake along with paternal part-time employment is associated with higher body fat mass among girls from South China}, DOI={10.1007/s00394-017-1468-1}, journal={European Journal of Nutrition}, author={Yang, Ming-zhe and Xue, Hong-mei and Pan, Jay and Libuda, Lars and Muckelbauer, Rebecca and Yang, Min and Quan, Liming and Cheng, Guo}, year={2017}, pages={1845–1854} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 27212
@inproceedings{Moritzer_Budde_Hüttner_Krassmann_2017, place={Dresden (Deutschland)}, title={Entwicklung einer neuartigen Fügetechnik für Organoblech-Hybridverbindungen}, booktitle={7. Fügetechnisches Gemeinschaftskolloquium}, author={Moritzer, Elmar and Budde, C. and Hüttner, M. and Krassmann, Dimitri}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 27398
@inproceedings{Abdelgawad_Gausemeier_Stöcklein_Grafe_Berssenbrügge_Dumitrescu_2017, place={Basel, Switzerland}, title={A Platform with Multiple Head-Mounted Displays for Advanced Training in Modern Driving Schools}, volume={1}, booktitle={Designs ‒ International Journal of Engineering Designs, Band 1}, publisher={MDPI AG}, author={Abdelgawad, Kareem and Gausemeier, Jürgen and Stöcklein, Jörg and Grafe, Michael and Berssenbrügge, Jan and Dumitrescu, Roman}, year={2017}, pages={8.1-8.14} }
LibreCat
2017 | Journal Article | LibreCat-ID: 27402
@article{Abdelgawad_Gausemeier_Trächtler_Gausemeier_Dumitrescu_Berssenbrügge_Stöcklein_Grafe_2017, title={An Application-Oriented Design Method for Networked Driving Simulation}, volume={1}, journal={Designs ‒ International Journal of Engineering Designs, Band 1}, publisher={MDPI AG}, author={Abdelgawad, Kareem and Gausemeier, Jürgen and Trächtler, Ansgar and Gausemeier, Sandra and Dumitrescu, Roman and Berssenbrügge, Jan and Stöcklein, Jörg and Grafe, Michael}, year={2017}, pages={6.1-6.47} }
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: 27404
@article{Gausemeier_Kage_2017, title={Stand und Perspektiven der Additiven Fertigung}, journal={ZWF, Zeitschrift für wirtschaftliche Fabrikplanung 112(7-8)}, author={Gausemeier, Jürgen and Kage, Martin}, year={2017}, pages={459–464} }
LibreCat
2017 | Journal Article | LibreCat-ID: 27406
@article{Abdelgawad_Gausemeier_Dumitrescu_Grafe_Stöcklein_Berssenbrügge_2017, title={Networked Driving Simulation: Applications, State of the Art, and Design Considerations}, volume={1}, journal={Designs ‒ International Journal of Engineering Designs, Band 1 }, publisher={MDPI AG}, author={Abdelgawad, Kareem and Gausemeier, Jürgen and Dumitrescu, Roman and Grafe, Michael and Stöcklein, Jörg and Berssenbrügge, Jan}, year={2017}, pages={4.1-4.17} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 2741
@inproceedings{Ali Ashraf_Wang_Eldessoki_Holfeld_Parruca_Serror_Gross_2017, place={Dresden}, title={From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication }, publisher={Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017}, author={Ali Ashraf, Shehzad and Wang, Y.-P. Eric and Eldessoki, Sameh and Holfeld, Bernd and Parruca, Donald and Serror, Martin and Gross, James}, year={2017} }
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 27414
@article{Abdelgawad_Gausemeier_Grafe_Berssenbrügge_2017, title={Interest Manager for Networked Driving Simulation Based on High-Level Architecture}, volume={1}, journal={Designs ‒ International Journal of Engineering Designs, Band 1}, publisher={MDPI AG}, author={Abdelgawad, Kareem and Gausemeier, Jürgen and Grafe, Michael and Berssenbrügge, Jan}, year={2017}, pages={3.1-3.11} }
LibreCat
2017 | Journal Article | LibreCat-ID: 27438
@article{Schneider_Mittag_Gausemeier_2017, title={Value Creation Design: Modeling of Value Networks}, journal={Journal of Strategic Innovation and Sustainability 12(1)}, author={Schneider, Marcel and Mittag, Tobias and Gausemeier, Jürgen}, year={2017}, pages={111–125} }
LibreCat
2017 | Journal Article | LibreCat-ID: 27611
@article{Drossel_Eickelmann_2017, title={Teachers’ participation in professional development concerning the implementation of new technologies in class: a latent class analysis of teachers and the relationship with the use of computers, ICT self-efficacy and emphasis on teaching ICT skills}, volume={19}, DOI={10.1186/s40536-017-0053-7}, number={5}, journal={Large-scale Assessments in Education}, author={Drossel, Kerstin and Eickelmann, Birgit}, year={2017}, pages={1–13} }
LibreCat
| 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 | Conference Paper | LibreCat-ID: 1156
@inproceedings{Kersting_Geierhos_Jung_Kim_2017, place={Setúbal, Portugal}, title={Internet of Things Architecture for Handling Stream Air Pollution Data}, DOI={10.5220/0006354801170124}, booktitle={Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela and Jung, Hanmin and Kim, Taehong}, editor={Ramachandran, Muthu and Méndez Muñoz, Víctor and Kantere, Verena and Wills, Gary and Walters, Robert and Chang, VictorEditors}, year={2017}, pages={117–124} }
LibreCat
| Files available
| DOI
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