Old Web
English
Sign In
Acemap
>
authorDetail
>
Damiani Ferruccio
Damiani Ferruccio
Computer science
Programming language
Java
type checking
Real time Java
8
Papers
1
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Verification of Object-Oriented SoftwareInternational Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
2012
Lecture Notes in Computer Science
Beckert Bernhard
Damiani Ferruccio
Gurov Dilian
Show All
Source
Cite
Save
Citations (1)
Elena: A StateJ to Java translator
2010
Cazzola Emanuele
Damiani Ferruccio
Drossopoulou Sophia
Giachino Elena
Giannini Paola
Zacchi Maddalena
Show All
Source
Cite
Save
Citations (0)
International Conference TYPES 2008
2008
Berardi Stefano
Bettini Lorenzo
Coppo Mario
Damiani Ferruccio
Dezani Mariangiola
de' Liguoro Ugo
Piccolo Mauro
Show All
Source
Cite
Save
Citations (0)
1