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.
4748 Publications
2020 | Conference Paper | LibreCat-ID: 25334
Fiterau-Brostean, P., Jonsson, B., Merget, R., de Ruiter, J., Sagonas, K., & Somorovsky, J. (2020). Analysis of DTLS Implementations Using Protocol State Fuzzing. 29th {USENIX} Security Symposium ({USENIX} Security 20), 2523–2540.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19551
Kurek, R. (2020). Efficient Forward-Secure Threshold Public Key Encryption. In J. K. Liu & H. Cui (Eds.), Information Security and Privacy - 25th Australasian Conference, {ACISP} 2020, Perth, WA, Australia, November 30 - December 2, 2020, Proceedings (Vol. 12248, pp. 330–349). Springer. https://doi.org/10.1007/978-3-030-55304-3\_17
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19553
Kurek, R. (2020). Efficient Forward-Secure Threshold Signatures. In K. Aoki & A. Kanaoka (Eds.), Advances in Information and Computer Security - 15th International Workshop on Security, {IWSEC} 2020, Fukui, Japan, September 2-4, 2020, Proceedings (Vol. 12231, pp. 239–260). Springer. https://doi.org/10.1007/978-3-030-58208-1\_14
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19606 | 
Gottschalk, S., Yigitbas, E., Schmidt, E., & Engels, G. (2020). ProConAR: A Tool Support for Model-based AR Product Configuration. In R. Bernhaupt, C. Ardito, & S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020 (Vol. 12481). Cham: Springer. https://doi.org/10.1007/978-3-030-64266-2_14
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19607 |
Schneider, S. B., Klenner, L. D., & Karl, H. (2020). Every Node for Itself: Fully Distributed Service Coordination. In IEEE International Conference on Network and Service Management (CNSM). IEEE.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19609 |
Schneider, S. B., Manzoor, A., Qarawlus, H., Schellenberg, R., Karl, H., Khalili, R., & Hecker, A. (2020). Self-Driving Network and Service Coordination Using Deep Reinforcement Learning. In IEEE International Conference on Network and Service Management (CNSM). IEEE.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19656
Sharma, A., & Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19739
Szopinski, D. (2020). Active Business Model Development Tools: Design Requirements. In Proceedings of the 15th International Conference on Design Science Research in Information Systems and Technology (DESRIST). Virtual Conference/Workshop.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19741
Szopinski, D. (2020). Exploring design principles for stimuli in business model development tools. In Proceedings of the 41st International Conference on Information Systems (ICIS). Virtual Conference/Workshop.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19782
Müller, M., Neumann, J., Gutt, D., & Kundisch, D. (2020). Toss a Coin to your Host - How Guests End up Paying for the Cost of Regulatory Policies. In Proceedings of the 41th International Conference on Information Systems (ICIS). Virtual Conference/Workshop.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19899
Castenow, J., Kling, P., Knollmann, T., & Meyer auf der Heide, F. (2020). A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up. In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 65–80). Springer. https://doi.org/10.1007/978-3-030-64348-5_6
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 19938
McLachlan, R. I., & Offen, C. (2020). Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation. Foundations of Computational Mathematics, 20(6), 1363–1400. https://doi.org/10.1007/s10208-020-09454-z
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 19953 |
Damke, C., Melnikov, V., & Hüllermeier, E. (2020). A Novel Higher-order Weisfeiler-Lehman Graph Convolution. In S. Jialin Pan & M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020) (Vol. 129, pp. 49–64). Bangkok, Thailand: PMLR.
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
2020 | Book Chapter | LibreCat-ID: 20123
Herzig, B., Martin, A., & Klar, T.-M. (2020). Mobile Medien – Medienpädagogische und technische Grundlagen, Potential für den Deutschunterricht und Beispiele. In J. Knopf & U. Abraham (Eds.), Deutsch Digital. Band 1 Theorie (2. Aufl.) (pp. 108–135).
LibreCat
2020 | Conference Paper | LibreCat-ID: 20146
Masendorf, L., Wächter, M., Horstmann, S., Otroshi, M., Esderts, A., & Meschut, G. (2020). Linear damage accumulation of self-pierce riveted joints. Presented at the Fourth International Conference on Material and Component Performance under Variable Amplitude Loading, Darmstadt, Germany: Deutscher Verband für Materialforschung und -prüfung e.V.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20159
Baswana, S., Gupta, S., & Knollmann, T. (2020). Mincut Sensitivity Data Structures for the Insertion of an Edge. In F. Grandoni, G. Herman, & P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020) (Vol. 173, pp. 12:1-12:14). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.12
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole, P. K. (2020). Plurality Consensus in Hybrid Networks.
LibreCat
2020 | Dissertation | LibreCat-ID: 20240
Hoof, S. (2020). Essays on Cooperation in Differential Games. https://doi.org/ 10.17619/UNIPB/1-1047
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI