Kimmo Varpaaniemi

发表

Kimmo Varpaaniemi, K. Varpaaniemi, 1994, Application and Theory of Petri Nets.
Kimmo Varpaaniemi, Marko Rauhamaa, 1992, Application and Theory of Petri Nets.
Timo Latvala, Kimmo Varpaaniemi, Marko Mäkelä, 2004 .
Kimmo Varpaaniemi, Annikka Aalto, Nisse Husberg, 2003, SDL Forum.
Kimmo Varpaaniemi, K. Varpaaniemi, 1998, Formal Methods Syst. Des..
Johan Lilius, Keijo Heljanko, Kimmo Varpaaniemi, 1997, CAV.
Kimmo Valkealahti, Keijo Heljanko, Tomi Janhunen, 2000 .
Timo Latvala, Viorel Preoteasa, Kimmo Varpaaniemi, 2019, CS&P.
Teemu Tynjälä, Kimmo Varpaaniemi, Nisse Husberg, 2000, ICATPN.
Kimmo Varpaaniemi, 2002, Fundam. Informaticae.
Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, 2013, Industrial Deployment of System Engineering Methods.
Kimmo Varpaaniemi, K. Varpaaniemi, 2000, Fundam. Informaticae.
Elena Troubitsyna, Alexander Romanovsky, Alexei Iliasov, 2010, ASM.
Yuliya Prokhorova, Linas Laibinis, Timo Latvala, 2012, Int. J. Crit. Comput. Based Syst..
Kimmo Varpaaniemi, K. Varpaaniemi, 2004, ISCIS.
Markku Turunen, Sari Leppänen, Jukka Honkola, 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
Kimmo Varpaaniemi, Leo Ojala, K. Varpaaniemi, 2008, Fundam. Informaticae.
Elena Troubitsyna, Alexander Romanovsky, Alexei Iliasov, 2010, FMICS.
Elena Troubitsyna, Alexander Romanovsky, Alexei Iliasov, 2010, SAFECOMP.
Elena Troubitsyna, Yuliya Prokhorova, Linas Laibinis, 2011, 2011 18th Asia-Pacific Software Engineering Conference.
Elena Troubitsyna, Alexander Romanovsky, Alexei Iliasov, 2013, Sci. Comput. Program..
Kimmo Varpaaniemi, 2010 .
Johan Lilius, Keijo Heljanko, Kimmo Varpaaniemi, 1996 .
Kimmo Varpaaniemi, K. Varpaaniemi, 2007 .
Kimmo Varpaaniemi, K. Varpaaniemi, 1994 .