[{"department":[{"_id":"79"}],"type":"conference","place":"Cham","date_created":"2026-07-27T14:00:42Z","citation":{"chicago":"Dou, Jinfeng, Thorsten Götte, Henning Hillebrandt, Christian Scheideler, and Julian Werthmann. “Fast Distributed Computation of Compact Routing Schemes.” In <i>Lecture Notes in Computer Science</i>. Cham: Springer Nature Switzerland, 2026. <a href=\"https://doi.org/10.1007/978-3-032-26465-7_19\">https://doi.org/10.1007/978-3-032-26465-7_19</a>.","short":"J. Dou, T. Götte, H. Hillebrandt, C. Scheideler, J. Werthmann, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2026.","apa":"Dou, J., Götte, T., Hillebrandt, H., Scheideler, C., &#38; Werthmann, J. (2026). Fast Distributed Computation of Compact Routing Schemes. <i>Lecture Notes in Computer Science</i>. <a href=\"https://doi.org/10.1007/978-3-032-26465-7_19\">https://doi.org/10.1007/978-3-032-26465-7_19</a>","ieee":"J. Dou, T. Götte, H. Hillebrandt, C. Scheideler, and J. Werthmann, “Fast Distributed Computation of Compact Routing Schemes,” 2026, doi: <a href=\"https://doi.org/10.1007/978-3-032-26465-7_19\">10.1007/978-3-032-26465-7_19</a>.","ama":"Dou J, Götte T, Hillebrandt H, Scheideler C, Werthmann J. Fast Distributed Computation of Compact Routing Schemes. In: <i>Lecture Notes in Computer Science</i>. Springer Nature Switzerland; 2026. doi:<a href=\"https://doi.org/10.1007/978-3-032-26465-7_19\">10.1007/978-3-032-26465-7_19</a>","bibtex":"@inproceedings{Dou_Götte_Hillebrandt_Scheideler_Werthmann_2026, place={Cham}, title={Fast Distributed Computation of Compact Routing Schemes}, DOI={<a href=\"https://doi.org/10.1007/978-3-032-26465-7_19\">10.1007/978-3-032-26465-7_19</a>}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Nature Switzerland}, author={Dou, Jinfeng and Götte, Thorsten and Hillebrandt, Henning and Scheideler, Christian and Werthmann, Julian}, year={2026} }","mla":"Dou, Jinfeng, et al. “Fast Distributed Computation of Compact Routing Schemes.” <i>Lecture Notes in Computer Science</i>, Springer Nature Switzerland, 2026, doi:<a href=\"https://doi.org/10.1007/978-3-032-26465-7_19\">10.1007/978-3-032-26465-7_19</a>."},"publication":"Lecture Notes in Computer Science","doi":"10.1007/978-3-032-26465-7_19","user_id":"74425","_id":"66603","publisher":"Springer Nature Switzerland","language":[{"iso":"eng"}],"date_updated":"2026-07-27T14:40:21Z","publication_status":"published","author":[{"full_name":"Dou, Jinfeng","first_name":"Jinfeng","last_name":"Dou","id":"92888"},{"id":"34727","last_name":"Götte","first_name":"Thorsten","full_name":"Götte, Thorsten"},{"full_name":"Hillebrandt, Henning","last_name":"Hillebrandt","first_name":"Henning","id":"74425"},{"id":"20792","first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian"},{"last_name":"Werthmann","first_name":"Julian","full_name":"Werthmann, Julian","id":"50024"}],"publication_identifier":{"isbn":["9783032264640","9783032264657"],"issn":["0302-9743","1611-3349"]},"year":"2026","title":"Fast Distributed Computation of Compact Routing Schemes","status":"public"},{"department":[{"_id":"79"}],"type":"conference","date_created":"2026-07-27T13:56:01Z","citation":{"mla":"Augustine, John, et al. “Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers.” <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>, ACM, 2026, doi:<a href=\"https://doi.org/10.1145/3796701.3815939\">10.1145/3796701.3815939</a>.","ama":"Augustine J, Hillebrandt H, Kumar M, Scheideler C, Werthmann J. Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers. In: <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>. ACM; 2026. doi:<a href=\"https://doi.org/10.1145/3796701.3815939\">10.1145/3796701.3815939</a>","bibtex":"@inproceedings{Augustine_Hillebrandt_Kumar_Scheideler_Werthmann_2026, title={Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers}, DOI={<a href=\"https://doi.org/10.1145/3796701.3815939\">10.1145/3796701.3815939</a>}, booktitle={Proceedings of the ACM Symposium on Principles of Distributed Computing}, publisher={ACM}, author={Augustine, John and Hillebrandt, Henning and Kumar, Manish and Scheideler, Christian and Werthmann, Julian}, year={2026} }","apa":"Augustine, J., Hillebrandt, H., Kumar, M., Scheideler, C., &#38; Werthmann, J. (2026). Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers. <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>. <a href=\"https://doi.org/10.1145/3796701.3815939\">https://doi.org/10.1145/3796701.3815939</a>","ieee":"J. Augustine, H. Hillebrandt, M. Kumar, C. Scheideler, and J. Werthmann, “Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers,” 2026, doi: <a href=\"https://doi.org/10.1145/3796701.3815939\">10.1145/3796701.3815939</a>.","chicago":"Augustine, John, Henning Hillebrandt, Manish Kumar, Christian Scheideler, and Julian Werthmann. “Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers.” In <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>. ACM, 2026. <a href=\"https://doi.org/10.1145/3796701.3815939\">https://doi.org/10.1145/3796701.3815939</a>.","short":"J. Augustine, H. Hillebrandt, M. Kumar, C. Scheideler, J. Werthmann, in: Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2026."},"publication":"Proceedings of the ACM Symposium on Principles of Distributed Computing","doi":"10.1145/3796701.3815939","user_id":"74425","_id":"66602","publisher":"ACM","language":[{"iso":"eng"}],"date_updated":"2026-07-27T14:39:53Z","publication_status":"published","author":[{"full_name":"Augustine, John","last_name":"Augustine","first_name":"John"},{"first_name":"Henning","last_name":"Hillebrandt","full_name":"Hillebrandt, Henning","id":"74425"},{"full_name":"Kumar, Manish","last_name":"Kumar","first_name":"Manish"},{"full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler","id":"20792"},{"full_name":"Werthmann, Julian","last_name":"Werthmann","first_name":"Julian","id":"50024"}],"title":"Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers","year":"2026","status":"public"},{"publisher":"Springer Nature Switzerland","_id":"66687","language":[{"iso":"eng"}],"page":"253–276","editor":[{"full_name":"Maciel, Cristiano","first_name":"Cristiano","last_name":"Maciel"},{"last_name":"Spano","first_name":"Davide Lucio","full_name":"Spano, Davide Lucio"},{"last_name":"Ardito","first_name":"Carmelo","full_name":"Ardito, Carmelo"},{"full_name":"Freire, André","last_name":"Freire","first_name":"André"},{"full_name":"Prates, Raquel","first_name":"Raquel","last_name":"Prates"}],"user_id":"8447","author":[{"id":"64063","full_name":"Krings, Sarah Claudia","first_name":"Sarah Claudia","last_name":"Krings","orcid":"0000-0001-8040-7553"},{"last_name":"Yigitbas","first_name":"Enes","orcid":"0000-0002-5967-833X","full_name":"Yigitbas, Enes","id":"8447"},{"id":"447","last_name":"Sauer","first_name":"Stefan","orcid":"0000-0003-3084-0409","full_name":"Sauer, Stefan"}],"publication_identifier":{"isbn":["978-3-032-22934-2"]},"title":"Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study","year":"2026","status":"public","date_updated":"2026-08-13T09:38:27Z","date_created":"2026-08-10T09:39:10Z","place":"Cham","department":[{"_id":"66"},{"_id":"534"}],"type":"conference","citation":{"bibtex":"@inproceedings{Krings_Yigitbas_Sauer_2026, place={Cham}, title={Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study}, booktitle={Blending Experiences in Interaction Design}, publisher={Springer Nature Switzerland}, author={Krings, Sarah Claudia and Yigitbas, Enes and Sauer, Stefan}, editor={Maciel, Cristiano and Spano, Davide Lucio and Ardito, Carmelo and Freire, André and Prates, Raquel}, year={2026}, pages={253–276} }","ama":"Krings SC, Yigitbas E, Sauer S. Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study. In: Maciel C, Spano DL, Ardito C, Freire A, Prates R, eds. <i>Blending Experiences in Interaction Design</i>. Springer Nature Switzerland; 2026:253–276.","mla":"Krings, Sarah Claudia, et al. “Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study.” <i>Blending Experiences in Interaction Design</i>, edited by Cristiano Maciel et al., Springer Nature Switzerland, 2026, pp. 253–276.","chicago":"Krings, Sarah Claudia, Enes Yigitbas, and Stefan Sauer. “Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study.” In <i>Blending Experiences in Interaction Design</i>, edited by Cristiano Maciel, Davide Lucio Spano, Carmelo Ardito, André Freire, and Raquel Prates, 253–276. Cham: Springer Nature Switzerland, 2026.","short":"S.C. Krings, E. Yigitbas, S. Sauer, in: C. Maciel, D.L. Spano, C. Ardito, A. Freire, R. Prates (Eds.), Blending Experiences in Interaction Design, Springer Nature Switzerland, Cham, 2026, pp. 253–276.","ieee":"S. C. Krings, E. Yigitbas, and S. Sauer, “Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study,” in <i>Blending Experiences in Interaction Design</i>, 2026, pp. 253–276.","apa":"Krings, S. C., Yigitbas, E., &#38; Sauer, S. (2026). Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study. In C. Maciel, D. L. Spano, C. Ardito, A. Freire, &#38; R. Prates (Eds.), <i>Blending Experiences in Interaction Design</i> (pp. 253–276). Springer Nature Switzerland."},"publication":"Blending Experiences in Interaction Design","abstract":[{"lang":"eng","text":"With a range of consumer devices available, augmented reality (AR) continues to make its way into everyday life and is also increasingly used in professional and sensitive contexts. Especially collaborative use cases, such as remote meetings or maintenance, offer potential, but also move issues in the area of privacy and security into focus. We conducted a scoping review to gain an overview of the current situation and found a lack of clear standards, with most approaches focusing on single protection features. Using the knowledge from the scoping review, we set up and conducted expert interviews. They revealed that end-users are almost completely dependent on developers or device manufacturers regarding their options for protection. The interviews also showed that most developers put little focus on privacy and security, often due to external constraints, such as employers treating the topic as an “afterthought” and not budgeting enough time for it. The experts suggested offering better software support to developers to enable the inclusion of privacy and security with less overhead as a solution. It was also suggested that a general rise in privacy and security awareness could improve the overall situation."}]},{"_id":"66688","publisher":"Gesellschaft für Informatik, Bonn","language":[{"iso":"eng"}],"doi":"10.18420/se2026_53","user_id":"8447","author":[{"full_name":"Wüppelmann, Dennis","orcid":"0009-0008-8979-1457","last_name":"Wüppelmann","first_name":"Dennis","id":"92503"},{"id":"8447","full_name":"Yigitbas, Enes","last_name":"Yigitbas","orcid":"0000-0002-5967-833X","first_name":"Enes"}],"publication_identifier":{"issn":["2944-7682"]},"status":"public","year":"2026","title":"SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality","date_updated":"2026-08-13T09:39:18Z","date_created":"2026-08-10T09:49:48Z","department":[{"_id":"66"},{"_id":"534"}],"type":"journal_article","citation":{"short":"D. Wüppelmann, E. Yigitbas, GI - Software Engineering  (2026).","chicago":"Wüppelmann, Dennis, and Enes Yigitbas. “SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality.” <i>GI - Software Engineering </i>, 2026. <a href=\"https://doi.org/10.18420/se2026_53\">https://doi.org/10.18420/se2026_53</a>.","apa":"Wüppelmann, D., &#38; Yigitbas, E. (2026). SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality. <i>GI - Software Engineering </i>. <a href=\"https://doi.org/10.18420/se2026_53\">https://doi.org/10.18420/se2026_53</a>","ieee":"D. Wüppelmann and E. Yigitbas, “SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality,” <i>GI - Software Engineering </i>, 2026, doi: <a href=\"https://doi.org/10.18420/se2026_53\">10.18420/se2026_53</a>.","ama":"Wüppelmann D, Yigitbas E. SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality. <i>GI - Software Engineering </i>. Published online 2026. doi:<a href=\"https://doi.org/10.18420/se2026_53\">10.18420/se2026_53</a>","bibtex":"@article{Wüppelmann_Yigitbas_2026, title={SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality}, DOI={<a href=\"https://doi.org/10.18420/se2026_53\">10.18420/se2026_53</a>}, journal={GI - Software Engineering }, publisher={Gesellschaft für Informatik, Bonn}, author={Wüppelmann, Dennis and Yigitbas, Enes}, year={2026} }","mla":"Wüppelmann, Dennis, and Enes Yigitbas. “SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality.” <i>GI - Software Engineering </i>, Gesellschaft für Informatik, Bonn, 2026, doi:<a href=\"https://doi.org/10.18420/se2026_53\">10.18420/se2026_53</a>."},"publication":"GI - Software Engineering "},{"doi":"10.5220/0015000700004088","user_id":"15249","_id":"66832","publisher":"SCITEPRESS - Science and Technology Publications","language":[{"iso":"eng"}],"date_updated":"2026-08-24T11:59:36Z","publication_status":"published","author":[{"full_name":"Tahir, Faiza","first_name":"Faiza","last_name":"Tahir","id":"104039"},{"first_name":"Ubaid","last_name":"Ullah","full_name":"Ullah, Ubaid"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","id":"59256"}],"year":"2026","status":"public","title":"Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI","department":[{"_id":"76"}],"type":"conference","date_created":"2026-08-24T11:58:51Z","citation":{"ieee":"F. Tahir, U. Ullah, and E. Bodden, “Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI,” 2026, doi: <a href=\"https://doi.org/10.5220/0015000700004088\">10.5220/0015000700004088</a>.","apa":"Tahir, F., Ullah, U., &#38; Bodden, E. (2026). Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI. <i>Proceedings of the 21st International Conference on Software Technologies</i>. <a href=\"https://doi.org/10.5220/0015000700004088\">https://doi.org/10.5220/0015000700004088</a>","short":"F. Tahir, U. Ullah, E. Bodden, in: Proceedings of the 21st International Conference on Software Technologies, SCITEPRESS - Science and Technology Publications, 2026.","chicago":"Tahir, Faiza, Ubaid Ullah, and Eric Bodden. “Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI.” In <i>Proceedings of the 21st International Conference on Software Technologies</i>. SCITEPRESS - Science and Technology Publications, 2026. <a href=\"https://doi.org/10.5220/0015000700004088\">https://doi.org/10.5220/0015000700004088</a>.","mla":"Tahir, Faiza, et al. “Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI.” <i>Proceedings of the 21st International Conference on Software Technologies</i>, SCITEPRESS - Science and Technology Publications, 2026, doi:<a href=\"https://doi.org/10.5220/0015000700004088\">10.5220/0015000700004088</a>.","bibtex":"@inproceedings{Tahir_Ullah_Bodden_2026, title={Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI}, DOI={<a href=\"https://doi.org/10.5220/0015000700004088\">10.5220/0015000700004088</a>}, booktitle={Proceedings of the 21st International Conference on Software Technologies}, publisher={SCITEPRESS - Science and Technology Publications}, author={Tahir, Faiza and Ullah, Ubaid and Bodden, Eric}, year={2026} }","ama":"Tahir F, Ullah U, Bodden E. Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI. In: <i>Proceedings of the 21st International Conference on Software Technologies</i>. SCITEPRESS - Science and Technology Publications; 2026. doi:<a href=\"https://doi.org/10.5220/0015000700004088\">10.5220/0015000700004088</a>"},"publication":"Proceedings of the 21st International Conference on Software Technologies"},{"citation":{"mla":"Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, IEEE, 2026, doi:<a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>.","ama":"Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. IEEE; 2026. doi:<a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>","bibtex":"@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={<a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }","apa":"Kummita, S., Schiebel, F. B., Bodden, E., Miao, M., &#38; Wei, S. (2026). Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. <a href=\"https://doi.org/10.1109/saner67736.2026.00114\">https://doi.org/10.1109/saner67736.2026.00114</a>","ieee":"S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: <a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>.","short":"S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.","chicago":"Kummita, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” In <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. IEEE, 2026. <a href=\"https://doi.org/10.1109/saner67736.2026.00114\">https://doi.org/10.1109/saner67736.2026.00114</a>."},"publication":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","department":[{"_id":"76"}],"type":"conference","date_created":"2026-08-24T12:01:56Z","date_updated":"2026-08-24T12:02:13Z","publication_status":"published","author":[{"id":"72582","full_name":"Kummita, Sriteja","first_name":"Sriteja","last_name":"Kummita"},{"id":"55745","full_name":"Schiebel, Fabian Benedikt","first_name":"Fabian Benedikt","last_name":"Schiebel","orcid":"0009-0008-6867-9802"},{"first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"full_name":"Miao, Miao","first_name":"Miao","last_name":"Miao"},{"full_name":"Wei, Shiyi","last_name":"Wei","first_name":"Shiyi"}],"year":"2026","title":"Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study","status":"public","doi":"10.1109/saner67736.2026.00114","user_id":"15249","publisher":"IEEE","_id":"66833","language":[{"iso":"eng"}]},{"publication":"Theoretical Computer Science","abstract":[{"lang":"eng","text":"The sliding square model is a widely used abstraction for studying self-reconfigurable robotic systems, where modules are square-shaped robots that move by sliding or rotating over one another. In this paper, we propose a novel distributed algorithm that enables a group of modules to reconfigure into a rhombus shape, starting from an arbitrary side-connected configuration. It is connectivity-preserving and operates under minimal assumptions: one leader module, common chirality, constant memory per module, and visibility and communication restricted to immediate neighbors. Unlike prior work, which relaxes the original sliding square move-set, our approach uses the unmodified move-set, addressing the additional challenge of handling locked configurations. Our algorithm is sequential in nature and operates with a worst-case time complexity of O(n^2) rounds, which is optimal for sequential algorithms. To improve runtime, we introduce two parallel variants of the algorithm. Both rely on a spanning tree data structure, allowing modules to make decisions based on local connectivity. Our experimental results show a significant speedup for the first variant, and a linear average runtime for the second variant, which is worst-case optimal for parallel algorithms."}],"date_created":"2026-08-25T05:30:39Z","keyword":["modular robots","distributed algorithms","sliding squares"],"type":"journal_article","department":[{"_id":"34"},{"_id":"7"},{"_id":"79"}],"year":"2026","title":"Distributed rhombus formation of sliding squares","author":[{"full_name":"Kostitsyna, Irina","last_name":"Kostitsyna","first_name":"Irina"},{"full_name":"Liedtke, David","last_name":"Liedtke","first_name":"David","id":"55557"},{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"}],"publication_identifier":{"issn":["0304-3975"]},"date_updated":"2026-08-25T05:37:47Z","publication_status":"published","intvolume":"      1085","article_type":"original","article_number":"116196","language":[{"iso":"eng"}],"doi":"10.1016/j.tcs.2026.116196","citation":{"ama":"Kostitsyna I, Liedtke D, Scheideler C. Distributed rhombus formation of sliding squares. <i>Theoretical Computer Science</i>. 2026;1085. doi:<a href=\"https://doi.org/10.1016/j.tcs.2026.116196\">10.1016/j.tcs.2026.116196</a>","bibtex":"@article{Kostitsyna_Liedtke_Scheideler_2026, title={Distributed rhombus formation of sliding squares}, volume={1085}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2026.116196\">10.1016/j.tcs.2026.116196</a>}, number={116196}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Kostitsyna, Irina and Liedtke, David and Scheideler, Christian}, year={2026} }","mla":"Kostitsyna, Irina, et al. “Distributed Rhombus Formation of Sliding Squares.” <i>Theoretical Computer Science</i>, vol. 1085, 116196, Elsevier BV, 2026, doi:<a href=\"https://doi.org/10.1016/j.tcs.2026.116196\">10.1016/j.tcs.2026.116196</a>.","short":"I. Kostitsyna, D. Liedtke, C. Scheideler, Theoretical Computer Science 1085 (2026).","chicago":"Kostitsyna, Irina, David Liedtke, and Christian Scheideler. “Distributed Rhombus Formation of Sliding Squares.” <i>Theoretical Computer Science</i> 1085 (2026). <a href=\"https://doi.org/10.1016/j.tcs.2026.116196\">https://doi.org/10.1016/j.tcs.2026.116196</a>.","apa":"Kostitsyna, I., Liedtke, D., &#38; Scheideler, C. (2026). Distributed rhombus formation of sliding squares. <i>Theoretical Computer Science</i>, <i>1085</i>, Article 116196. <a href=\"https://doi.org/10.1016/j.tcs.2026.116196\">https://doi.org/10.1016/j.tcs.2026.116196</a>","ieee":"I. Kostitsyna, D. Liedtke, and C. Scheideler, “Distributed rhombus formation of sliding squares,” <i>Theoretical Computer Science</i>, vol. 1085, Art. no. 116196, 2026, doi: <a href=\"https://doi.org/10.1016/j.tcs.2026.116196\">10.1016/j.tcs.2026.116196</a>."},"status":"public","publisher":"Elsevier BV","_id":"66838","user_id":"55557","volume":1085},{"page":"327–344","series_title":"Lecture Notes in Computer Science","_id":"66097","publisher":"Springer","language":[{"iso":"eng"}],"user_id":"15504","doi":"10.1007/978-3-032-23607-4_20","volume":16525,"editor":[{"full_name":"García-Sánchez, Pablo","first_name":"Pablo","last_name":"García-Sánchez"},{"full_name":"lvarez, Josefa Díaz","first_name":"Josefa Díaz","last_name":"lvarez"},{"full_name":"Murphy, Aidan","first_name":"Aidan","last_name":"Murphy"}],"year":"2026","status":"public","title":"Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact","author":[{"last_name":"Kononova","first_name":"Anna V.","full_name":"Kononova, Anna V."},{"last_name":"van Stein","first_name":"Niki","full_name":"van Stein, Niki"},{"full_name":"Mersmann, Olaf","first_name":"Olaf","last_name":"Mersmann"},{"last_name":"Bäck","first_name":"Thomas","full_name":"Bäck, Thomas"},{"full_name":"Bartz-Beielstein, Thomas","first_name":"Thomas","last_name":"Bartz-Beielstein"},{"full_name":"Glasmachers, Tobias","last_name":"Glasmachers","first_name":"Tobias"},{"first_name":"Michael","last_name":"Hellwig","full_name":"Hellwig, Michael"},{"last_name":"Krey","first_name":"Sebastian","full_name":"Krey, Sebastian"},{"full_name":"Kudela, Jakub","last_name":"Kudela","first_name":"Jakub"},{"full_name":"Naujoks, Boris","last_name":"Naujoks","first_name":"Boris"},{"full_name":"Papenmeier, Leonard","first_name":"Leonard","last_name":"Papenmeier"},{"full_name":"Raponi, Elena","first_name":"Elena","last_name":"Raponi"},{"last_name":"Renau","first_name":"Quentin","full_name":"Renau, Quentin"},{"id":"102977","full_name":"Rook, Jeroen","first_name":"Jeroen","last_name":"Rook"},{"full_name":"Schäpermeier, Lennart","first_name":"Lennart","last_name":"Schäpermeier"},{"last_name":"Vermetten","first_name":"Diederick","full_name":"Vermetten, Diederick"},{"first_name":"Daniela","last_name":"Zaharie","full_name":"Zaharie, Daniela"}],"date_updated":"2026-07-01T12:25:02Z","intvolume":"     16525","date_created":"2026-07-01T12:24:26Z","type":"conference","department":[{"_id":"819"}],"publication":"Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II","citation":{"mla":"Kononova, Anna V., et al. “Benchmarking That Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact.” <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>, edited by Pablo García-Sánchez et al., vol. 16525, Springer, 2026, pp. 327–344, doi:<a href=\"https://doi.org/10.1007/978-3-032-23607-4_20\">10.1007/978-3-032-23607-4_20</a>.","bibtex":"@inproceedings{Kononova_van Stein_Mersmann_Bäck_Bartz-Beielstein_Glasmachers_Hellwig_Krey_Kudela_Naujoks_et al._2026, series={Lecture Notes in Computer Science}, title={Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact}, volume={16525}, DOI={<a href=\"https://doi.org/10.1007/978-3-032-23607-4_20\">10.1007/978-3-032-23607-4_20</a>}, booktitle={Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}, publisher={Springer}, author={Kononova, Anna V. and van Stein, Niki and Mersmann, Olaf and Bäck, Thomas and Bartz-Beielstein, Thomas and Glasmachers, Tobias and Hellwig, Michael and Krey, Sebastian and Kudela, Jakub and Naujoks, Boris and et al.}, editor={García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}, year={2026}, pages={327–344}, collection={Lecture Notes in Computer Science} }","ama":"Kononova AV, van Stein N, Mersmann O, et al. Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact. In: García-Sánchez P, lvarez JD, Murphy A, eds. <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>. Vol 16525. Lecture Notes in Computer Science. Springer; 2026:327–344. doi:<a href=\"https://doi.org/10.1007/978-3-032-23607-4_20\">10.1007/978-3-032-23607-4_20</a>","ieee":"A. V. Kononova <i>et al.</i>, “Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact,” in <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>, 2026, vol. 16525, pp. 327–344, doi: <a href=\"https://doi.org/10.1007/978-3-032-23607-4_20\">10.1007/978-3-032-23607-4_20</a>.","apa":"Kononova, A. V., van Stein, N., Mersmann, O., Bäck, T., Bartz-Beielstein, T., Glasmachers, T., Hellwig, M., Krey, S., Kudela, J., Naujoks, B., Papenmeier, L., Raponi, E., Renau, Q., Rook, J., Schäpermeier, L., Vermetten, D., &#38; Zaharie, D. (2026). Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact. In P. García-Sánchez, J. D. lvarez, &#38; A. Murphy (Eds.), <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i> (Vol. 16525, pp. 327–344). Springer. <a href=\"https://doi.org/10.1007/978-3-032-23607-4_20\">https://doi.org/10.1007/978-3-032-23607-4_20</a>","short":"A.V. Kononova, N. van Stein, O. Mersmann, T. Bäck, T. Bartz-Beielstein, T. Glasmachers, M. Hellwig, S. Krey, J. Kudela, B. Naujoks, L. Papenmeier, E. Raponi, Q. Renau, J. Rook, L. Schäpermeier, D. Vermetten, D. Zaharie, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 327–344.","chicago":"Kononova, Anna V., Niki van Stein, Olaf Mersmann, Thomas Bäck, Thomas Bartz-Beielstein, Tobias Glasmachers, Michael Hellwig, et al. “Benchmarking That Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact.” In <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>, edited by Pablo García-Sánchez, Josefa Díaz lvarez, and Aidan Murphy, 16525:327–344. Lecture Notes in Computer Science. Springer, 2026. <a href=\"https://doi.org/10.1007/978-3-032-23607-4_20\">https://doi.org/10.1007/978-3-032-23607-4_20</a>."}},{"author":[{"id":"103764","last_name":"Skvorc","first_name":"Urban","full_name":"Skvorc, Urban"},{"full_name":"van Stein, Niki","first_name":"Niki","last_name":"van Stein"},{"id":"105520","full_name":"Seiler, Moritz","last_name":"Seiler","first_name":"Moritz"},{"first_name":"Britta","last_name":"Grimme","full_name":"Grimme, Britta","id":"103682"},{"first_name":"Thomas","last_name":"Bäck","full_name":"Bäck, Thomas"},{"id":"100740","last_name":"Trautmann","orcid":"0000-0002-9788-8282","first_name":"Heike","full_name":"Trautmann, Heike"}],"status":"public","year":"2026","title":"LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties","intvolume":"     16525","date_updated":"2026-07-01T12:14:04Z","_id":"66095","series_title":"Lecture Notes in Computer Science","publisher":"Springer","language":[{"iso":"eng"}],"page":"183–199","editor":[{"first_name":"Pablo","last_name":"García-Sánchez","full_name":"García-Sánchez, Pablo"},{"full_name":"lvarez, Josefa Díaz","first_name":"Josefa Díaz","last_name":"lvarez"},{"full_name":"Murphy, Aidan","last_name":"Murphy","first_name":"Aidan"}],"volume":16525,"doi":"10.1007/978-3-032-23607-4_12","user_id":"15504","citation":{"ieee":"U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, and H. Trautmann, “LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties,” in <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>, 2026, vol. 16525, pp. 183–199, doi: <a href=\"https://doi.org/10.1007/978-3-032-23607-4_12\">10.1007/978-3-032-23607-4_12</a>.","apa":"Skvorc, U., van Stein, N., Seiler, M., Grimme, B., Bäck, T., &#38; Trautmann, H. (2026). LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties. In P. García-Sánchez, J. D. lvarez, &#38; A. Murphy (Eds.), <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i> (Vol. 16525, pp. 183–199). Springer. <a href=\"https://doi.org/10.1007/978-3-032-23607-4_12\">https://doi.org/10.1007/978-3-032-23607-4_12</a>","short":"U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, H. Trautmann, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 183–199.","chicago":"Skvorc, Urban, Niki van Stein, Moritz Seiler, Britta Grimme, Thomas Bäck, and Heike Trautmann. “LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties.” In <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>, edited by Pablo García-Sánchez, Josefa Díaz lvarez, and Aidan Murphy, 16525:183–199. Lecture Notes in Computer Science. Springer, 2026. <a href=\"https://doi.org/10.1007/978-3-032-23607-4_12\">https://doi.org/10.1007/978-3-032-23607-4_12</a>.","mla":"Skvorc, Urban, et al. “LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties.” <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>, edited by Pablo García-Sánchez et al., vol. 16525, Springer, 2026, pp. 183–199, doi:<a href=\"https://doi.org/10.1007/978-3-032-23607-4_12\">10.1007/978-3-032-23607-4_12</a>.","bibtex":"@inproceedings{Skvorc_van Stein_Seiler_Grimme_Bäck_Trautmann_2026, series={Lecture Notes in Computer Science}, title={LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties}, volume={16525}, DOI={<a href=\"https://doi.org/10.1007/978-3-032-23607-4_12\">10.1007/978-3-032-23607-4_12</a>}, booktitle={Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}, publisher={Springer}, author={Skvorc, Urban and van Stein, Niki and Seiler, Moritz and Grimme, Britta and Bäck, Thomas and Trautmann, Heike}, editor={García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}, year={2026}, pages={183–199}, collection={Lecture Notes in Computer Science} }","ama":"Skvorc U, van Stein N, Seiler M, Grimme B, Bäck T, Trautmann H. LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties. In: García-Sánchez P, lvarez JD, Murphy A, eds. <i>Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II</i>. Vol 16525. Lecture Notes in Computer Science. Springer; 2026:183–199. doi:<a href=\"https://doi.org/10.1007/978-3-032-23607-4_12\">10.1007/978-3-032-23607-4_12</a>"},"publication":"Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II","date_created":"2026-07-01T12:13:34Z","department":[{"_id":"819"}],"type":"conference"},{"external_id":{"arxiv":["2510.08515"]},"date_created":"2025-10-10T13:45:07Z","type":"conference","department":[{"_id":"7"},{"_id":"623"}],"publication":"International Colloquium on Automata, Languages, and Programming (ICALP)","issue":"123","citation":{"mla":"Karaiskos, Georgios, et al. “How Hard Is It to Verify a Classical Shadow?” <i>International Colloquium on Automata, Languages, and Programming (ICALP)</i>, vol. 374, no. 123, 2026, pp. 1–23.","ama":"Karaiskos G, Rudolph D, Meyer JJ, Eisert J, Gharibian S. How hard is it to verify a classical shadow? In: <i>International Colloquium on Automata, Languages, and Programming (ICALP)</i>. Vol 374. ; 2026:1-23.","bibtex":"@inproceedings{Karaiskos_Rudolph_Meyer_Eisert_Gharibian_2026, title={How hard is it to verify a classical shadow?}, volume={374}, number={123}, booktitle={International Colloquium on Automata, Languages, and Programming (ICALP)}, author={Karaiskos, Georgios and Rudolph, Dorian and Meyer, Johannes Jakob and Eisert, Jens and Gharibian, Sevag}, year={2026}, pages={1–23} }","apa":"Karaiskos, G., Rudolph, D., Meyer, J. J., Eisert, J., &#38; Gharibian, S. (2026). How hard is it to verify a classical shadow? <i>International Colloquium on Automata, Languages, and Programming (ICALP)</i>, <i>374</i>(123), 1–23.","ieee":"G. Karaiskos, D. Rudolph, J. J. Meyer, J. Eisert, and S. Gharibian, “How hard is it to verify a classical shadow?,” in <i>International Colloquium on Automata, Languages, and Programming (ICALP)</i>, 2026, vol. 374, no. 123, pp. 1–23.","chicago":"Karaiskos, Georgios, Dorian Rudolph, Johannes Jakob Meyer, Jens Eisert, and Sevag Gharibian. “How Hard Is It to Verify a Classical Shadow?” In <i>International Colloquium on Automata, Languages, and Programming (ICALP)</i>, 374:1–23, 2026.","short":"G. Karaiskos, D. Rudolph, J.J. Meyer, J. Eisert, S. Gharibian, in: International Colloquium on Automata, Languages, and Programming (ICALP), 2026, pp. 1–23."},"abstract":[{"lang":"eng","text":"Classical shadows are succinct classical representations of quantum states\r\nwhich allow one to encode a set of properties P of a quantum state rho, while\r\nonly requiring measurements on logarithmically many copies of rho in the size\r\nof P. In this work, we initiate the study of verification of classical shadows,\r\ndenoted classical shadow validity (CSV), from the perspective of computational\r\ncomplexity, which asks: Given a classical shadow S, how hard is it to verify\r\nthat S predicts the measurement statistics of a quantum state? We show that\r\neven for the elegantly simple classical shadow protocol of [Huang, Kueng,\r\nPreskill, Nature Physics 2020] utilizing local Clifford measurements, CSV is\r\nQMA-complete. This hardness continues to hold for the high-dimensional\r\nextension of said protocol due to [Mao, Yi, and Zhu, PRL 2025]. Among other\r\nresults, we also show that CSV for exponentially many observables is complete\r\nfor a quantum generalization of the second level of the polynomial hierarchy,\r\nyielding the first natural complete problem for such a class."}],"page":"1-23","language":[{"iso":"eng"}],"_id":"61777","user_id":"71541","volume":374,"title":"How hard is it to verify a classical shadow?","status":"public","year":"2026","author":[{"first_name":"Georgios","last_name":"Karaiskos","full_name":"Karaiskos, Georgios"},{"full_name":"Rudolph, Dorian","first_name":"Dorian","last_name":"Rudolph","id":"57863"},{"full_name":"Meyer, Johannes Jakob","last_name":"Meyer","first_name":"Johannes Jakob"},{"first_name":"Jens","last_name":"Eisert","full_name":"Eisert, Jens"},{"id":"71541","full_name":"Gharibian, Sevag","first_name":"Sevag","last_name":"Gharibian","orcid":"0000-0002-9992-3379"}],"date_updated":"2026-07-01T15:30:26Z","publication_status":"published","intvolume":"       374"},{"main_file_link":[{"url":"https://mugdhak30.github.io/assets/Preprints/RoPA_SANER2026.pdf"}],"language":[{"iso":"eng"}],"_id":"64909","user_id":"88024","doi":"10.1109/SANER67736.2026.00109","year":"2026","title":"Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View","status":"public","author":[{"id":"88024","last_name":"Khedkar","first_name":"Mugdha","full_name":"Khedkar, Mugdha"},{"full_name":"Schlichtig, Michael","last_name":"Schlichtig","orcid":"0000-0001-6600-6171","first_name":"Michael","id":"32312"},{"orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"}],"date_updated":"2026-07-07T14:32:52Z","date_created":"2026-03-13T12:16:09Z","type":"conference","department":[{"_id":"76"}],"publication":"IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","citation":{"apa":"Khedkar, M., Schlichtig, M., &#38; Bodden, E. (2026). Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View. <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. <a href=\"https://doi.org/10.1109/SANER67736.2026.00109\">https://doi.org/10.1109/SANER67736.2026.00109</a>","ieee":"M. Khedkar, M. Schlichtig, and E. Bodden, “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View,” 2026, doi: <a href=\"https://doi.org/10.1109/SANER67736.2026.00109\">10.1109/SANER67736.2026.00109</a>.","chicago":"Khedkar, Mugdha, Michael Schlichtig, and Eric Bodden. “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View.” In <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, 2026. <a href=\"https://doi.org/10.1109/SANER67736.2026.00109\">https://doi.org/10.1109/SANER67736.2026.00109</a>.","short":"M. Khedkar, M. Schlichtig, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026.","mla":"Khedkar, Mugdha, et al. “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View.” <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, 2026, doi:<a href=\"https://doi.org/10.1109/SANER67736.2026.00109\">10.1109/SANER67736.2026.00109</a>.","ama":"Khedkar M, Schlichtig M, Bodden E. Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View. In: <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. ; 2026. doi:<a href=\"https://doi.org/10.1109/SANER67736.2026.00109\">10.1109/SANER67736.2026.00109</a>","bibtex":"@inproceedings{Khedkar_Schlichtig_Bodden_2026, title={Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View}, DOI={<a href=\"https://doi.org/10.1109/SANER67736.2026.00109\">10.1109/SANER67736.2026.00109</a>}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Khedkar, Mugdha and Schlichtig, Michael and Bodden, Eric}, year={2026} }"}},{"title":"Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding","year":"2026","author":[{"id":"55745","last_name":"Schiebel","first_name":"Fabian Benedikt","orcid":"0009-0008-6867-9802","full_name":"Schiebel, Fabian Benedikt"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","id":"59256"}],"publication_identifier":{"isbn":["978-3-95977-423-9"],"issn":["1868-8969"]},"date_updated":"2026-07-10T08:22:40Z","intvolume":"       372","language":[{"iso":"eng"}],"series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi":"10.4230/LIPIcs.ECOOP.2026.23","publication":"40th European Conference on Object-Oriented Programming (ECOOP 2026)","date_created":"2026-07-10T08:22:24Z","type":"conference","department":[{"_id":"76"}],"status":"public","page":"23:1–23:28","_id":"66433","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","user_id":"15249","editor":[{"last_name":"Krebbers","first_name":"Robbert","full_name":"Krebbers, Robbert"},{"first_name":"Alexandra","last_name":"Silva","full_name":"Silva, Alexandra"}],"volume":372,"citation":{"bibtex":"@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2026.23\">10.4230/LIPIcs.ECOOP.2026.23</a>}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }","ama":"Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>. Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2026.23\">10.4230/LIPIcs.ECOOP.2026.23</a>","mla":"Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>, edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2026.23\">10.4230/LIPIcs.ECOOP.2026.23</a>.","chicago":"Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” In <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>, edited by Robbert Krebbers and Alexandra Silva, 372:23:1–23:28. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026. <a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2026.23\">https://doi.org/10.4230/LIPIcs.ECOOP.2026.23</a>.","short":"F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28.","ieee":"F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>, 2026, vol. 372, p. 23:1–23:28, doi: <a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2026.23\">10.4230/LIPIcs.ECOOP.2026.23</a>.","apa":"Schiebel, F. B., &#38; Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In R. Krebbers &#38; A. Silva (Eds.), <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i> (Vol. 372, p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2026.23\">https://doi.org/10.4230/LIPIcs.ECOOP.2026.23</a>"},"place":"Dagstuhl, Germany"},{"language":[{"iso":"eng"}],"_id":"66429","publisher":"IEEE","user_id":"15249","doi":"10.1109/saner67736.2026.00114","author":[{"first_name":"Sriteja","last_name":"Kummita","full_name":"Kummita, Sriteja","id":"72582"},{"full_name":"Schiebel, Fabian Benedikt","orcid":"0009-0008-6867-9802","last_name":"Schiebel","first_name":"Fabian Benedikt","id":"55745"},{"id":"59256","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"full_name":"Miao, Miao","last_name":"Miao","first_name":"Miao"},{"full_name":"Wei, Shiyi","first_name":"Shiyi","last_name":"Wei"}],"year":"2026","status":"public","title":"Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study","publication_status":"published","date_updated":"2026-07-10T08:17:20Z","date_created":"2026-07-10T08:16:53Z","department":[{"_id":"76"}],"type":"conference","citation":{"bibtex":"@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={<a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }","ama":"Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. IEEE; 2026. doi:<a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>","mla":"Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, IEEE, 2026, doi:<a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>.","chicago":"Kummita, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” In <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. IEEE, 2026. <a href=\"https://doi.org/10.1109/saner67736.2026.00114\">https://doi.org/10.1109/saner67736.2026.00114</a>.","short":"S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.","ieee":"S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: <a href=\"https://doi.org/10.1109/saner67736.2026.00114\">10.1109/saner67736.2026.00114</a>.","apa":"Kummita, S., Schiebel, F. B., Bodden, E., Miao, M., &#38; Wei, S. (2026). Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. <a href=\"https://doi.org/10.1109/saner67736.2026.00114\">https://doi.org/10.1109/saner67736.2026.00114</a>"},"publication":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)"},{"date_created":"2026-07-28T11:49:30Z","department":[{"_id":"66"},{"_id":"534"}],"type":"conference","citation":{"apa":"Stojko, L., Herder, E., Strecker-Bischoff, J., Sänger, J. S., Neumayr, T., Yigitbas, E., &#38; Augstein, M. (2026). ABIS 2026: The Effects of the Adaptive Web on Society. In W.-T. Balke, F. Plötzky, M. Spaniol, E. Herder, L. Manikonda, H. Liu, L.-D. Ibáñez, &#38; R. Rezapour (Eds.), <i>Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026</i> (pp. 108–109). ACM. <a href=\"https://doi.org/10.1145/3795513.3810983\">https://doi.org/10.1145/3795513.3810983</a>","ieee":"L. Stojko <i>et al.</i>, “ABIS 2026: The Effects of the Adaptive Web on Society,” in <i>Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026</i>, 2026, pp. 108–109, doi: <a href=\"https://doi.org/10.1145/3795513.3810983\">10.1145/3795513.3810983</a>.","chicago":"Stojko, Laura, Eelco Herder, Jannis Strecker-Bischoff, Julia Seitz Sänger, Thomas Neumayr, Enes Yigitbas, and Mirjam Augstein. “ABIS 2026: The Effects of the Adaptive Web on Society.” In <i>Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026</i>, edited by Wolf-Tilo Balke, Florian Plötzky, Marc Spaniol, Eelco Herder, Lydia Manikonda, Haiming Liu, Luis-Daniel Ibáñez, and Rezvaneh Rezapour, 108–109. ACM, 2026. <a href=\"https://doi.org/10.1145/3795513.3810983\">https://doi.org/10.1145/3795513.3810983</a>.","short":"L. Stojko, E. Herder, J. Strecker-Bischoff, J.S. Sänger, T. Neumayr, E. Yigitbas, M. Augstein, in: W.-T. Balke, F. Plötzky, M. Spaniol, E. Herder, L. Manikonda, H. Liu, L.-D. Ibáñez, R. Rezapour (Eds.), Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026, ACM, 2026, pp. 108–109.","mla":"Stojko, Laura, et al. “ABIS 2026: The Effects of the Adaptive Web on Society.” <i>Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026</i>, edited by Wolf-Tilo Balke et al., ACM, 2026, pp. 108–109, doi:<a href=\"https://doi.org/10.1145/3795513.3810983\">10.1145/3795513.3810983</a>.","ama":"Stojko L, Herder E, Strecker-Bischoff J, et al. ABIS 2026: The Effects of the Adaptive Web on Society. In: Balke W-T, Plötzky F, Spaniol M, et al., eds. <i>Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026</i>. ACM; 2026:108–109. doi:<a href=\"https://doi.org/10.1145/3795513.3810983\">10.1145/3795513.3810983</a>","bibtex":"@inproceedings{Stojko_Herder_Strecker-Bischoff_Sänger_Neumayr_Yigitbas_Augstein_2026, title={ABIS 2026: The Effects of the Adaptive Web on Society}, DOI={<a href=\"https://doi.org/10.1145/3795513.3810983\">10.1145/3795513.3810983</a>}, booktitle={Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026}, publisher={ACM}, author={Stojko, Laura and Herder, Eelco and Strecker-Bischoff, Jannis and Sänger, Julia Seitz and Neumayr, Thomas and Yigitbas, Enes and Augstein, Mirjam}, editor={Balke, Wolf-Tilo and Plötzky, Florian and Spaniol, Marc and Herder, Eelco and Manikonda, Lydia and Liu, Haiming and Ibáñez, Luis-Daniel and Rezapour, Rezvaneh}, year={2026}, pages={108–109} }"},"publication":"Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026","language":[{"iso":"eng"}],"_id":"66610","publisher":"ACM","page":"108–109","editor":[{"full_name":"Balke, Wolf-Tilo","first_name":"Wolf-Tilo","last_name":"Balke"},{"first_name":"Florian","last_name":"Plötzky","full_name":"Plötzky, Florian"},{"first_name":"Marc","last_name":"Spaniol","full_name":"Spaniol, Marc"},{"full_name":"Herder, Eelco","first_name":"Eelco","last_name":"Herder"},{"full_name":"Manikonda, Lydia","last_name":"Manikonda","first_name":"Lydia"},{"full_name":"Liu, Haiming","last_name":"Liu","first_name":"Haiming"},{"full_name":"Ibáñez, Luis-Daniel","first_name":"Luis-Daniel","last_name":"Ibáñez"},{"full_name":"Rezapour, Rezvaneh","last_name":"Rezapour","first_name":"Rezvaneh"}],"user_id":"8447","doi":"10.1145/3795513.3810983","author":[{"full_name":"Stojko, Laura","last_name":"Stojko","first_name":"Laura"},{"full_name":"Herder, Eelco","first_name":"Eelco","last_name":"Herder"},{"full_name":"Strecker-Bischoff, Jannis","first_name":"Jannis","last_name":"Strecker-Bischoff"},{"full_name":"Sänger, Julia Seitz","first_name":"Julia Seitz","last_name":"Sänger"},{"full_name":"Neumayr, Thomas","last_name":"Neumayr","first_name":"Thomas"},{"id":"8447","last_name":"Yigitbas","orcid":"0000-0002-5967-833X","first_name":"Enes","full_name":"Yigitbas, Enes"},{"full_name":"Augstein, Mirjam","first_name":"Mirjam","last_name":"Augstein"}],"title":"ABIS 2026: The Effects of the Adaptive Web on Society","status":"public","year":"2026","date_updated":"2026-07-28T11:49:52Z"},{"publication":"Proceedings on Privacy Enhancing Technologies","issue":"4","abstract":[{"lang":"eng","text":"Smart cities promise safer streets, smoother traffic, and more efficient services, enabled by dense networks of urban sensors. Yet this infrastructure, often unnoticed by citizens, introduces pervasive privacy risks, from tracking, profiling, and sensitive inferences to subtle forms of self-censorship. Despite widespread deployment, little is known about how the public understands and perceives these sensing systems. To address this gap, we present an intervention based user study (n = 172) in which participants are exposed to data collection by six urban sensors, including cameras and alternative technologies commonly framed as privacy-preserving. Participants encounter either the sensors alone or sensors accompanied by real-time data visualizations. Our results reveal widespread misunderstanding of some sensors (radar, LiDAR, Wi-Fi, depth, and thermal imaging sensors), particularly their capacity for identification and for attribute inferences such as gender or age. We also identify persistent misconceptions, including the belief that Wi-Fi poses privacy risks only when users connect to public networks. While making sensors visible and visualizing collected data improves privacy awareness, these measures alone are not enough for citizens to understand the actual risks of urban sensing. We derive recommendations for privacy-respecting smart city environments grounded in citizens’ informational needs and expectations."}],"date_created":"2026-08-03T10:46:58Z","type":"journal_article","department":[{"_id":"679"}],"year":"2026","title":"“The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces","author":[{"first_name":"Julian","last_name":"Todt","full_name":"Todt, Julian"},{"first_name":"Emiram","last_name":"Kablo","full_name":"Kablo, Emiram","id":"46433"},{"full_name":"Morsbach, Felix","last_name":"Morsbach","first_name":"Felix"},{"id":"92804","full_name":"Arias Cabarcos, Patricia","last_name":"Arias Cabarcos","first_name":"Patricia"},{"full_name":"Strufe, Thorsten","first_name":"Thorsten","last_name":"Strufe"}],"publication_identifier":{"issn":["2299-0984"]},"publication_status":"published","date_updated":"2026-08-03T10:49:58Z","intvolume":"      2026","main_file_link":[{"open_access":"1","url":"https://petsymposium.org/popets/2026/popets-2026-0108.php"}],"language":[{"iso":"eng"}],"doi":"10.56553/popets-2026-0108","citation":{"ieee":"J. Todt, E. Kablo, F. Morsbach, P. Arias Cabarcos, and T. Strufe, “‘The city isn’t uploading me to TikTok’: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces,” <i>Proceedings on Privacy Enhancing Technologies</i>, vol. 2026, no. 4, pp. 7–35, 2026, doi: <a href=\"https://doi.org/10.56553/popets-2026-0108\">10.56553/popets-2026-0108</a>.","apa":"Todt, J., Kablo, E., Morsbach, F., Arias Cabarcos, P., &#38; Strufe, T. (2026). “The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces. <i>Proceedings on Privacy Enhancing Technologies</i>, <i>2026</i>(4), 7–35. <a href=\"https://doi.org/10.56553/popets-2026-0108\">https://doi.org/10.56553/popets-2026-0108</a>","short":"J. Todt, E. Kablo, F. Morsbach, P. Arias Cabarcos, T. Strufe, Proceedings on Privacy Enhancing Technologies 2026 (2026) 7–35.","chicago":"Todt, Julian, Emiram Kablo, Felix Morsbach, Patricia Arias Cabarcos, and Thorsten Strufe. “‘The City Isn’t Uploading Me to TikTok’: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces.” <i>Proceedings on Privacy Enhancing Technologies</i> 2026, no. 4 (2026): 7–35. <a href=\"https://doi.org/10.56553/popets-2026-0108\">https://doi.org/10.56553/popets-2026-0108</a>.","mla":"Todt, Julian, et al. “‘The City Isn’t Uploading Me to TikTok’: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces.” <i>Proceedings on Privacy Enhancing Technologies</i>, vol. 2026, no. 4, Privacy Enhancing Technologies Symposium Advisory Board, 2026, pp. 7–35, doi:<a href=\"https://doi.org/10.56553/popets-2026-0108\">10.56553/popets-2026-0108</a>.","bibtex":"@article{Todt_Kablo_Morsbach_Arias Cabarcos_Strufe_2026, title={“The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces}, volume={2026}, DOI={<a href=\"https://doi.org/10.56553/popets-2026-0108\">10.56553/popets-2026-0108</a>}, number={4}, journal={Proceedings on Privacy Enhancing Technologies}, publisher={Privacy Enhancing Technologies Symposium Advisory Board}, author={Todt, Julian and Kablo, Emiram and Morsbach, Felix and Arias Cabarcos, Patricia and Strufe, Thorsten}, year={2026}, pages={7–35} }","ama":"Todt J, Kablo E, Morsbach F, Arias Cabarcos P, Strufe T. “The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces. <i>Proceedings on Privacy Enhancing Technologies</i>. 2026;2026(4):7-35. doi:<a href=\"https://doi.org/10.56553/popets-2026-0108\">10.56553/popets-2026-0108</a>"},"oa":"1","status":"public","page":"7-35","publisher":"Privacy Enhancing Technologies Symposium Advisory Board","_id":"66638","user_id":"46433","volume":2026},{"doi":"10.1145/3772363.3798346","user_id":"46433","publisher":"ACM","_id":"65493","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://dl.acm.org/doi/10.1145/3772363.3798346"}],"date_updated":"2026-08-03T10:50:39Z","publication_status":"published","author":[{"full_name":"Kablo, Emiram","first_name":"Emiram","last_name":"Kablo","id":"46433"},{"full_name":"Sharafi, Avishan","last_name":"Sharafi","first_name":"Avishan"},{"id":"92804","last_name":"Arias Cabarcos","first_name":"Patricia","full_name":"Arias Cabarcos, Patricia"}],"status":"public","year":"2026","title":"\"I store some passwords in WhatsApp\": Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality","oa":"1","department":[{"_id":"679"}],"type":"conference","date_created":"2026-04-23T16:03:06Z","citation":{"short":"E. Kablo, A. Sharafi, P. Arias Cabarcos, in: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems, ACM, 2026.","chicago":"Kablo, Emiram, Avishan Sharafi, and Patricia Arias Cabarcos. “‘I Store Some Passwords in WhatsApp’: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality.” In <i>Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems</i>. ACM, 2026. <a href=\"https://doi.org/10.1145/3772363.3798346\">https://doi.org/10.1145/3772363.3798346</a>.","apa":"Kablo, E., Sharafi, A., &#38; Arias Cabarcos, P. (2026). “I store some passwords in WhatsApp”: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality. <i>Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems</i>. <a href=\"https://doi.org/10.1145/3772363.3798346\">https://doi.org/10.1145/3772363.3798346</a>","ieee":"E. Kablo, A. Sharafi, and P. Arias Cabarcos, “‘I store some passwords in WhatsApp’: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality,” 2026, doi: <a href=\"https://doi.org/10.1145/3772363.3798346\">10.1145/3772363.3798346</a>.","ama":"Kablo E, Sharafi A, Arias Cabarcos P. “I store some passwords in WhatsApp”: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality. In: <i>Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems</i>. ACM; 2026. doi:<a href=\"https://doi.org/10.1145/3772363.3798346\">10.1145/3772363.3798346</a>","bibtex":"@inproceedings{Kablo_Sharafi_Arias Cabarcos_2026, title={“I store some passwords in WhatsApp”: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality}, DOI={<a href=\"https://doi.org/10.1145/3772363.3798346\">10.1145/3772363.3798346</a>}, booktitle={Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems}, publisher={ACM}, author={Kablo, Emiram and Sharafi, Avishan and Arias Cabarcos, Patricia}, year={2026} }","mla":"Kablo, Emiram, et al. “‘I Store Some Passwords in WhatsApp’: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality.” <i>Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems</i>, ACM, 2026, doi:<a href=\"https://doi.org/10.1145/3772363.3798346\">10.1145/3772363.3798346</a>."},"publication":"Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems"},{"citation":{"chicago":"Gortworst, Bente, Cem Okulmus, Magdalena Ortiz, and Anni-Yasmin Turhan. “Shapes from Examples: Foundations of Shape Learning in Recursive SHACL.” In <i>Proceedings of the 25th International Semantic Web Conference (ISWC 2026)</i>, 2026.","short":"B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 25th International Semantic Web Conference (ISWC 2026), 2026.","apa":"Gortworst, B., Okulmus, C., Ortiz, M., &#38; Turhan, A.-Y. (2026). Shapes from Examples: Foundations of Shape Learning in Recursive SHACL. <i>Proceedings of the 25th International Semantic Web Conference (ISWC 2026)</i>.","ieee":"B. Gortworst, C. Okulmus, M. Ortiz, and A.-Y. Turhan, “Shapes from Examples: Foundations of Shape Learning in Recursive SHACL,” 2026.","ama":"Gortworst B, Okulmus C, Ortiz M, Turhan A-Y. Shapes from Examples: Foundations of Shape Learning in Recursive SHACL. In: <i>Proceedings of the 25th International Semantic Web Conference (ISWC 2026)</i>. ; 2026.","bibtex":"@inproceedings{Gortworst_Okulmus_Ortiz_Turhan_2026, title={Shapes from Examples: Foundations of Shape Learning in Recursive SHACL}, booktitle={Proceedings of the 25th International Semantic Web Conference (ISWC 2026)}, author={Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin}, year={2026} }","mla":"Gortworst, Bente, et al. “Shapes from Examples: Foundations of Shape Learning in Recursive SHACL.” <i>Proceedings of the 25th International Semantic Web Conference (ISWC 2026)</i>, 2026."},"publication":"Proceedings of the 25th International Semantic Web Conference (ISWC 2026)","date_created":"2026-08-02T18:50:17Z","department":[{"_id":"888"}],"type":"conference","author":[{"full_name":"Gortworst, Bente","last_name":"Gortworst","first_name":"Bente"},{"full_name":"Okulmus, Cem","last_name":"Okulmus","orcid":"0000-0002-7742-0439","first_name":"Cem","id":"114410"},{"full_name":"Ortiz, Magdalena","last_name":"Ortiz","first_name":"Magdalena"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"status":"public","year":"2026","title":"Shapes from Examples: Foundations of Shape Learning in Recursive SHACL","date_updated":"2026-08-02T18:50:22Z","language":[{"iso":"eng"}],"_id":"66631","user_id":"114410"},{"citation":{"chicago":"Mensendiek, Carolin, Oliver Ludger Preuß, Jeroen Rook, Francisco Chicano, Darrell Whitley, and Heike Trautmann. “Digging to the Ground Truth: Solving Multi-Objective Gray-Box Optimization Problems through Hyperplane Elimination.” In <i>Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026</i>, edited by Leonardo Trujillo and Ting Hu, 134–142. ACM, 2026. <a href=\"https://doi.org/10.1145/3795095.3805136\">https://doi.org/10.1145/3795095.3805136</a>.","short":"C. Mensendiek, O.L. Preuß, J. Rook, F. Chicano, D. Whitley, H. Trautmann, in: L. Trujillo, T. Hu (Eds.), Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026, ACM, 2026, pp. 134–142.","ieee":"C. Mensendiek, O. L. Preuß, J. Rook, F. Chicano, D. Whitley, and H. Trautmann, “Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination,” in <i>Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026</i>, 2026, pp. 134–142, doi: <a href=\"https://doi.org/10.1145/3795095.3805136\">10.1145/3795095.3805136</a>.","apa":"Mensendiek, C., Preuß, O. L., Rook, J., Chicano, F., Whitley, D., &#38; Trautmann, H. (2026). Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination. In L. Trujillo &#38; T. Hu (Eds.), <i>Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026</i> (pp. 134–142). ACM. <a href=\"https://doi.org/10.1145/3795095.3805136\">https://doi.org/10.1145/3795095.3805136</a>","bibtex":"@inproceedings{Mensendiek_Preuß_Rook_Chicano_Whitley_Trautmann_2026, title={Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination}, DOI={<a href=\"https://doi.org/10.1145/3795095.3805136\">10.1145/3795095.3805136</a>}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026}, publisher={ACM}, author={Mensendiek, Carolin and Preuß, Oliver Ludger and Rook, Jeroen and Chicano, Francisco and Whitley, Darrell and Trautmann, Heike}, editor={Trujillo, Leonardo and Hu, Ting}, year={2026}, pages={134–142} }","ama":"Mensendiek C, Preuß OL, Rook J, Chicano F, Whitley D, Trautmann H. Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination. In: Trujillo L, Hu T, eds. <i>Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026</i>. ACM; 2026:134–142. doi:<a href=\"https://doi.org/10.1145/3795095.3805136\">10.1145/3795095.3805136</a>","mla":"Mensendiek, Carolin, et al. “Digging to the Ground Truth: Solving Multi-Objective Gray-Box Optimization Problems through Hyperplane Elimination.” <i>Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026</i>, edited by Leonardo Trujillo and Ting Hu, ACM, 2026, pp. 134–142, doi:<a href=\"https://doi.org/10.1145/3795095.3805136\">10.1145/3795095.3805136</a>."},"publication":"Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026","department":[{"_id":"819"}],"type":"conference","date_created":"2026-08-06T06:59:20Z","date_updated":"2026-08-06T07:00:02Z","author":[{"first_name":"Carolin","last_name":"Mensendiek","full_name":"Mensendiek, Carolin","id":"75006"},{"id":"102978","last_name":"Preuß","orcid":"0009-0008-9308-2418","first_name":"Oliver Ludger","full_name":"Preuß, Oliver Ludger"},{"id":"102977","full_name":"Rook, Jeroen","last_name":"Rook","first_name":"Jeroen"},{"full_name":"Chicano, Francisco","first_name":"Francisco","last_name":"Chicano"},{"first_name":"Darrell","last_name":"Whitley","full_name":"Whitley, Darrell"},{"id":"100740","first_name":"Heike","orcid":"0000-0002-9788-8282","last_name":"Trautmann","full_name":"Trautmann, Heike"}],"status":"public","year":"2026","title":"Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination","editor":[{"full_name":"Trujillo, Leonardo","last_name":"Trujillo","first_name":"Leonardo"},{"first_name":"Ting","last_name":"Hu","full_name":"Hu, Ting"}],"user_id":"15504","doi":"10.1145/3795095.3805136","language":[{"iso":"eng"}],"_id":"66670","publisher":"ACM","page":"134–142"},{"status":"public","title":"Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories","year":"2026","author":[{"first_name":"Carolin","last_name":"Mensendiek","full_name":"Mensendiek, Carolin","id":"75006"},{"last_name":"Zeipel","first_name":"Henrik","full_name":"Zeipel, Henrik"},{"last_name":"Preuß","orcid":"0009-0008-9308-2418","first_name":"Oliver Ludger","full_name":"Preuß, Oliver Ludger","id":"102978"},{"id":"105520","full_name":"Seiler, Moritz","last_name":"Seiler","first_name":"Moritz"},{"first_name":"Walter","last_name":"Sextro","full_name":"Sextro, Walter"},{"id":"100740","first_name":"Heike","orcid":"0000-0002-9788-8282","last_name":"Trautmann","full_name":"Trautmann, Heike"}],"publication_identifier":{"isbn":["9798400724886"]},"date_updated":"2026-08-14T05:37:15Z","page":"641–644","language":[{"iso":"eng"}],"_id":"66711","publisher":"Association for Computing Machinery","series_title":"GECCO ’26 Companion","user_id":"15504","doi":"10.1145/3795101.3805368","publication":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","citation":{"bibtex":"@inproceedings{Mensendiek_Zeipel_Preuß_Seiler_Sextro_Trautmann_2026, place={New York, NY, USA}, series={GECCO ’26 Companion}, title={Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories}, DOI={<a href=\"https://doi.org/10.1145/3795101.3805368\">10.1145/3795101.3805368</a>}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery}, author={Mensendiek, Carolin and Zeipel, Henrik and Preuß, Oliver Ludger and Seiler, Moritz and Sextro, Walter and Trautmann, Heike}, year={2026}, pages={641–644}, collection={GECCO ’26 Companion} }","ama":"Mensendiek C, Zeipel H, Preuß OL, Seiler M, Sextro W, Trautmann H. Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories. In: <i>Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. GECCO ’26 Companion. Association for Computing Machinery; 2026:641–644. doi:<a href=\"https://doi.org/10.1145/3795101.3805368\">10.1145/3795101.3805368</a>","mla":"Mensendiek, Carolin, et al. “Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories.” <i>Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery, 2026, pp. 641–644, doi:<a href=\"https://doi.org/10.1145/3795101.3805368\">10.1145/3795101.3805368</a>.","chicago":"Mensendiek, Carolin, Henrik Zeipel, Oliver Ludger Preuß, Moritz Seiler, Walter Sextro, and Heike Trautmann. “Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories.” In <i>Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 641–644. GECCO ’26 Companion. New York, NY, USA: Association for Computing Machinery, 2026. <a href=\"https://doi.org/10.1145/3795101.3805368\">https://doi.org/10.1145/3795101.3805368</a>.","short":"C. Mensendiek, H. Zeipel, O.L. Preuß, M. Seiler, W. Sextro, H. Trautmann, in: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, New York, NY, USA, 2026, pp. 641–644.","ieee":"C. Mensendiek, H. Zeipel, O. L. Preuß, M. Seiler, W. Sextro, and H. Trautmann, “Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories,” in <i>Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 2026, pp. 641–644, doi: <a href=\"https://doi.org/10.1145/3795101.3805368\">10.1145/3795101.3805368</a>.","apa":"Mensendiek, C., Zeipel, H., Preuß, O. L., Seiler, M., Sextro, W., &#38; Trautmann, H. (2026). Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories. <i>Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 641–644. <a href=\"https://doi.org/10.1145/3795101.3805368\">https://doi.org/10.1145/3795101.3805368</a>"},"date_created":"2026-08-14T05:36:09Z","place":"New York, NY, USA","type":"conference","department":[{"_id":"819"}]},{"publication":"Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)","citation":{"bibtex":"@inproceedings{Löhnert_Augsten_Okulmus_Ortiz_2026, title={Rewriting Ontology-Mediated Property Graph Queries into GQL}, booktitle={Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)}, author={Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and Ortiz, Magdalena}, year={2026} }","ama":"Löhnert B, Augsten N, Okulmus C, Ortiz M. Rewriting Ontology-Mediated Property Graph Queries into GQL. In: <i>Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)</i>. ; 2026.","mla":"Löhnert, Bianca, et al. “Rewriting Ontology-Mediated Property Graph Queries into GQL.” <i>Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)</i>, 2026.","short":"B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026), 2026.","chicago":"Löhnert, Bianca, Nikolaus Augsten, Cem Okulmus, and Magdalena Ortiz. “Rewriting Ontology-Mediated Property Graph Queries into GQL.” In <i>Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)</i>, 2026.","ieee":"B. Löhnert, N. Augsten, C. Okulmus, and M. Ortiz, “Rewriting Ontology-Mediated Property Graph Queries into GQL,” 2026.","apa":"Löhnert, B., Augsten, N., Okulmus, C., &#38; Ortiz, M. (2026). Rewriting Ontology-Mediated Property Graph Queries into GQL. <i>Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)</i>."},"type":"conference","department":[{"_id":"888"}],"date_created":"2026-08-13T13:50:38Z","date_updated":"2026-08-13T13:50:46Z","year":"2026","status":"public","title":"Rewriting Ontology-Mediated Property Graph Queries into GQL","author":[{"last_name":"Löhnert","first_name":"Bianca","full_name":"Löhnert, Bianca"},{"full_name":"Augsten, Nikolaus","first_name":"Nikolaus","last_name":"Augsten"},{"last_name":"Okulmus","first_name":"Cem","orcid":"0000-0002-7742-0439","full_name":"Okulmus, Cem","id":"114410"},{"first_name":"Magdalena","last_name":"Ortiz","full_name":"Ortiz, Magdalena"}],"user_id":"114410","language":[{"iso":"eng"}],"_id":"66710"}]