2002 |
4 | | Gunnar Grossschmidt,
Mait Harf:
Multi-Pole Modelling and Simulation of a Four Way Valve Controlled Fluid Power System in NUT Programming Environment.
ESM 2002: 677-681 |
2001 |
3 | EE | Mait Harf,
Kristiina Kindel,
Vahur Kotkas,
Peep Küngas,
Enn Tyugu:
Automated Program Synthesis for Java Programming Language.
Ershov Memorial Conference 2001: 157-164 |
2000 |
2 | | Gunnar Grossschmidt,
Jüri Vanaveski,
Mait Harf:
Simulation of Hydraulic chains using multi-pole models in the NUT programming environment.
ESM 2000: 709-713 |
1 | EE | Vahur Kotkas,
Peep Küngas,
Mait Harf:
The Cash-Point Service in NUT.
Formal Asp. Comput. 12(4): 222-224 (2000) |