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.
7530 Publications
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: 19387
@inbook{Wünsche_Henkel_Teutenberg_Meschut_Mailänder_2017, place={Wiesbaden}, title={Auslegung geklebter Kunststofffügeteile}, DOI={10.1007/978-3-658-18445-2_3}, booktitle={Kunststoffe erfolgreich kleben}, author={Wünsche, Marc and Henkel, Katharina and Teutenberg, Dominik and Meschut, Gerson and Mailänder, Sebastian}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 | 
@inproceedings{Blömer_Günther_Krummel_Löken_2017, place={Cham}, title={Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations}, DOI={10.1007/978-3-319-75650-9_1}, booktitle={Foundations and Practice of Security}, publisher={Springer International Publishing}, author={Blömer, Johannes and Günther, Peter and Krummel, Volker and Löken, Nils}, year={2017}, pages={3–17} }
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 23759
@inbook{Menge_Josupeit_Delfs_Schmid_2017, place={Wiesbaden}, title={Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen}, DOI={10.1007/978-3-658-17780-5}, booktitle={Additive Fertigung von Bauteilen und Strukturen}, publisher={Springer Vieweg}, author={Menge, Dennis and Josupeit, Stefan and Delfs, Patrick and Schmid, Hans-Joachim}, editor={Richard, Hans Albert and Schramm, Britta and Zipsner, ThomasEditors}, year={2017}, pages={105–120} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
@inbook{Brauer_2017, place={Cham}, title={Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems}, volume={10236}, DOI={10.1007/978-3-319-57586-5_11}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Brauer, Sascha}, editor={Fotakis, Dimitris and Pagourtzis, Aris and Paschos, Vangelis Th.Editors}, year={2017}, pages={116–127} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 23910
@inbook{Andreiev_Grydin_Schaper_2017, place={Cham}, title={A Rapid Heating Method for Press Hardening Processing}, DOI={10.1007/978-3-319-52132-9_72}, booktitle={Proceedings of the 3rd Pan American Materials Congress}, author={Andreiev, Anatolii and Grydin, Olexandr and Schaper, Mirko}, year={2017} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2050
@inbook{Krimphove_2017, place={Köln}, title={Kommentierung § 3 GWB (Mittelstandskartelle)}, booktitle={Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)}, publisher={Carl Heymanns Verlag KG}, author={Krimphove, Dieter}, editor={Busche, Jan and Röhling, AndreasEditors}, year={2017}, pages={466 – 538} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 20552
@inbook{Gerking_Bodden_Schäfer_2017, place={Berlin, Heidelberg}, title={Industrial Security by Design}, DOI={10.1007/978-3-662-52903-4_8-1}, booktitle={Handbuch Gestaltung digitaler und vernetzter Arbeitswelten}, publisher={Springer Berlin Heidelberg}, author={Gerking, Christopher and Bodden, Eric and Schäfer, Wilhelm}, editor={Maier, Günter W. and Engels, Gregor and Steffen, Eckhard}, year={2017}, pages={1–24} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
@article{Ben Othmane_Chehrazi_Bodden_Tsalovski_Brucker_2017, title={Time for Addressing Software Security Issues: Prediction Models and Impacting Factors}, volume={2}, DOI={https://doi.org/10.1007/s41019-016-0019-8}, number={2}, journal={Data Science and Engineering}, author={Ben Othmane, Lotfi and Chehrazi, Golriz and Bodden, Eric and Tsalovski, Petar and Brucker, Achim D.}, year={2017}, pages={107–124} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 20792
@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017, place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={10.1007/978-3-319-69483-2_19}, number={10606}, booktitle={Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
@inproceedings{J. Daymude_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Improved Leader Election for Self-organizing Programmable Matter}, DOI={10.1007/978-3-319-72751-6_10}, booktitle={Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers}, author={J. Daymude, Joshua and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017}, pages={127--140} }
LibreCat
| DOI
2017 | Book | LibreCat-ID: 22419
@book{Künneke_Zimmer_2017, title={Funktionsintegration additiv gefertigter Dämpfungsstrukturen bei Biegeschwingungen}, DOI={10.1007/978-3-658-17780-5}, publisher={Springer Fachmedien Wiesbaden GmbH}, author={Künneke, Thomas and Zimmer, Detmar}, year={2017}, pages={61–74} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22420
@inproceedings{Lammers_Quattrone_Mrozek_Zimmer_Schmid_Ponick_Hoffmann_2017, title={Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine permanentmagneterregte Synchronmaschine}, DOI={10.3139/9783446454606.006}, booktitle={Proceedings of the 14th Rapid.Tech Conference}, publisher={Hanser Verlag}, author={Lammers, Stefan and Quattrone, Francesco and Mrozek, Rafael and Zimmer, Detmar and Schmid, Hans-Joachim and Ponick, Bernd and Hoffmann, Michael}, year={2017}, pages={80–93} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22421
@inproceedings{Lieneke_Adam_Josupeit_Delfs_Zimmer_2017, title={Maßtoleranzen für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern}, DOI={10.3139/9783446454606.024 }, booktitle={Proceedings of the 14th Rapid.Tech Conference}, publisher={Hanser Verlag}, author={Lieneke, Tobias and Adam, Guido and Josupeit, Stefan and Delfs, Patrick and Zimmer, Detmar}, year={2017}, pages={327–344} }
LibreCat
| DOI