Kimmo Varpaaniemi

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets

Kimmo Varpaaniemi, Leo Ojala, K. Varpaaniemi, 2008, Fundam. Informaticae.

On the Stubborn Set Method in Reduced State Space Generation

K. Varpaaniemi, Kimmo Varpaaniemi, 1998 .

On Combining the Stubborn Set Method with the Sleep Set Method

Kimmo Varpaaniemi, K. Varpaaniemi, Kimmo Varpaaniemi, 1994, Application and Theory of Petri Nets.