Publications
- A Non-Intrusive Read-Copy-Update for UTS2012 | Faculty of Mathematics and Physics
- A Road to a Formally Verified General-Purpose Operating System2010 | Faculty of Mathematics and Physics
- Teaching Operating Systems: Student Assignments and the Software Engineering Perspective2008 | Faculty of Mathematics and Physics
- Component-based General-purpose Operating System2007 | 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
- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
Loading network view...