Login / Signup
Matej Kohut
Publication Activity (10 Years)
Years Active: 2009-2012
Publications (10 Years): 0
Top Topics
Window Search
Efficient Computation
Top Venues
QEST
</>
Publications
</>
Matej Kohut
,
Anton Stefanek
,
Richard A. Hayden
,
Jeremy T. Bradley
Specification and Efficient Computation of Passage-Time Distributions in GPA.
QEST
(2012)
Katarina Zakova
,
Matej Kohut
Matlab Based Remote Control of Thermo-Optical Plant.
Int. J. Online Eng.
5 (S2) (2009)