Juha Nieminen

According to our database, Juha Nieminen authored at least 2 papers between 1995 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Tampere Verification Tool.

Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

1995

Implementation of PALplus decoder with programmable video signal processor.

Petri Liuha, Pasi Pohjala, Pertti Vanni, Juha Nieminen

IEEE Trans. Circuits Syst. Video Technol., 1995