Giorgio Bacci

Research output

Research output per year 2006 2009 2013 2014 2015 2017 2018 2020 2021 2024

• 15 Article in proceeding
• 14 Conference article in Journal
• 7 Journal article
• 4 Book chapter
• 2 More
  • 1 Anthology
  • 1 Report chapter

Research output per year

Research output per year

Search results

• 2014

  The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (eds.). Microsoft Research, p. 15-26

  Research output: Contribution to book/anthology/report/conference proceeding › Report chapter › Research › peer-review