Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Adjedj, J
199  Ergebnisse:
Personensuche X
?
1

Martin-Löf à la Coq:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji.. - p. 230-245 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Impact of coronary sinus reducer on absolute coronary blood..:

Servoz, Clément ; Verheye, Stefan ; Giannini, Francesco...
Catheterization and Cardiovascular Interventions.  104 (2024)  1 - p. 58-60 , 2024
Link: https://doi.org/10.1002/..
 
?
3

Martin-Löf à la Coq:

Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3636501.3636951.  , 2024
Link: https://hal.science/hal-..
 
?
4

Martin-Löf à la Coq:

Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3636501.3636951.  , 2024
Link: https://hal.science/hal-..
 
?
5

Pharmacological coronary spasm provocative testing in clini..:

Picard, Fabien ; Adjedj, Julien ; Collet, Jean-Philippe...
Archives of Cardiovascular Diseases.  116 (2023)  12 - p. 590-596 , 2023
Link: https://doi.org/10.1016/..
 
?
6

The France PCI registry: Design, methodology and key findin..:

Rangé, Grégoire ; Motreff, Pascal ; Benamer, Hakim...
Archives of Cardiovascular Diseases.  116 (2023)  11 - p. 489-497 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Rationale and design of the pullback pressure gradient (PPG..:

Munhoz, Daniel ; Collet, Carlos ; Mizukami, Takuya...
American Heart Journal.  265 (2023)  - p. 170-179 , 2023
Link: https://doi.org/10.1016/..
 
?
8

Pharmacological coronary spasm provocative testing in clini..:

Picard, Fabien ; Adjedj, Julien ; Collet, Jean-Philippe...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.acvd.2023.10.002.  , 2023
Link: https://hal.science/hal-..
 
?
9

Engineering logical relations for MLTT in Coq:

Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji.
hal-04379245.  , 2023
Link: https://inria.hal.scienc..
 
?
10

Pharmacological coronary spasm provocative testing in clini..:

Picard, Fabien ; Adjedj, Julien ; Collet, Jean-Philippe...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.acvd.2023.10.002.  , 2023
Link: https://hal.science/hal-..
 
?
11

Engineering logical relations for MLTT in Coq:

Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji.
hal-04379245.  , 2023
Link: https://inria.hal.scienc..
 
?
12

Pharmacological coronary spasm provocative testing in clini..:

Picard, Fabien ; Adjedj, Julien ; Collet, Jean-Philippe...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.acvd.2023.10.002.  , 2023
Link: https://hal.science/hal-..
 
?
13

Martin-Löf à la Coq:

Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji..
hal-04214008.  , 2023
Link: https://inria.hal.scienc..
 
?
14

Martin-L\"of \`a la Coq:

Adjedj, Arthur ; Lennon-Bertrand, Meven ; Maillard, Kenji..
http://arxiv.org/abs/2310.06376.  , 2023
Link: http://arxiv.org/abs/231..
 
?
15

Pharmacological coronary spasm provocative testing in clini..:

Picard, Fabien ; Adjedj, Julien ; Collet, Jean-Philippe...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.acvd.2023.10.002.  , 2023
Link: https://hal.science/hal-..
 
1-15