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.
4693 Publications
2020 | Conference Paper | LibreCat-ID: 25334
@inproceedings{Fiterau-Brostean_Jonsson_Merget_de Ruiter_Sagonas_Somorovsky_2020, title={Analysis of DTLS Implementations Using Protocol State Fuzzing}, booktitle={29th {USENIX} Security Symposium ({USENIX} Security 20)}, publisher={{USENIX} Association}, author={Fiterau-Brostean, Paul and Jonsson, Bengt and Merget, Robert and de Ruiter, Joeri and Sagonas, Konstantinos and Somorovsky, Juraj}, year={2020}, pages={2523–2540} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19551
@inproceedings{Kurek_2020, series={Lecture Notes in Computer Science}, title={Efficient Forward-Secure Threshold Public Key Encryption}, volume={12248}, DOI={10.1007/978-3-030-55304-3\_17}, booktitle={Information Security and Privacy - 25th Australasian Conference, {ACISP} 2020, Perth, WA, Australia, November 30 - December 2, 2020, Proceedings}, publisher={Springer}, author={Kurek, Rafael}, editor={K. Liu, Joseph and Cui, HuiEditors}, year={2020}, pages={330–349}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19553
@inproceedings{Kurek_2020, series={Lecture Notes in Computer Science}, title={Efficient Forward-Secure Threshold Signatures}, volume={12231}, DOI={10.1007/978-3-030-58208-1\_14}, booktitle={Advances in Information and Computer Security - 15th International Workshop on Security, {IWSEC} 2020, Fukui, Japan, September 2-4, 2020, Proceedings}, publisher={Springer}, author={Kurek, Rafael}, editor={Aoki, Kazumaro and Kanaoka, AkiraEditors}, year={2020}, pages={239–260}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19606 | 
@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={ProConAR: A Tool Support for Model-based AR Product Configuration}, volume={12481}, DOI={10.1007/978-3-030-64266-2_14}, booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer}, author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19607 |
@inproceedings{Schneider_Klenner_Karl_2020, title={Every Node for Itself: Fully Distributed Service Coordination}, booktitle={IEEE International Conference on Network and Service Management (CNSM)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Klenner, Lars Dietrich and Karl, Holger}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19609 |
@inproceedings{Schneider_Manzoor_Qarawlus_Schellenberg_Karl_Khalili_Hecker_2020, title={Self-Driving Network and Service Coordination Using Deep Reinforcement Learning}, booktitle={IEEE International Conference on Network and Service Management (CNSM)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Manzoor, Adnan and Qarawlus, Haydar and Schellenberg, Rafael and Karl, Holger and Khalili, Ramin and Hecker, Artur}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19656
@inproceedings{Sharma_Wehrheim, series={LNCS}, title={Automatic Fairness Testing of Machine Learning Models}, booktitle={Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}, publisher={Springer}, author={Sharma, Arnab and Wehrheim, Heike}, collection={LNCS} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19739
@inproceedings{Szopinski_2020, title={Active Business Model Development Tools: Design Requirements}, booktitle={Proceedings of the 15th International Conference on Design Science Research in Information Systems and Technology (DESRIST)}, author={Szopinski, Daniel}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19741
@inproceedings{Szopinski_2020, title={Exploring design principles for stimuli in business model development tools}, booktitle={Proceedings of the 41st International Conference on Information Systems (ICIS)}, author={Szopinski, Daniel}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19782
@inproceedings{Müller_Neumann_Gutt_Kundisch_2020, title={Toss a Coin to your Host - How Guests End up Paying for the Cost of Regulatory Policies}, booktitle={Proceedings of the 41th International Conference on Information Systems (ICIS)}, author={Müller, Michelle and Neumann, Jürgen and Gutt, Dominik and Kundisch, Dennis}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19899
@inproceedings{Castenow_Kling_Knollmann_Meyer auf der Heide_2020, series={Lecture Notes in Computer Science (LNCS)}, title={A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up}, volume={12514}, DOI={10.1007/978-3-030-64348-5_6}, booktitle={Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings}, publisher={Springer}, author={Castenow, Jannik and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Devismes , Stéphane and Mittal, Neeraj Editors}, year={2020}, pages={65–80}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 19938
@article{McLachlan_Offen_2020, title={Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation}, volume={20}, DOI={10.1007/s10208-020-09454-z}, number={6}, journal={Foundations of Computational Mathematics}, author={McLachlan, Robert I and Offen, Christian}, year={2020}, pages={1363–1400} }
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 19953 |
@inproceedings{Damke_Melnikov_Hüllermeier_2020, place={Bangkok, Thailand}, series={Proceedings of Machine Learning Research}, title={A Novel Higher-order Weisfeiler-Lehman Graph Convolution}, volume={129}, booktitle={Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020)}, publisher={PMLR}, author={Damke, Clemens and Melnikov, Vitaly and Hüllermeier, Eyke}, editor={Jialin Pan, Sinno and Sugiyama, MasashiEditors}, year={2020}, pages={49–64}, collection={Proceedings of Machine Learning Research} }
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
@book{Mayer_2020, title={Optimierung von JMCTest beim Testen von Inter Method Contracts}, publisher={Universität Paderborn}, author={Mayer, Stefan}, year={2020} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 20123
@inbook{Herzig_Martin_Klar_2020, title={Mobile Medien – Medienpädagogische und technische Grundlagen, Potential für den Deutschunterricht und Beispiele.}, booktitle={Deutsch Digital. Band 1 Theorie (2. Aufl.)}, author={Herzig, Bardo and Martin, Alexander and Klar, Tilman-Mathies}, editor={Knopf, Julia and Abraham, UlfEditors}, year={2020}, pages={108–135} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20146
@inproceedings{Masendorf_Wächter_Horstmann_Otroshi_Esderts_Meschut_2020, title={Linear damage accumulation of self-pierce riveted joints}, publisher={Deutscher Verband für Materialforschung und -prüfung e.V.}, author={Masendorf, Lukas and Wächter, Michael and Horstmann, Stephan and Otroshi, Mortaza and Esderts, Alfons and Meschut, Gerson}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20159
@inproceedings{Baswana_Gupta_Knollmann_2020, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Mincut Sensitivity Data Structures for the Insertion of an Edge}, volume={173}, DOI={10.4230/LIPIcs.ESA.2020.12}, booktitle={28th Annual European Symposium on Algorithms (ESA 2020)}, publisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}, author={Baswana, Surender and Gupta, Shiv and Knollmann, Till}, editor={Grandoni, Fabrizio and Herman, Grzegorz and Sanders, PeterEditors}, year={2020}, pages={12:1-12:14}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
@book{Yeole_2020, title={Plurality Consensus in Hybrid Networks}, author={Yeole, Paresh Kishor}, year={2020} }
LibreCat
2020 | Dissertation | LibreCat-ID: 20240
@book{Hoof_2020, title={Essays on Cooperation in Differential Games}, DOI={ 10.17619/UNIPB/1-1047}, author={Hoof, Simon}, year={2020} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI