Person
Prof. Dr.-Ing.Ulrike Meyer
UniversitätsprofessorinComputer Science Departement, RTG UnRAVeL
Former Supervisor
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] Anonymous System for Fully Distributed and Robust Secure Multi-Party Computation In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 129-139, 2023 [DOI: 10.1145/3577923.3583651] | Klinger, Andreas Gabriel (Corresponding author) Battermann, Felix Meyer, Ulrike |
| [Contribution to a book, Contribution to a conference proceedings] Privacy-Preserving Fully Online Matching with Deadlines In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 105-116, 2023 [DOI: 10.1145/3577923.3583654] | Klinger, Andreas Gabriel (Corresponding author) Meyer, Ulrike |
| [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 book, 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, 1951-1958, 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, 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 : 11-15 July 2019, Berkeley, California, USA / ICAPS 2019 ; edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David. E. Smith, & 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: WPES’17 : proceedings of the 2017 Workshop on Privacy in the Electronic Society, 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. |