Christoph Weidenbach
ORCIDPublication Activity (10 Years)
Years Active: 1990-2023
Publications (10 Years): 68
Publications (10 Years): 68
Saarland University, Saarbrücken, Germany (PHD)
Education History
Saarland University, Saarbrücken, Germany
Publications
- Hendrik Leidinger, Christoph Weidenbach
- Martin Bromberger, Chaahat Jain, Christoph Weidenbach
- Martin Bromberger, Chaahat Jain, Christoph Weidenbach
- Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
- Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach
- Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
- Martin Bromberger, Martin Desharnais, Christoph Weidenbach
- Martin Bromberger, Simon Schwarz, Christoph Weidenbach
- Martin Bromberger, Simon Schwarz, Christoph Weidenbach
- Hendrik Leidinger, Christoph Weidenbach
- Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
- Sophie Tourret, Christoph Weidenbach
- Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
- Hendrik Leidinger, Christoph Weidenbach
- Martin Bromberger, Simon Schwarz, Christoph Weidenbach
- Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
- Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach
- Fajar Haifani, Christoph Weidenbach
- Fajar Haifani, Sophie Tourret, Christoph Weidenbach
- Armin Biere, Cesare Tinelli, Christoph Weidenbach
- Andreas Teucke, Christoph Weidenbach
- Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
- Martin Bromberger, Thomas Sturm, Christoph Weidenbach
- Alberto Fiori, Christoph WeidenbachSCL with Theory Constraints. CoRR (2020)
- Mathias Fleury, Christoph Weidenbach
- Andreas Teucke, Marco Voigt, Christoph Weidenbach
- Alberto Fiori, Christoph Weidenbach
- Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
- Christoph Weidenbach
- Andreas Teucke, Marco Voigt, Christoph Weidenbach
- Noran Azmy, Stephan Merz, Christoph Weidenbach
- Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach
- Christoph Weidenbach
- Stéphane Demri, Deepak Kapur, Christoph Weidenbach
- Martin Bromberger, Christoph Weidenbach
- Manuel Lamotte-Schubert, Christoph Weidenbach
- Andreas Teucke, Christoph Weidenbach
- Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach
- Andreas Teucke, Christoph Weidenbach
- Martin Bromberger, Christoph Weidenbach
- Thomas Sturm, Marco Voigt, Christoph Weidenbach
- Andreas Teucke, Christoph Weidenbach
- Noran Azmy, Stephan Merz, Christoph Weidenbach
- Ching Hoo Tang, Christoph Weidenbach
- Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach
- Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski
- Martin Bromberger, Christoph Weidenbach
- Thomas Sturm, Marco Voigt, Christoph Weidenbach
- Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski
- Martin Bromberger, Thomas Sturm, Christoph Weidenbach
- Andreas Teucke, Christoph Weidenbach
- Gábor Alagi, Christoph Weidenbach
- Andreas Teucke, Christoph Weidenbach
- Christoph Weidenbach
- Martin Bromberger, Thomas Sturm, Christoph Weidenbach
- Gábor Alagi, Christoph Weidenbach
- Nikolaj Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach
- Marco Voigt, Christoph Weidenbach
- Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski
- Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
- Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach
- Noran Azmy, Christoph Weidenbach
- Manuel Lamotte-Schubert, Christoph Weidenbach
- Thomas Hillenbrand, Christoph Weidenbach
- Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach
- Christoph Weidenbach, Patrick Wischnewski
- Arnaud Fietzke, Christoph Weidenbach
- Evgeny Kruglov, Christoph Weidenbach
- Martin Suda, Christoph Weidenbach
- Pascal Fontaine, Stephan Merz, Christoph Weidenbach
- Martin Suda, Christoph Weidenbach
- Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
- Tianxiang Lu, Stephan Merz, Christoph Weidenbach
- Martin Suda, Christoph Weidenbach, Patrick Wischnewski
- Matthias Horbach, Christoph Weidenbach
- Christoph Weidenbach, Patrick Wischnewski
- Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach
- Arnaud Fietzke, Christoph Weidenbach
- Matthias Horbach, Christoph Weidenbach
- Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach
- Manuel Lamotte-Schubert, Christoph Weidenbach
- Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski
- Matthias Horbach, Christoph Weidenbach
- Matthias Horbach, Christoph Weidenbach
- Arnaud Fietzke, Christoph Weidenbach
- Christoph Weidenbach, Patrick Wischnewski
- Matthias Horbach, Christoph Weidenbach