E-LIB Suche - Ergebnisse für: Fioravanti, F

1

High prevalence of malignant ventricular arrhythmias in pat..:

Sivilotti, F ; Villatore, A ; Berg, J...
European Heart Journal. 43 (2022) Supplement_2 - p. , 2022

Link: https://doi.org/10.1093/..

2

C39 ECHOCARDIOGRAPHIC PREDICTORS OF MALIGNANT EVENTS IN ARR..:

Desalvo, P ; Vairo, A ; Piroli, F...
European Heart Journal Supplements. 24 (2022) Supplement_C - p. , 2022

Link: https://doi.org/10.1093/..

3

P102 NEW THREE–DIMENSIONAL ECHOCARDIOGRAPHIC PREDICTING PAR..:

Gaiero, L ; Vairo, A ; Fioravanti, F...
European Heart Journal Supplements. 24 (2022) Supplement_C - p. , 2022

Link: https://doi.org/10.1093/..

4

Unshielded magnetocardiography contributes to non-invasivel..:

Brisinda, D ; Fioravanti, F ; Guida, G L...
European Heart Journal. 42 (2021) Supplement_1 - p. , 2021

Link: https://doi.org/10.1093/..

5

Heart involvement in type 1 and type 2 myotonic dystrophy. ..:

Fioravanti, F ; Golzio, P.G ; Carbone, M.L...
European Heart Journal. 41 (2020) Supplement_2 - p. , 2020

Link: https://doi.org/10.1093/..

6

P1011Electrophysiological trends in Wolff-Parkinson-White p..:

Fioravanti, F ; Fenici, R ; Sorbo, A R.
European Heart Journal. 40 (2019) Supplement_1 - p. , 2019

Link: https://doi.org/10.1093/..

7

P3655Predictive accuracy of cardiac magnetic field dynamics..:

La Brocca, L ; Iacovino, M L ; Fioravanti, F...
European Heart Journal. 39 (2018) suppl_1 - p. , 2018

Link: https://doi.org/10.1093/..

8

P3178Long vs. short dual antiplatelet therapy in ACS patien..:

Fioravanti, F ; Bertaina, M ; D'Ascenzo, F...
European Heart Journal. 39 (2018) suppl_1 - p. , 2018

Link: https://doi.org/10.1093/..

9

P4630Network meta-analysis comparing iFR vs. FFR vs. corona..:

Verardi, R ; Fioravanti, F ; D'Ascenzo, F...
European Heart Journal. 39 (2018) suppl_1 - p. , 2018

Link: https://doi.org/10.1093/..

10

P4577Percutaneous balloon mitral valvuloplasty in pregnant ..:

Verardi, R ; Visconti, M ; Fioravanti, F..
European Heart Journal. 39 (2018) suppl_1 - p. , 2018

Link: https://doi.org/10.1093/..

11

Compliance in weight control reduces atrial fibrillation wo..:

Fioravanti, F. ; Brisinda, D. ; Sorbo, A.R....
Nutrition, Metabolism and Cardiovascular Diseases. 27 (2017) 8 - p. 711-716 , 2017

Link: https://doi.org/10.1016/..

12

Semantics-based generation of verification conditions via p..:

De Angelis, E. ; Fioravanti, F. ; Pettorossi, A..
Science of Computer Programming. 147 (2017) - p. 78-108 , 2017

Link: https://doi.org/10.1016/..

13

Semantics-based generation of verification conditions by pr..:

, In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming,

De Angelis, E. ; Fioravanti, F. ; Pettorossi, A.. - p. 91-102 , 2015

Link: https://dl.acm.org/doi/1..

14

Program verification via iterated specialization:

De Angelis, E. ; Fioravanti, F. ; Pettorossi, A..
Science of Computer Programming. 95 (2014) - p. 149-175 , 2014

Link: https://doi.org/10.1016/..

15

Efficient generation of test data structures using constrai..:

Fioravanti, F. ; Proietti, M. ; Senni, V.
Journal of Logic and Computation. 25 (2013) 6 - p. 1263-1283 , 2013

Link: https://doi.org/10.1093/..