Robert S. Lubarsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
3
Active years
1989–2024
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CiE | Higher-Order Feedback Computation. | Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco |
| 2022 | CiE | On the Necessity of Some Topological Spaces. | Robert S. Lubarsky |
| 2020 | LFCS | Feedback Hyperjump. | Robert S. Lubarsky |
| 2018 | LFCS | Notions of Cauchyness and Metastability. | Hannes Diener, Robert S. Lubarsky |
| 2018 | LFCS | Separating the Fan Theorem and Its Weakenings II. | Robert S. Lubarsky |
| 2016 | LFCS | Parallel Feedback Turing Computability. | Robert S. Lubarsky |
| 2015 | LICS | Feedback Turing Computability, and Turing Computability as Feedback. | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
| 2013 | CiE | Realizability Models Separating Various Fan Theorems. | Robert S. Lubarsky, Michael Rathjen |
| 2013 | LFCS | Separating the Fan Theorem and Its Weakenings. | Robert S. Lubarsky, Hannes Diener |
| 2009 | LFCS | Topological Forcing Semantics with Settling. | Robert S. Lubarsky |
| 2007 | LFCS | On the Constructive Dedekind Reals: Extended Abstract. | Robert S. Lubarsky, Michael Rathjen |
| 1989 | LICS | mu-Definable Sets of Integers | Robert S. Lubarsky |