Seguir
Paul Brauner
Paul Brauner
Dirección de correo verificada de google.com
Título
Citado por
Citado por
Año
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
2492007
Principles of superdeduction
P Brauner, C Houtmann, C Kirchner
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 41-50, 2007
542007
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
382016
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
222012
Tom Manual
E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
LORIA, Nancy (France), version 2, 2006
162006
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
152017
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
152014
Normalization in supernatural deduction and in deduction modulo
P Brauner, G Dowek, B Wack
122007
Superdeduction at work
P Brauner, C Houtmann, C Kirchner
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007
102007
Term-graph rewriting in Tom using relative positions
E Balland, P Brauner
Electronic Notes in Theoretical Computer Science 203 (1), 3-17, 2008
92008
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
82011
Tom manual
JC Bach, E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
82009
Un calcul des séquents extensible
P Brauner
82006
Inductive proof search modulo
F Nahon, C Kirchner, H Kirchner, P Brauner
Annals of Mathematics and Artificial Intelligence 55 (1), 123-154, 2009
62009
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
52011
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
32010
A semantic normalization proof for a system with recursors
L Allali, P Brauner
32008
Fondements et mise-en-oeuvre de la Super Déduction Modulo
P Brauner
Phd thesis, INPL, 2010
22010
A semantic normalization proof for inductive types
L Allali, P Brauner
22008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20