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.
5786 Publications
2017 | Conference Paper | LibreCat-ID: 17652
Polevoy, Gleb, et al. “Filtering Undesirable Flows in Networks.” Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-71150-8_1.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 17653
Polevoy, Gleb, and M. M. de Weerdt. “Reciprocation Effort Games.” Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 17654
Polevoy, Gleb, and M. M. de Weerdt. “Competition between Cooperative Projects.” Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas, Marios, and Burkhard Monien. “Conditional Value-at-Risk: Structure and Complexity of Equilibria.” Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), vol. 10504, 2017, pp. 131--143, doi:10.1007/978-3-319-66700-3_11.
LibreCat
| Files available
| DOI
2017 | Preprint | LibreCat-ID: 17811
Fischer, Matthias, et al. “Gathering Anonymous, Oblivious Robots on a Grid.” ArXiv:1702.03400, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 2343 | 
Löken, Nils. “Searchable Encryption with Access Control.” Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, 24, ACM Press, 2017, doi:10.1145/3098954.3098987.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 2344 |
Blömer, Johannes, et al. “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations.” Foundations and Practice of Security, Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-75650-9_1.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.” Lecture Notes in Computer Science, edited by Dimitris Fotakis et al., vol. 10236, Springer International Publishing, 2017, pp. 116–27, doi:10.1007/978-3-319-57586-5_11.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 20552
Gerking, Christopher, et al. “Industrial Security by Design.” Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, edited by Günter W. Maier et al., Springer Berlin Heidelberg, 2017, pp. 1–24, doi:10.1007/978-3-662-52903-4_8-1.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane, Lotfi, et al. “Time for Addressing Software Security Issues: Prediction Models and Impacting Factors.” Data Science and Engineering, vol. 2, no. 2, 2017, pp. 107–24, doi:https://doi.org/10.1007/s41019-016-0019-8.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 20554
Bodden, Eric. Self-Adaptive Static Analysis. 2017.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
Krüger, Stefan, et al. CrySL: Validating Correct Usage of Cryptographic APIs. 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
Lillack, Max, et al. “Tracking Load-Time Configuration Options.” IEEE Transactions on Software Engineering, vol. PP, no. 99, 2017, pp. 1–1, doi:10.1109/TSE.2017.2756048.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
Krüger, Stefan, et al. “CogniCrypt: Supporting Developers in Using Cryptography.” International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do, Lisa Nguyen Quang, et al. “Just-in-Time Static Analysis.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 307–17, doi:10.1145/3092703.3092705.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do, Lisa, et al. “Cheetah: Just-in-Time Taint Analysis for Android Apps.” International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” Dependable Software Engineering, 3rd International Symposium (SETTA 2017), edited by Kim G. Larsen et al., no. 10606, Springer, 2017, pp. 319–36, doi:10.1007/978-3-319-69483-2_19.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, Stefan. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.” Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), edited by Esther Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20804
Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat