| 2024 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
|
| 2022 |
J |
jnl |
CoRR
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
|
| 2019 |
— |
— |
Peter Faymonville
|
| 2019 |
— |
conf |
CAV (1)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
|
| 2019 |
J |
jnl |
CoRR
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
|
| 2018 |
J |
jnl |
CoRR
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
|
| 2018 |
J |
jnl |
CoRR
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
|
| 2018 |
J |
jnl |
CoRR
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
|
| 2017 |
— |
conf |
CAV (2)
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
|
| 2017 |
— |
conf |
TACAS (1)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
|
| 2017 |
J |
jnl |
Inf. Comput.
Peter Faymonville, Martin Zimmermann
|
| 2017 |
J |
jnl |
CoRR
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
|
| 2017 |
B |
conf |
RV
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
|
| 2017 |
— |
conf |
SYNT@CAV
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
|
| 2016 |
B |
conf |
RV
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
|
| 2015 |
J |
jnl |
CoRR
Peter Faymonville, Martin Zimmermann
|
| 2014 |
B |
conf |
VMCAI
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled
|
| 2014 |
— |
conf |
GandALF
Peter Faymonville, Martin Zimmermann
|
| 2009 |
— |
conf |
ICCV Workshops
Carolina Galleguillos, Peter Faymonville, Serge J. Belongie
|
| 2009 |
— |
conf |
KDD Workshop on Human Computation
Peter Faymonville, Kai Wang, John Miller, Serge J. Belongie
|