Old Web
English
Sign In
Acemap
>
authorDetail
>
Marco Volpe
Marco Volpe
Algorithm
Mathematical proof
Modular design
Specification language
Modal logic
2
Papers
10
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A general proof certification framework for modal logic.
2018
arXiv: Logic in Computer Science
Tomer Libal
Marco Volpe
Show All
Source
Cite
Save
Citations (0)
Patterns of treatment and costs of intermediate and advanced hepatocellular carcinoma management in four Italian centers
2015
Therapeutics and Clinical Risk Management
Giorgio Colombo
Calogero Cammà
A.F. Attili
Roberto Ganga
Giovanni Battista Gaeta
Giuseppina Brancaccio
Jean Marie Franzini
Marco Volpe
G. Turchetti
Show All
Source
Cite
Save
Citations (10)
1