Pertti Kellomäki

发表

Jarmo Takala, Vladimír Guzma, Teemu Pitkänen, 2009, 2009 IEEE Workshop on Signal Processing Systems.

Jarmo Takala, Pekka Jääskeläinen, Vladimír Guzma, 2008, SAMOS.

Jarmo Takala, Pekka Jääskeläinen, Pertti Kellomäki, 2008, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

Tommi Mikkonen, Pertti Kellomäki, 1998 .

Tommi Mikkonen, Pertti Kellomäki, 1999, World Congress on Formal Methods.

Tommi Mikkonen, Pertti Kellomäki, T. Mikkonen, 2000, ECOOP.

Pertti Kellomäki, Pertti Kellomäki, 2001, TPHOLs.

Pertti Kellomäki, Timo Aaltonen, Risto Pitkänen, 2000, Formal Aspects of Computing.

Tommi Mikkonen, Mika Katara, Pertti Kellomäki, 2003, FOCLASA.

Jarmo Takala, Pekka Jääskeläinen, Pertti Kellomäki, 2009, 2009 IEEE Workshop on Signal Processing Systems.

Pertti Kellomäki, Pertti Kellomäki, 2000, DIPES.

Tommi Mikkonen, Pertti Kellomäki, 1998, DIPES.

Tommi Mikkonen, Pertti Kellomäki, Joni Helin, 2007 .