Szebeni Szilveszter OData support

Theses

Partial order reduction based analysis of Petri net models

Dr. Vörös András (MIT)
BSc degree, computer science and engineering programme, 2011-2012 Autumn

Efficient lock-free handling of concurrency in cloud based encrypted file systems

Dr. Buttyán Levente (HIT)
MSc degree, computer science and engineering programme, 2013-2014 Autumn