| 2026 | FSCD | A Bounded Parallel Intersection Type System. | Andrej Dudenhefner, Aleksy Schubert, Jakob Rehof |
| 2017 | PPDP | Function definitions for compound values in object-oriented languages. | Jacek Chrzaszcz, Aleksy Schubert |
| 2016 | CIKM | The impact of proof steps sequence on proof readability - experimental setting. | Karol Pak, Aleksy Schubert |
| 2016 | CIKM | Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. | Aleksy Schubert |
| 2016 | LOPSTR | Automata Theory Approach to Predicate Intuitionistic Logic. | Maciej Zielenkiewicz, Aleksy Schubert |
| 2015 | CSL | Automata Theoretic Account of Proof Search. | Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt |
| 2015 | FOSSACS | On the Mints Hierarchy in First-Order Intuitionistic Logic. | Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski |
| 2015 | SP | Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. | Erik Poll, Joeri de Ruiter, Aleksy Schubert |
| 2015 | SOFSEM | Java Loops Are Mainly Polynomial. | Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert |
| 2014 | SEFM | Tool Support for Teaching Hoare Logic. | Tadeusz Sznuk, Aleksy Schubert |
| 2012 | CSL | ML with PTIME complexity guarantees. | Jacek Chrzaszcz, Aleksy Schubert |
| 2012 | ICST | Testing of Evolving Protocols. | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki |
| 2011 | MFCS | The Role of Polymorphism in the Characterisation of Complexity by Soft Types. | Jacek Chrzaszcz, Aleksy Schubert |
| 2007 | ESOP | Immutable Objects for a Java-Like Language. | Christian Haack, Erik Poll, Jan Schfer, Aleksy Schubert |
| 2005 | FCT | A Self-dependency Constraint in the Simply Typed Lambda Calculus. | Aleksy Schubert |
| 2004 | CSL | On the Building of Affine Retractions. | Aleksy Schubert |
| 2000 | FOSSACS | Type Inference for First-Order Logic. | Aleksy Schubert |
| 1998 | POPL | Second-Order Unification and Type Inference for Church-Style Polymorphism. | Aleksy Schubert |