Thomas Scanlon

23 papers C 1Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
IEEE Trans. Autom. Control.
Nicolette Meshkat, Alexey Ovchinnikov, Thomas Scanlon
2025 J jnl
Syst. Control. Lett.
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
2024 J jnl
J. Log. Anal.
Michael Christ, James Demmel, Nicholas Knight, Thomas Scanlon, Katherine A. Yelick
2023 J jnl
CoRR
Nicolette Meshkat, Alexey Ovchinnikov, Thomas Scanlon
2023 J jnl
CoRR
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
2022 J jnl
SIAM J. Appl. Algebra Geom.
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
2022 conf
ICSSP/ICGSE
Thomas Scanlon, Jose Morales
2021 J jnl
Syst. Control. Lett.
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
2020 J jnl
CoRR
Wei Li, Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon
2020 J jnl
CoRR
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
2020 J jnl
CoRR
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
2018 J jnl
Ann. Pure Appl. Log.
Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl
2017 J jnl
J. Lond. Math. Soc.
James Freitag, Wei Li, Thomas Scanlon, William Johnson
2014 J jnl
J. Math. Log.
Rahim Moosa, Thomas Scanlon
2013 J jnl
CoRR
Michael Christ, James Demmel, Nicholas Knight, Thomas Scanlon, Katherine A. Yelick
2006 J jnl
J. Symb. Log.
Matthias Aschenbrenner, Rahim Moosa, Thomas Scanlon
2005 C conf
WoLLIC
Thomas Scanlon
2002 J jnl
J. Symb. Log.
Anand Pillay, Thomas Scanlon
2001 J jnl
Bull. Symb. Log.
Thomas Scanlon
2001 J jnl
J. Cryptol.
Thomas Scanlon
2000 J jnl
J. Symb. Log.
Thomas Scanlon
2000 J jnl
Bull. Symb. Log.
Jan Krajícek, Thomas Scanlon
1999 J jnl
J. Symb. Log.
Ehud Hrushovski, Thomas Scanlon