Skip to content

Federico Buti

  • PhD Attendant
  • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 38CitationsNumber of citations received by Federico's publications. Updated daily.

Recent publications

  • Towards abstraction-based verification of Shape Calculus

    • Buti F
    • Callisto De Donato M
    • Corradini F
    • et al.
    N/AReaders
    0Citations
  • BIOSHAPE: End-user development for simulating biological systems

    • Buti F
    • Cacciagrano D
    • Callisto De Donato M
    • et al.
    N/AReaders
    7Citations

Education

Master in Computer Science

Università degli Studi di Camerino - University of Camerino

April 2006 - July 2008(2 years)

Co-authors (9)

  • Midhat Ali
  • Ezio Bartocci
  • Luca Tesei
  • Nicola Paoletti
  • Massimo Callisto De Donato
  • Gaston Alanis

Other IDs