|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2018
|
1. |
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, Jose; Ölveczky, Peter Csaba; Skeirik, Stephen. Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude. I: Assured Cloud Computing. : Wiley-IEEE Computer Society Press 2018 ISBN 978-1-119-42863-3. s. 10-48 UiO
Untitled
|
2014
|
2. |
Grov, Jon. Transactional Data Management for Multi-Site Systems: New Approaches and Formal Analysis. Akademika forlag 2014 222 s. UiO
Untitled
|
|
3. |
Grov, Jon; Ølveczky, Peter Csaba. Formal modeling and analysis of Google's megastore in real-time maude. Lecture Notes in Computer Science (LNCS) 2014 ;Volum 8373. s. 494-519 UiO
Untitled
|
|
4. |
Grov, Jon; Ølveczky, Peter Csaba. Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. Lecture Notes in Computer Science (LNCS) 2014 ;Volum 8702. s. 159-174 UiO
Untitled
|
2013
|
5. |
Grov, Jon; Ølveczky, Peter Csaba. Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8059. s. 26-38 UiO
Untitled
|
2007
|
6. |
Skrikerud, Anne Maria; Grov, Jon. Privacy at Risk. Biobanks - still an ethical challenge?; 2007-12-03 - 2007-12-05 UiO
Untitled
|
2006
|
7. |
Grov, Jon; Normann, Ragnar. Technical note: Replication graphs revisited. Journal of computer and system sciences 2006 ;Volum 72.(8) s. 1251-1261 UiO
Untitled
|
|
8. |
Grov, Jon; Soares, Luís; Correia Jr., Alfrânio; José, Pereira; Oliveira, Rui; Pedone, Fernando. A Pragmatic Protocol for Database Replication in Interconnected Clusters. PRDC 2006; 2006-12-18 - 2006-12-20 UiO
Untitled
|
|
9. |
Grov, Jon; Soares, Luís; Correia Jr., Alfrânio; Pereira, José; Oliveira, Rui; Pedone, Fernando. A Pragmatic Protocol for Database Replication in Interconnected Clusters. I: Proceedings - 12th Pacific Rim International Symposium on Dependable Computing. IEEE conference proceedings 2006 ISBN 0-7695-2724-8. s. 230-237 UiO
Untitled
|
|
10. |
Skrikerud, Anne Maria; Grov, Jon. The dubious uniqueness of the genetic information. XXth European Conference on Philosophy of Medicine and Health Care - "Medicine, philosophy and the humanities; 2006-08-23 - 2006-08-26 UiO
Untitled
|
|