Tom: Piggybacking rewriting on java E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles International Conference on Rewriting Techniques and Applications, 36-47, 2007 | 250 | 2007 |

Principles of superdeduction P Brauner, C Houtmann, C Kirchner 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 41-50, 2007 | 54 | 2007 |

Acumen: An open-source testbed for cyber-physical systems research W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ... Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016 | 38 | 2016 |

A core language for executable models of cyber-physical systems (preliminary report) W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ... 2012 32nd International Conference on Distributed Computing Systems …, 2012 | 22 | 2012 |

Tom Manual E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles LORIA, Nancy (France), version 2, 2006 | 16 | 2006 |

Developing a first course on cyber-physical systems W Taha, Y Zeng, A Duracz, X Fei, K Atkinson, P Brauner, R Cartwright, ... ACM SIGBED Review 14 (1), 44-52, 2017 | 15 | 2017 |

Modeling basic aspects of cyber-physical systems, part ii Y Zeng, C Rose, P Brauner, W Taha, J Masood, R Philippsen, M O'Malley, ... 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014 | 15 | 2014 |

Normalization in supernatural deduction and in deduction modulo P Brauner, G Dowek, B Wack | 12 | 2007 |

Superdeduction at work P Brauner, C Houtmann, C Kirchner Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007 | 10 | 2007 |

Term-graph rewriting in Tom using relative positions E Balland, P Brauner Electronic Notes in Theoretical Computer Science 203 (1), 3-17, 2008 | 9 | 2008 |

Hobbits for Haskell: a library for higher-order encodings in functional programming languages E Westbrook, N Frisby, P Brauner ACM SIGPLAN Notices 46 (12), 35-46, 2011 | 8 | 2011 |

Tom manual JC Bach, E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles | 8 | 2009 |

Un calcul des séquents extensible P Brauner | 8 | 2006 |

Inductive proof search modulo F Nahon, C Kirchner, H Kirchner, P Brauner Annals of Mathematics and Artificial Intelligence 55 (1), 123-154, 2009 | 6 | 2009 |

A core language for executable models of cyber physical systems: work in progress report W Taha, P Brauner, R Cartwright, V Gaspes, A Ames, A Chapoutot ACM SIGBED Review 8 (2), 39-43, 2011 | 5 | 2011 |

Pierre-Étienne Moreau et Antoine Reilles–«The Tom manual», 2006 É Balland, P Brauner, R Kopetz | 5 | |

Globally parallel, locally sequential: a preliminary proposal for acumen objects P Brauner, WM Taha Proceedings of the 9th Workshop on Parallel/High-Performance Object-Oriented …, 2010 | 3 | 2010 |

A semantic normalization proof for a system with recursors L Allali, P Brauner | 3 | 2008 |

Fondements et mise-en-oeuvre de la Super Déduction Modulo P Brauner Phd thesis, INPL, 2010 | 2 | 2010 |

A semantic normalization proof for inductive types L Allali, P Brauner | 2 | 2008 |