Tarik Viehmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICAART | Making Robots Play by the Rules: The ROS 2 CLIPS-Executive. | Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer |
| 2024 | RoboCup | A ROS 2-Based Navigation and Simulation Stack for the Robotino. | Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer |
| 2024 | RoboCup | A Light-Weighted Event-Based Simulation for the RoboCup Logistics League. | Dominik Lampel, Marco De Bortoli, Tarik Viehmann, Alain Rohr, Gerald Steinbauer-Wagner |
| 2022 | RoboCup | Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. | Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer |
| 2021 | ICAART | Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. | Till Hofmann, Tarik Viehmann, Mostafa Gomaa, Daniel Habering, Tim Niemueller, Gerhard Lakemeyer |
| 2021 | ICAART | Portable High-level Agent Programming with golog++. | Victor Matar, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer |
| 2021 | IJCAI | Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. | Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer |
| 2017 | ISSAC | Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. | Tarik Viehmann, Gereon Kremer, Erika brahm |