- "Simion Stoilow" Institute of Mathematics
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Department of Computer Science [Swansea]
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Laboratoire de Recherche en Informatique
- Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
- McMaster University [Hamilton, Ontario]
- Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]
- Philipps Universität Marburg = Philipps University of Marburg