Publications
- A Road to a Formally Verified General-Purpose Operating System2010 | Faculty of Mathematics and Physics
- HelenOS 0.4.3Publication without faculty affiliation
- HelenOS 0.5.0Publication without faculty affiliation
- HelenOS 0.6.0Publication without faculty affiliation
- HelenOS research operating system +2Publication without faculty affiliation
- HelenOS 0.4.2Publication without faculty affiliation
- A Non-Intrusive Read-Copy-Update for UTS2012 | Faculty of Mathematics and Physics
- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- CoCoME in Fractal2008 | Faculty of Mathematics and Physics
Loading network view...