Person
Dr.-Ing., UniversitätsprofessorinUlrike Meyer
Former Supervisor
Computer Science Departement, RTG UnRAVeL
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Contact
- WorkPhone
- Phone: +49 241 80 20783
Fax
Fax:
+49 241 80 22731
Email:
meyer@itsec.rwth-aachen.de
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [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. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 1, 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: 17th 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: 20th 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. |