Aleksy Schubert

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 24

Top Topics

Intuitionistic Logic

Scripting Languages

Functional Programs

Automata Theory

Top Venues

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Theor. Comput. Sci.

Publications

Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski
Between proof construction and SAT-solving. CoRR (2024)
Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski
The existential fragment of second-order propositional intuitionistic logic is undecidable. J. Appl. Non Class. Logics 34 (1) (2024)
Maciej Zielenkiewicz, Aleksy Schubert
Automata theory approach to predicate intuitionistic logic. J. Log. Comput. 32 (3) (2022)
Aleksy Schubert
On non-structural subtype entailment. CoRR (2021)
Thorsten Altenkirch, Aleksy Schubert
Preface. Fundam. Informaticae 170 (1-3) (2019)
Wojciech Plandowski, Aleksy Schubert
On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note). Theor. Comput. Sci. 792 (2019)
Aleksy Schubert, Pawel Urzyczyn
First-order Answer Set Programming as Constructive Proof Search. Theory Pract. Log. Program. 18 (3-4) (2018)
Aleksy Schubert, Pawel Urzyczyn
First-order answer set programming as constructive proof search. CoRR (2018)
Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert
A Java Bytecode Formalisation. VSTTE (2018)
Aleksy Schubert, Jacek Chrzaszcz
Formalisation of a frame stack semantics for a Java-like language. CoRR (2018)
Jacek Chrzaszcz, Aleksy Schubert
Function definitions for compound values in object-oriented languages. PPDP (2017)
Aleksy Schubert
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Jacek Chrzaszcz, Aleksy Schubert
The role of polymorphism in the characterisation of complexity by soft types. Inf. Comput. 248 (2016)
Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski
On the Mints Hierarchy in First-Order Intuitionistic Logic. Log. Methods Comput. Sci. 12 (4) (2016)
Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz
How Hard Is Positive Quantification? ACM Trans. Comput. Log. 17 (4) (2016)
Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic. FSCD (2016)
Maciej Zielenkiewicz, Aleksy Schubert
Automata Theory Approach to Predicate Intuitionistic Logic. LOPSTR (2016)
Karol Pak, Aleksy Schubert
The impact of proof steps sequence on proof readability - experimental setting. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski
Coq Support in HAHA. TYPES (2016)
Maciej Zielenkiewicz, Aleksy Schubert
Automata Theory Approach to Predicate Intuitionistic Logic. CoRR (2016)
Erik Poll, Joeri de Ruiter, Aleksy Schubert
Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. IEEE Symposium on Security and Privacy Workshops (2015)
Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski
On the Mints Hierarchy in First-Order Intuitionistic Logic. FoSSaCS (2015)
Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt
Automata Theoretic Account of Proof Search. CSL (2015)
Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert
Java Loops Are Mainly Polynomial. SOFSEM (2015)
Ken-etsu Fujita, Aleksy Schubert
Existential type systems between Church and Curry style (type-free style). Theor. Comput. Sci. 549 (2014)
Marcin Benke, Viviana Bono, Aleksy Schubert
Lucretia - intersection type polymorphism for scripting languages. ITRS (2014)
Tadeusz Sznuk, Aleksy Schubert
Tool Support for Teaching Hoare Logic. SEFM (2014)
Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz
On multiply-exponential write-once Turing machines. CoRR (2014)
Aleksy Schubert, Ken-etsu Fujita
A note on subject reduction in (→, ∃)-Curry with respect to complete developments. Inf. Process. Lett. 114 (1-2) (2014)
Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz
Restricted Positive Quantification Is Not Elementary. TYPES (2014)
Ken-etsu Fujita, Aleksy Schubert
Decidable structures between Church-style and Curry-style. RTA (2013)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
Testing of Evolving Protocols. ICST (2012)
Viviana Bono, Marcin Benke, Aleksy Schubert
Lucretia - a type system for objects in languages with reflection CoRR (2012)
Jacek Chrzaszcz, Aleksy Schubert
ML with PTIME complexity guarantees. CSL (2012)
Ken-etsu Fujita, Aleksy Schubert
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Inf. Comput. 218 (2012)
Jacek Chrzaszcz, Aleksy Schubert
The Role of Polymorphism in the Characterisation of Complexity by Soft Types. MFCS (2011)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert
A Dozen Instructions Make Java Bytecode. Electron. Notes Theor. Comput. Sci. 264 (4) (2011)
Ken-etsu Fujita, Aleksy Schubert
The Undecidability of Type Related Problems in Type-free Style System F. RTA (2010)
Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert
Relational Abstract Domain of Weighted Hexagons. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Aleksy Schubert, Daria Walukiewicz-Chrzaszcz
The Non-Interference Protection in BML. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Aleksy Schubert
The Existential Fragment of the One-Step Parallel Rewriting Theory. RTA (2009)
Ken-etsu Fujita, Aleksy Schubert
Existential Type Systems with No Types in Terms. TLCA (2009)
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
BML and Related Tools. FMCO (2008)
Aleksy Schubert
On the building of affine retractions. Math. Struct. Comput. Sci. 18 (4) (2008)
Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
Immutable Objects for a Java-Like Language. ESOP (2007)
Patryk Czarnik, Aleksy Schubert
Extending Operational Semantics of the Java Bytecode. TGC (2007)
Aleksy Schubert, Jacek Chrzaszcz
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. SET (2006)
Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert
Minik: A Tool for Maintaining Proper Java Code Structure. SET (2006)
Aleksy Schubert
A Self-dependency Constraint in the Simply Typed Lambda Calculus. FCT (2005)
Aleksy Schubert
On the Building of Affine Retractions. CSL (2004)
Aleksy Schubert
The Complexity of beta-Reduction in Low Orders. TLCA (2001)
Ken-etsu Fujita, Aleksy Schubert
Partially Typed Terms between Church-Style and Curry-Style. IFIP TCS (2000)
Aleksy Schubert
Type Inference for First-Order Logic. FoSSaCS (2000)
Aleksy Schubert
Second-Order Unification and Type Inference for Church-Style Polymorphism. POPL (1998)
Aleksy Schubert
Linear Interpolation for the Higher-Order Matching Problem. TAPSOFT (1997)