Jon Grov

Førsteamanuensis - DIG Digitalisering
Bilde av Jon Grov
English version of this page
Brukernavn
Postadresse Postboks 1080 0316 Oslo

Publikasjoner

  • Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, Jose & Ölveczky, Peter Csaba [Vis alle 7 forfattere av denne artikkelen] (2018). Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude, Assured Cloud Computing. Wiley-IEEE Computer Society Press. ISSN 978-1-119-42863-3. s. 10–48. doi: 10.1002/9781119428497.ch2.
  • Grov, Jon & Ølveczky, Peter Csaba (2014). Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8702, s. 159–174. doi: 10.1007/978-3-319-10431-7_12.
  • Grov, Jon & Ølveczky, Peter Csaba (2014). Formal modeling and analysis of Google's megastore in real-time maude. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8373, s. 494–519. doi: 10.1007/978-3-642-54624-2_25.
  • Grov, Jon & Ølveczky, Peter Csaba (2013). Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8059, s. 26–38. doi: 10.1007/978-3-642-40053-7_3.
  • Grov, Jon; Soares, Luís; Correia Jr., Alfrânio; Pereira, José; Oliveira, Rui & Pedone, Fernando (2006). A Pragmatic Protocol for Database Replication in Interconnected Clusters. I Jeske, Daniel; Ciardo, Gianfranco & Dai, Yuan-Shun (Red.), Proceedings - 12th Pacific Rim International Symposium on Dependable Computing. IEEE conference proceedings. ISSN 0-7695-2724-8. s. 230–237.

Se alle arbeider i Cristin

  • Skrikerud, Anne Maria & Grov, Jon (2007). Privacy at Risk.
  • Grov, Jon & Normann, Ragnar (2006). Technical note: Replication graphs revisited. Journal of computer and system sciences. ISSN 0022-0000. 72(8), s. 1251–1261. doi: 10.1016/j.jcss.2006.02.004.
  • Grov, Jon; Soares, Luís; Correia Jr., Alfrânio; José, Pereira; Oliveira, Rui & Pedone, Fernando (2006). A Pragmatic Protocol for Database Replication in Interconnected Clusters.
  • Skrikerud, Anne Maria & Grov, Jon (2006). The dubious uniqueness of the genetic information.
  • Grov, Jon & Ölveczky, Peter Csaba (2014). Transactional Data Management for Multi-Site Systems: New Approaches and Formal Analysis. Akademika forlag. Fulltekst i vitenarkiv

Se alle arbeider i Cristin

Publisert 21. des. 2020 12:54 - Sist endret 15. jan. 2021 19:10