Dupont, G.
5457  results:
Search for persons X
?
1

Collimated beam formation in 3D acoustic sonic crystals:

Vanel, A L ; Dubois, M ; Tronche, C...
New Journal of Physics.  26 (2024)  7 - p. 073021 , 2024
 
?
2

Formalising Liveness Properties in Event-B with the Reflexi..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Rivière, P. ; Singh, N. K. ; Aït-Ameur, Y.. - p. 312-331 , 2023
 
?
 
?
4

Standalone Event-B Models Analysis Relying on the EB4EB Met..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Rivière, P. ; Singh, N. K. ; Aït-Ameur, Y.. - p. 193-211 , 2023
 
?
5

Performance measurements on WISC collectors under artificia..:

Pauletta, S ; Duret, A ; Dupont, G.
Journal of Physics: Conference Series.  2600 (2023)  4 - p. 042014 , 2023
 
?
 
?
9

Handling Refinement of Continuous Behaviors: A Proof Based ..:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),
Dupont, G. ; Ait-Ameur, Y. ; Pantel, M.. - p. 9-16 , 2019
 
?
 
?
15

Clinical trials with direct oral anticoagulants for stroke ..:

Desmaele, S. ; Steurbaut, S. ; Cornu, P...
European Journal of Clinical Pharmacology.  72 (2016)  9 - p. 1125-1134 , 2016
 
1-15