Papers

1

Total Citations

3

H-Index

1

About

No biography available yet.

Research Focus

Key Achievements

1
H-Index
1
Papers
3
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ?
3 citations · 2005
📈 Most Prolific Year: 2005 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: University of Udine

Top Papers

  1. 1

Key Collaborators

Not generated yet