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.
4722 Publications
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, 2018, pp. 714–18, doi:10.1145/3236024.3264830.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20550
Bodden, Eric. “Self-Adaptive Static Analysis.” Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, 2018, pp. 45–48, doi:10.1145/3183399.3183401.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 1796
J. Daymude, Joshua, et al. “On the Runtime of Universal Coating for Programmable Matter.” Natural Computing, no. 1, 2018, pp. 81--96, doi:10.1007/s11047-017-9658-6.
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 18030
N., N. Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18033
Wulfes, Robin. Load-Balanced Routing in Hybriden Kommunikationsnetzwerken. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22755
Pieper, Thorsten, et al. “Applying Open Innovation in the Field of Aircraft MRO - Insights from the LOMIS Project .” Book of Abstracts of the 16th International Open and User Innovation Conference, 6. - 8. Aug. 2018, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 23000
Biemelt, Patrick, et al. “A Model Predictive Motion Cueing Strategy for a 5-Degree-of-Freedom Driving Simulator with Hybrid Kinematics.” Proceedings of the Driving Simulation Conference Europe VR (DSC), 2018, pp. 79–85.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5861
Jager, Tibor, and Rafael Kurek. “Short Digital Signatures and ID-KEMs via Truncation Collision Resistance.” Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018, pp. 221–50, doi:10.1007/978-3-030-03329-3_8.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 5862
Jager, Tibor, et al. “Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH.” Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III, 2018, pp. 490–518, doi:10.1007/978-3-030-03332-3_18.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 5984
Scheideler, Christian. “Preface.” Theor. Comput. Sci., vol. 751, 2018, p. 1, doi:10.1016/j.tcs.2018.11.004.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4411
Knollmann, Till, and Christian Scheideler. “A Self-Stabilizing Hashed Patricia Trie.” Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), edited by Taisuke Izumi and Petr Kuznetsov, vol. 11201, Springer, Cham, 2018, doi:10.1007/978-3-030-03232-6_1.
LibreCat
| Files available
| DOI
| arXiv
2018 | Book Chapter | LibreCat-ID: 4500
Jenert, Tobias. “,Messy Research‘: Methodologische Herausforderungen Der Hochschulbildungsforschung.” Theorie Und Praxis Der Hochschulbildungsforschung: Theoretische, Methodologische Und Methodische Denkanstöße Für Die Hochschuldidaktik, Springer Verlag, 2018, pp. 149–66.
LibreCat
2018 | Conference Paper | LibreCat-ID: 4563
Jung, Daniel, et al. “Competitive Routing in Hybrid Communication Networks.” Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) , Springer, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 4565
Jung, Daniel, et al. “Brief Announcement: Competitive Routing in Hybrid Communication Networks.” Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM Press, 2018, doi:10.1145/3210377.3210663.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 7570
Meyer auf der Heide, Friedhelm, and Johannes Sebastian Schaefer. “Brief Announcement: Communication in Systems of Home Based Mobile Agents.” Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018, doi:10.1145/3210377.3210662.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 9933
Mahnken, Rolf, et al. “‘A Least Squares Approach for Effective Shear Properties in an n-Layered Sphere Model.’” Archive of Applied Mechanics, 2018, pp. 2081–99, doi:10.1007/s00419-018-1431-5.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 9998
Schemmel, Reinhard, et al. “Numerical and Experimental Investigations in Ultrasonic Heavy Wire Bonding.” 6th European Conference on Computational Mechanics (ECCM 6), 2018, pp. 1–12.
LibreCat
2018 | Conference Paper | LibreCat-ID: 4345
Merten, Marie-Luis, and Nina Seemann. “Analysing Constructional Change: Linguistic Annotation and Sources of Uncertainty.” Proceedings of the 6th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM’18), edited by Francisco José García-Peñalvo, ACM, 2018, pp. 819–25, doi:10.1145/3284179.3284320.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 4351
Feldmann, Michael, et al. “Self-Stabilizing Overlays for High-Dimensional Monotonic Searchability.” Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 11201, Springer, Cham, 2018, pp. 16–31, doi:10.1007/978-3-030-03232-6_2.
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 4375
Benter, Markus, et al. “A Peer-to-Peer Based Cloud Storage Supporting Orthogonal Range Queries of Arbitrary Dimension.” Proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD), 2018, doi:10.1007/978-3-030-19759-9_4.
LibreCat
| Files available
| DOI