Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-10 of 10

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. p. 10-48
UiO Untitled
 
2014
2 Grov, Jon.
Transactional Data Management for Multi-Site Systems: New Approaches and Formal Analysis. Akademika forlag 2014 222 p.
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 ;Volume 8373. p. 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 ;Volume 8702. p. 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 ;Volume 8059. p. 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 ;Volume 72.(8) p. 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. p. 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