Person
Dr.-Ing., Universitätsprofessorin
Ulrike Meyer
Former Supervisor
Download digital business card
Computer Science Departement, RTG UnRAVeL
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a book, Contribution to a conference proceedings] Secure Maximum Weight Matching Approximation on General Graphs In: Proceedings of the 21st Workshop on Privacy in the Electronic Society, 83-87, 2022 [DOI: 10.1145/3559613.3563209] | Brüggemann, Andreas (Corresponding author) Breuer, Malte (Corresponding author) Klinger, Andreas Gabriel (Corresponding author) Schneider, Thomas (Corresponding author) Meyer, Ulrike (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops In: Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.), 734-754, 2022 [DOI: 10.1007/978-3-031-10769-6_43] | Lommen, Nils (Corresponding author) Meyer, Fabian Niklas Giesl, Jürgen (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Improving Automatic Complexity Analysis of Integer Programs In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.), 193-228, 2022 [DOI: 10.1007/978-3-031-08166-8_10] | Giesl, Jürgen (Corresponding author) Lommen, Nils Hark, Marcel Tobias Meyer, Fabian Niklas |
| [Contribution to a conference proceedings] Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning In: [ICAPS Workshop on Planning and Robotics, ICAPS PlanRob], 2022 | Swoboda, Daniel Hofmann, Till Viehmann, Tarik Lakemeyer, Gerhard |
| [Preprint] On the Verification of Belief Programs, 2022 | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Contribution to a conference proceedings] Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021 [DOI: 10.24963/ijcai.2021/269] | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard |
| [Contribution to a book, Contribution to a conference proceedings] Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 1908-1914, 2021 [DOI: 10.24963/ijcai.2021/263] | Habering, Daniel (Corresponding author) Hofmann, Till (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 2083-2089, 2021 [DOI: 10.24963/ijcai.2021/287] | Viehmann, Tarik (Corresponding author) Hofmann, Till (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Journal Article] Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer In: Rad Hrvatske Akademije Znanosti i Umjetnosti, Razred za Matematičke, Fizičke, Kemijske i Tehničke Znanosti / Matematičke Znanosti, 25 (546), 107-141, 2021 [DOI: 10.21857/mnlqgc582y] | Klinger, Andreas Gabriel (Corresponding author) Wüller, Stefan (Corresponding author) Traverso, Giulia (Corresponding author) Meyer, Ulrike (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Towards Secure Evaluation of Online Functionalities In: ARES 2021 : the 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17 - 20, 2021, 14 Seiten, 2021 [DOI: 10.1145/3465481.3469203] | Klinger, Andreas Gabriel (Corresponding author) Meyer, Ulrike (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 250-269, 2021 [DOI: 10.1007/978-3-030-72016-2_14] | Meyer, Fabian Niklas Hark, Marcel Tobias (Corresponding author) Giesl, Jürgen (Corresponding author) |
| [Preprint] Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints, 2021 [DOI: 10.18154/RWTH-2021-02072] | Hofmann, Till (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Portable High-level Agent Programming with golog++ In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227, 2021 [DOI: 10.5220/0010253902180227] | Mataré, Victor Viehmann, Tarik Hofmann, Till Lakemeyer, Gerhard Ferrein, Alexander et al. |
| [Contribution to a book, Contribution to a conference proceedings] Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence / editors: Ana Paula Rocha ; Luc Steels and Jaap van den Herik. - . Volume 1: Online, 04-06.02.2021, 80-91, 2021 [DOI: 10.5220/0010252600800091] | Hofmann, Till (Corresponding author) Viehmann, Tarik Gomaa, Mostafa Habering, Daniel Niemüller, Tim Dieter et al. |
| [Contribution to a book, Contribution to a conference proceedings] Macro Operator Synthesis for ADL Domains In: ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings / edited by Giuseppe De Giacomo [and six others], 761-768, 2020 [DOI: 10.3233/FAIA200164] | Hofmann, Till (Corresponding author) Niemüller, Tim Dieter Lakemeyer, Gerhard |
| [Report] The Carologistics RoboCup Logistics Team 2020, 2020 | Hofmann, Till Eltester, Sebastian Viehmann, Tarik Limpert, Nicolas Mataré, Victor et al. |
| [Contribution to a conference proceedings] Constraint-based Plan Transformation in a Safe and Usable GOLOG Language In: Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP), 2 Seiten, 2020 | Mataré, Victor Schiffer, Stefan Ferrein, Alexander Antoine Viehmann, Tarik Hofmann, Till et al. |
| [Poster] Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints In: 17. International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18, 2020 | Hofmann, Till Lakemeyer, Gerhard |
| [Conference Presentation] Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer In: 20. Central European Conference on Cryptology Zagreb 2020-06-24 - 2020-06-26, 2020 | Klinger, Andreas Gabriel Wüller, Stefan Traverso, Giulia Meyer, Ulrike |
| [Report] The Carologistics RoboCup Logistics Team 2019, 2019 | Hofmann, Till Limpert, Nicolas Mataré, Victor Ferrein, Alexander Lakemeyer, Gerhard |
| [Contribution to a book, Contribution to a conference proceedings] Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling / edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, 754-763, 2019 | Niemüller, Tim Dieter (Corresponding author) Hofmann, Till (Corresponding author) Lakemeyer, Gerhard |
| [Contribution to a book, Contribution to a conference proceedings] Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019 [DOI: 10.1007/978-3-030-35699-6_41] | Hofmann, Till (Corresponding author) Limpert, Nicolas Mataré, Victor Ferrein, Alexander Lakemeyer, Gerhard |
| [Contribution to a conference proceedings] CLIPS-based Execution for PDDL Planners In: Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten, 2018 | Niemüller, Tim Dieter Hofmann, Till Lakemeyer, Gerhard |
| [Report] The Carologistics RoboCup Logistics Team 2018, 2018 | Hofmann, Till Limpert, Nicolas Mataré, Victor Schönitz, Sebastian Niemüller, Tim Dieter et al. |
| [Contribution to a book, Contribution to a conference proceedings] Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions In: The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553, 2018 | Hofmann, Till Mataré, Victor Schiffer, Stefan Alexander, Ferrein Lakemeyer, Gerhard |
| [Contribution to a conference proceedings] A Logic for Specifying Metric Temporal Constraints for Golog Programs In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46, 2018 | Hofmann, Till Lakemeyer, Gerhard |
| [Contribution to a book, Contribution to a conference proceedings] Privacy-Preserving Trade Chain Detection In: Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / Joaquin Garcia-Alfaro, Jordi Herrera-Joancomarti, Giovanni Livraga, Ruben Rios (eds.), 373-388, 2018 [DOI: 10.1007/978-3-030-00305-0_26] | Wüller, Stefan (Corresponding author) Breuer, Malte Meyer, Ulrike Wetzel, Susanne |
| [Contribution to a book, Contribution to a conference proceedings] Using Secure Graph Algorithms for the Privacy-Preserving Identification of Optimal Bartering Opportunities In: [Proceedings of the Workshop on Privacy in the Electronic Society, WPES : 2017-10-30 - 2017-10-30, Dallas, Tex., USA], 123-132, 2017 [DOI: 10.1145/3139550.3139557] | Wüller, Stefan (Corresponding author) Vu, Michael (Corresponding author) Meyer, Ulrike (Corresponding author) Wetzel, Susanne (Corresponding author) |
| [Journal Article] Designing privacy-preserving interval operations based on homomorphic encryption and secret sharing techniques In: Journal of computer security, 25 (1), 59-81, 2017 [DOI: 10.3233/JCS-16830] | Wüller, Stefan (Corresponding author) Mayer, Daniel Förg, Fabian Schüppen, Samuel Assadsolimani, Benjamin et al. |