Johannes Marti
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 24
Publications (10 Years): 24
Publications
- Johannes Marti
- Paolo Galeazzi, Johannes Marti
- Clemens Kupke, Johannes Marti, Yde Venema
- Clemens Kupke, Johannes Marti, Yde Venema
- Clemens Kupke, Johannes Marti, Yde Venema
- Johannes Marti, Yde Venema
- Johannes Marti, Yde Venema
- Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
- Carsten Lutz, Johannes Marti, Leif Sabellek
- Johannes Marti, Riccardo Pinosio
- Clemens Kupke, Johannes Marti, Yde Venema
- Johannes Marti
- Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
- Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde VenemaCompleteness for Game Logic. CoRR (2019)
- Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
- Carsten Lutz, Johannes Marti, Leif Sabellek
- Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
- Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
- Johannes Marti, Riccardo Pinosio
- Johannes Marti, Yde Venema
- Johannes Marti, Fatemeh Seifan, Yde Venema
- Johannes Marti, Fatemeh Seifan, Yde Venema
- Johannes Marti, Riccardo Pinosio
- Johannes Marti, Yde Venema