Christoph Lüth
Publication Activity (10 Years)
Years Active: 1996-2024
Publications (10 Years): 28
Publications (10 Years): 28
University of Edinburgh, UK (PHD)
Education History
University of Edinburgh, UK
PHD
Publications
- Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
- Sören Tempel, Tobias Brandt, Christoph Lüth
- Martin Ring, Christoph Lüth
- Rolf Drechsler, Christoph Lüth
- Jan Oevermann, Christoph Lüth
- Martin Ring, Christoph Lüth
- Rolf Drechsler, Serge Autexier, Christoph Lüth
- Martin Ring, Christoph Lüth
- Martin Ring, Christoph Lüth
- David Aspinall, Ewen Denney, Christoph Lüth
- Christoph Lüth, Martin Ring
- David Aspinall, Ewen Denney, Christoph Lüth
- David Aspinall, Ewen Denney, Christoph Lüth
- Serge Autexier, Christoph Lüth
- Dennis Walter, Holger Täubig, Christoph Lüth
- David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
- Christoph Lüth, Dennis Walter
- Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
- David Aspinall, Ewen Denney, Christoph Lüth
- Christoph Lüth, Bernd Krieg-BrücknerSicherheit in der Künstlichen Intelligenz. Künstliche Intell. 21 (1) (2007)
- David Aspinall, Christoph Lüth, Daniel Winterstein
- David Aspinall, Christoph Lüth
- Maksym Bortin, Einar Broch Johnsen, Christoph LüthStructured Formal Development in Isabelle. Nord. J. Comput. 13 (1-2) (2006)
- David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz
- Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
- Michael Gordon Abbott, Neil Ghani, Christoph Lüth
- Daniel Winterstein, David Aspinall, Christoph Lüth
- Neil Ghani, Christoph Lüth, Federico De Marchi
- David Aspinall, Christoph Lüth, Burkhart Wolff
- Einar Broch Johnsen, Christoph Lüth
- Christoph Lüth, Markus Roggenbach, Lutz Schröder
- Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
- Lutz Schröder, Till Mossakowski, Christoph Lüth
- David Aspinall, Christoph Lüth
- Federico De Marchi, Neil Ghani, Christoph Lüth
- Christoph Lüth
- Neil Ghani, Christoph LüthRewriting Via Coinserters. Nord. J. Comput. 10 (4) (2003)
- Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
- Einar Broch Johnsen, Christoph LüthAbstracting Refinements for Transformation. Nord. J. Comput. 10 (4) (2003)
- Neil Ghani, Christoph Lüth, Federico De Marchi
- Neil Ghani, Christoph Lüth, Federico De Marchi
- Christoph Lüth, Neil Ghani
- Christoph Lüth, Neil Ghani
- Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
- Christoph Lüth, Burkhart Wolff
- Christoph Lüth, Burkhart Wolff
- Christoph Lüth, Burkhart Wolff
- Christoph Lüth, Neil Ghani
- Christoph Lüth