Kerkko Luosto - RankMe

18 papers A* 3B 1Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Regular Representations of Uniform TC ACM Trans. Comput. Log. Lauri Hella, Juha Kontinen, Kerkko Luosto
2024	J	`jnl`	Dimension in team semantics. Math. Struct. Comput. Sci. Lauri Hella, Kerkko Luosto, Jouko Väänänen
2024	J	`jnl`	Game characterizations for the number of quantifiers. Math. Struct. Comput. Sci. Lauri Hella, Kerkko Luosto
2023	J	`jnl`	Regular Representations of Uniform TC^0. CoRR Lauri Hella, Juha Kontinen, Kerkko Luosto
2015	J	`jnl`	Weak models of distributed computing, with connections to modal logic. Distributed Comput. Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2014	B	`conf`	The Expressive Power of Modal Dependence Logic. Advances in Modal Logic Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
2014	J	`jnl`	The Expressive Power of Modal Dependence Logic. CoRR Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
2012	J	`jnl`	On vectorizations of unary generalized quantifiers. Arch. Math. Log. Kerkko Luosto
2012	J	`jnl`	Weak Models of Distributed Computing, with Connections to Modal Logic CoRR Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2012	A*	`conf`	Weak models of distributed computing, with connections to modal logic. PODC Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2004	A*	`conf`	Equicardinality on Linear Orders. LICS Kerkko Luosto
2000	J	`jnl`	Hierarchies of Monadic Generalized Quantifiers. J. Symb. Log. Kerkko Luosto
1997	J	`jnl`	How to Define a Linear Order on Finite Models. Ann. Pure Appl. Log. Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
1997	—	`conf`	Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. ESSLLI Kerkko Luosto
1996	J	`jnl`	Almost everywhere equivalence of logics in finite model theory. Bull. Symb. Log. Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
1996	J	`jnl`	The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
1994	A*	`conf`	How to Define a Linear Order on Finite Models LICS Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
1992	J	`jnl`	The Beth-Closure of L(Q J. Symb. Log. Lauri Hella, Kerkko Luosto