Brunet, Paul
911  results:
Search for persons X
?
 
?
 
?
10

Equivalence checking for weak bi-Kleene algebra:

Kappé, Tobias ; Brunet, Paul ; Luttik, Bas..
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021
 
?
12

A compositional deadlock detector for Android Java:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,
 
?
13

Concurrent Kleene Algebra with Observations: From Hypothese..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Kappé, Tobias ; Brunet, Paul ; Silva, Alexandra.. - p. 381-400 , 2020
 
?
14

Efficient silicon nitride SiNx:H antireflective and passiva..:

Lelièvre, Jean‐François ; Kafle, Bishal ; Saint‐Cast, Pierre...
Progress in Photovoltaics: Research and Applications.  27 (2019)  11 - p. 1007-1019 , 2019
 
?
15

On series-parallel pomset languages: Rationality, context-f..:

Kappé, Tobias ; Brunet, Paul ; Luttik, Bas..
Journal of Logical and Algebraic Methods in Programming.  103 (2019)  - p. 130-153 , 2019
 
1-15