Aleksy Schubert

According to our database, Aleksy Schubert authored at least 48 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The existential fragment of second-order propositional intuitionistic logic is undecidable.

Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski

J. Appl. Non Class. Logics, January, 2024

2022

Automata theory approach to predicate intuitionistic logic.

Maciej Zielenkiewicz, Aleksy Schubert

J. Log. Comput., 2022

2019

On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note).

Wojciech Plandowski, Aleksy Schubert

Theor. Comput. Sci., 2019

Preface.

Thorsten Altenkirch, Aleksy Schubert

Fundam. Informaticae, 2019

2018

First-order Answer Set Programming as Constructive Proof Search.

Aleksy Schubert, Pawel Urzyczyn

Theory Pract. Log. Program., 2018

Formalisation of a frame stack semantics for a Java-like language.

Aleksy Schubert, Jacek Chrzaszcz

CoRR, 2018

A Java Bytecode Formalisation.

Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

Function definitions for compound values in object-oriented languages.

Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

How Hard Is Positive Quantification?

Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz

ACM Trans. Comput. Log., 2016

The role of polymorphism in the characterisation of complexity by soft types.

Jacek Chrzaszcz, Aleksy Schubert

Inf. Comput., 2016

On the Mints Hierarchy in First-Order Intuitionistic Logic.

Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski

Log. Methods Comput. Sci., 2016

Coq Support in HAHA.

Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic.

Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic.

Aleksy Schubert

Proceedings of the Joint Proceedings of the FM4M, 2016

The impact of proof steps sequence on proof readability - experimental setting.

Karol Pak, Aleksy Schubert

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws.

Erik Poll, Joeri de Ruiter, Aleksy Schubert

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

Java Loops Are Mainly Polynomial.

Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

Automata Theoretic Account of Proof Search.

Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Existential type systems between Church and Curry style (type-free style).

Ken-etsu Fujita, Aleksy Schubert

Theor. Comput. Sci., 2014

A note on subject reduction in (→, ∃)-Curry with respect to complete developments.

Aleksy Schubert, Ken-etsu Fujita

Inf. Process. Lett., 2014

On multiply-exponential write-once Turing machines.

Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz

CoRR, 2014

Lucretia - intersection type polymorphism for scripting languages.

Marcin Benke, Viviana Bono, Aleksy Schubert

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Restricted Positive Quantification Is Not Elementary.

Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

Tool Support for Teaching Hoare Logic.

Tadeusz Sznuk, Aleksy Schubert

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

Decidable structures between Church-style and Curry-style.

Ken-etsu Fujita, Aleksy Schubert

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types.

Ken-etsu Fujita, Aleksy Schubert

Inf. Comput., 2012

Lucretia - a type system for objects in languages with reflection

Viviana Bono, Marcin Benke, Aleksy Schubert

CoRR, 2012

Testing of Evolving Protocols.

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

ML with PTIME complexity guarantees.

Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Computer Science Logic (CSL'12), 2012

2010

Relational Abstract Domain of Weighted Hexagons.

Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

A Dozen Instructions Make Java Bytecode.

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert

Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

The Undecidability of Type Related Problems in Type-free Style System F.

Ken-etsu Fujita, Aleksy Schubert

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

The Non-Interference Protection in BML.

Aleksy Schubert, Daria Walukiewicz-Chrzaszcz

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

Existential Type Systems with No Types in Terms.

Ken-etsu Fujita, Aleksy Schubert

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

The Existential Fragment of the One-Step Parallel Rewriting Theory.

Aleksy Schubert

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

On the building of affine retractions.

Aleksy Schubert

Math. Struct. Comput. Sci., 2008

BML and Related Tools.

Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Extending Operational Semantics of the Java Bytecode.

Patryk Czarnik, Aleksy Schubert

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Immutable Objects for a Java-Like Language.

Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert

Proceedings of the Programming Languages and Systems, 2007

2006

ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.

Aleksy Schubert, Jacek Chrzaszcz

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Minik: A Tool for Maintaining Proper Java Code Structure.

Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005

KOTEK: Clustering Of The Enterprise Code.

Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

A Self-dependency Constraint in the Simply Typed Lambda Calculus.

Aleksy Schubert

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2001

The Complexity of beta-Reduction in Low Orders.

Aleksy Schubert

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Partially Typed Terms between Church-Style and Curry-Style.

Ken-etsu Fujita, Aleksy Schubert

Proceedings of the Theoretical Computer Science, 2000

Type Inference for First-Order Logic.

Aleksy Schubert

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1998

Second-Order Unification and Type Inference for Church-Style Polymorphism.

Aleksy Schubert

Proceedings of the POPL '98, 1998

1997

Linear Interpolation for the Higher-Order Matching Problem.

Aleksy Schubert

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997