We stand with Ukraine  

Pauli Väisänen

According to our database1, Pauli Väisänen authored at least 4 papers between 2000 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Verifying Mode Consistency for On-Board Satellite Software.
[BibTeX]
[DOI]
Alexei Iliasov
,
Elena Troubitsyna
,
Linas Laibinis
,
Alexander B. Romanovsky
,
Kimmo Varpaaniemi
,
Pauli Väisänen
,
Dubravka Ilic
,
Timo Latvala
Proceedings of the Computer Safety, 2010

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

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

2000
On Inverse gamma-Systems and The Number of L<sub>infinite lambda</sub>-Equivalent, Non-Isomorphic Models for lambda Singular.
[BibTeX]
[DOI]
Saharon Shelah
,
Pauli Väisänen
J. Symb. Log., 2000


  Loading...