On Inverse gamma-Systems and The Number of Linfinite lambda-Equivalent, Non-Isomorphic Models for lambda Singular. - Saharon Shelah; Pauli Väisänen (J. Symb. Log., 2000)

Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals. - Saharon Shelah; Pauli Väisänen (Ann. Pure Appl. Log., 2002)

Almost free groups and long Ehrenfeucht-Fraïssé games. - Pauli Väisänen (Ann. Pure Appl. Log., 2003)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)