Olimpieri, A
174  Ergebnisse:
Personensuche X
?
1

P147 THE WINNING FORMULA IN COMPLEX ADULT CONGENITAL REDO I..:

Gambardella, R ; Ferraro, F ; Olimpieri, A...
European Heart Journal Supplements.  25 (2023)  Supplement_D - p. D98-D98 , 2023
 
?
2

C43 RELATIONSHIP BETWEEN ECHOCARDIOGRAPHIC DATA AND CARDIOP..:

Olimpieri, A ; Ferraro, F ; Gambardella, R...
European Heart Journal Supplements.  25 (2023)  Supplement_D - p. D18-D19 , 2023
 
?
 
?
 
?
5

Recombinant humanized Fab fragments targeting the CFC domai..:

Sandomenico, Annamaria ; Selis, Fabio ; Sivaccumar, Jwala P....
Biochemical and Biophysical Research Communications.  694 (2024)  - p. 149417 , 2024
 
?
7

Why Are Proofs Relevant in Proof-Relevant Models?:

Kerinec, Axel ; Manzonetto, Giulio ; Olimpieri, Federico
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 218-248 , 2023
 
?
9

Canonicity of Proofs in Constructive Modal Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
 
?
10

From Thin Concurrent Games to Generalized Species of Struct..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
 
?
 
?
15

On the Taylor expansion of $\lambda$-terms and the groupoid..:

Olimpieri, Federico ; Auclair, Lionel Vaux
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
 
1-15