| 2016 |
J |
jnl |
SIGBED Rev.
Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen
|
| 2015 |
— |
conf |
IoT 360 (1)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
|
| 2014 |
— |
conf |
HPCC/CSS/ICESS
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright
|
| 2014 |
J |
jnl |
CoRR
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright
|
| 2012 |
— |
conf |
ICDCS Workshops
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
|
| 2011 |
J |
jnl |
SIGBED Rev.
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
|
| 2011 |
C |
conf |
Haskell
Edwin M. Westbrook, Nicolas Frisby, Paul Brauner
|
| 2009 |
J |
jnl |
Ann. Math. Artif. Intell.
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
|
| 2007 |
A* |
conf |
LICS
Paul Brauner, Clément Houtmann, Claude Kirchner
|
| 2007 |
— |
conf |
Rewriting, Computation and Proof
Paul Brauner, Clément Houtmann, Claude Kirchner
|
| 2007 |
— |
conf |
TERMGRAPH@ETAPS
Emilie Balland, Paul Brauner
|
| 2007 |
— |
conf |
RTA
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
|