Publications

Aleksy Schubert

Number of publications: 52

2024

• Ken-etsu Fujita, Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, The existential fragment of second-order propositional intuitionistic logic is undecidable, Journal of Applied Non-Classical Logics, 34 (1) 2024, p. 55-74. See in PBN

2021

• Maciej Zielenkiewicz, Aleksy Schubert , Automata theory approach to predicate intuitionistic logic, Journal of Logic and Computation, 32 (3) 2021, p. 554-580. See in PBN

2019

• Wojciech Plandowski , Aleksy Schubert , On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note), Theoretical Computer Science, 792 (5) 2019, p. 62-68. See in PBN

2018

• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , A Java Bytecode Formalisation, Verified Software. Theories, Tools, and Experiments, Oxford, the United Kingdom of Great Britain and Northern Ireland, 18 July 2018 - 19 July 2018. See in PBN
• Aleksy Schubert , Paweł Urzyczyn , Answer set programming in intuitionistic logic, Indagationes Mathematicae, 29 (1) 2018, p. 276-292. See in PBN
• Aleksy Schubert , Paweł Urzyczyn , First-order Answer Set Programming as Constructive Proof Search, Theory and Practice of Logic Programming, 34th International Conference on Logic Programming, Oxford, the United Kingdom of Great Britain and Northern Ireland, 14 July 2018 - 17 July 2018, 18 (3-4) 2018, p. 673-690. See in PBN

2017

• Aleksy Schubert , Maciej Zielenkiewicz, Automata Theory Approach to Predicate Intuitionistic Logic, Logic-Based Program Synthesis and Transformation, Edinburgh, the United Kingdom of Great Britain and Northern Ireland, 6 September 2016 - 6 September 2016. See in PBN
• Jacek Chrząszcz, Aleksy Schubert , Function definitions for compound values in object-oriented languages, International Symposium on Principles and Practice of Declarative Programming, Naur, Belgium, 9 October 2017 - 11 October 2017. See in PBN
• Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Logical Methods in Computer Science, 12 (4) 2017, p. 1-25. See in PBN
• Aleksy Schubert , Jacek Sroka , Jerzy Tyszkiewicz , Systematic Programming in a Spreadsheet, 4th International Workshop on Software Engineering Methods in Spreadsheets, Eindhoven, the Netherlands, 13 June 2017 - 15 June 2017. See in PBN
• Karol Pąk, Aleksy Schubert , The impact of proof steps sequence on proof readability - experimental setting, 9th Conference on Intelligent Computer Mathematics, Białystok, Poland, 25 July 2016 - 29 July 2016. See in PBN

2016

• Aleksy Schubert , Paweł Urzyczyn , Daria Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, ACM Transactions on Computational Logic, 2016. See in PBN
• Marcin Benke, Aleksy Schubert , Daria Walukiewicz-Chrząszcz, Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic, International Conference on Formal Structures for Computation and Deduction, Porto, Portugal, 22 June 2016 - 26 June 2016. See in PBN
• Jacek Chrząszcz, Aleksy Schubert , The role of polymorphism in the characterisation of complexity by soft types, Information and Computation, 2016. See in PBN

2015

• Hendrik Pieter Barendregt, Wil Dekkers, Aleksy Schubert , Automata Theoretic Account of Proof Search, 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7 September 2015 - 10 September 2015. See in PBN
• Jacek Chrząszcz, Aleksy Schubert , Maciej Zielenkiewicz, Java Loops Are Mainly Polynomial, SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, Pec pod Snezkou, Czechia, 24 January 2015 - 29 January 2015. See in PBN
• Marcin Benke, Viviana Bono, Aleksy Schubert , Lucretia - intersection type polymorphism for scripting languages, Electronic Proceedings in Theoretical Computer Science, Intersection Types and Related Systems, Vienna, Austria, 2015. See in PBN
• Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Foundations of Software Science and Computation Structures 18th International Conference, London, the United Kingdom of Great Britain and Northern Ireland, 11 April 2015 - 18 April 2015. See in PBN
• Erik Poll, Joeri de Ruiter, Aleksy Schubert , Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws, Security and Privacy Workshops, San Jose, the United States of America, 2015. See in PBN
• Aleksy Schubert , Paweł Urzyczyn , Daria Walukiewicz-Chrząszcz, Restricted Positive Quantification Is Not Elementary, 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paryż, France, 12 May 2014 - 15 May 2014. See in PBN

2014

• Aleksy Schubert , Ken-etsu Fujita, A note on subject reduction in (→, ∃)-curry with respect to complete developments, Information Processing Letters, 114 (1-2) 2014, p. 72-75. See in PBN
• Ken-etsu Fujita, Aleksy Schubert , Existential type systems between Church and Curry style (type-free style), Theoretical Computer Science, 2014. See in PBN
• Aleksy Schubert , Tadeusz Sznuk, Tool Support for Teaching Hoare Logic, Software Engineering and Formal Methods, 2014. See in PBN

2013

• Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert , CoJaq: a hierarchical view on the Java bytecode formalised in Coq, Krajowa Konferencja Inżynierii Oprogramowania, Szczecin, 18 September 2013 - 20 September 2013. See in PBN
• Ken-etsu Fujita, Aleksy Schubert , Decidable structures between Church-style and Curry-style, Leibniz International Proceedings in Informatics, Rewriting Techniques and Applications, 21 2013, p. 190-205. See in PBN

2012

• Jacek Chrząszcz, Aleksy Schubert , ML with PTIME complexity guarantees, 2012. See in PBN
• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , Andrzej Tarlecki , Testing of Evolving Protocols, IEEE Sixth International ConferIEEE Sixth International Conference on Software Testing, Verification and Validation 2012, Montreal, Canada, 2012. See in PBN
• Ken-etsu Fujita, Aleksy Schubert , The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types, Information and Computation, 2012. See in PBN

2011

• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , A Dozen Instructions Make Java Bytecode, Electronic Notes in Theoretical Computer Science, 2011. See in PBN
• Jacek Chrząszcz, Aleksy Schubert , The role of polymorphism in the characterisation of complexity by soft types, Lecture Notes in Computer Science, 2011. See in PBN

2010

• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , A dozen instructions make Java bytecode, 2010. See in PBN
• Aleksy Schubert , Krzysztof Jakubczyk, Jędrzej Fulara, Konrad Durnoga, Relational Abstract Domain of Weighted Hexagons, Electronic Notes in Theoretical Computer Science, 2010. See in PBN
• Ken-etsu Fujita, Aleksy Schubert , The Undecidability of Type Related Problems in Type-free Style System F, 2010. See in PBN

2009

• Jacek Chrząszcz, Marieke Huisman, Aleksy Schubert , BML and Related Tools, Lecture Notes in Computer Science, 2009. See in PBN
• Ken-etsu Fujita, Aleksy Schubert , Existential Type Systems with No Types in Terms, Lecture Notes in Computer Science, 2009. See in PBN
• Aleksy Schubert , The Existential Fragment of the One-Step Parallel Rewriting Theory, Lecture Notes in Computer Science, 2009. See in PBN
• Aleksy Schubert , Daria Walukiewicz-Chrząszcz, The Non-Interference Protection in BML, Electronic Notes in Theoretical Computer Science, 2009. See in PBN

2008

• Patryk Czarnik, Aleksy Schubert , Extending Operational Semantics of the Java Bytecode, Trustworthy Global Computing, 2008. See in PBN
• Aleksy Schubert , On the building of affine retractions, Mathematical Structures in Computer Science, 2008. See in PBN
• Jędrzej Fulara, Krzysztof Jakubczyk, Aleksy Schubert , Supplementing Java Bytecode with Specifications, 2008. See in PBN

2007

• Christian Haack, Erik Poll, Jan Schaefer, Aleksy Schubert , Immutable Objects for a Java-Like Language, Lecture Notes in Computer Science, 2007. See in PBN

2006

• Jacek Chrząszcz, Aleksy Schubert , ESC/Java2 as a tool to ensure security in the source code of Java applications, 2006. See in PBN
• Jacek Chrząszcz, Andrzej Gąsienica-Samek, Aleksy Schubert , Tomasz Stachowicz, Minik: A tool for maintaining proper Java code structure, 2006. See in PBN
• Jacek Chrząszcz, Maciej Cielecki, Jędrzej Stanisław Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz, Aleksy Schubert , Propagation of JML non-null annotations in Java programs, 2006. See in PBN

2005

• Aleksy Schubert , A self-dependency constraint in the simply typed lambda calculus, Lecture Notes in Computer Science, 2005. See in PBN
• Jacek Chrząszcz, Andrzej Gasienica-Samek, Aleksy Schubert , Tomasz Stachowicz, KOTEK: Clustering of The Enterprise Code, 2005. See in PBN

2004

• Aleksy Schubert , On the Building of Affine Retractions, Lecture Notes in Computer Science, 2004. See in PBN

2001

• Aleksy Schubert , The complexity of beta-Reduction in low orders, Lecture Notes in Computer Science, 2001. See in PBN

2000

• K Fujita, Aleksy Schubert , Partially typed terms between Church-style and Curry-style, Lecture Notes in Computer Science, 2000. See in PBN
• Aleksy Schubert , Type inference for first order logic, Lecture Notes in Computer Science, 2000. See in PBN

1998

• Aleksy Schubert , Second-Order Unification and Type Inference for Church-Style Polymorphism, 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998. See in PBN

1997

• Aleksy Schubert , Linear Interpolation for the Higher-Order Matching Problem, Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, 1997. See in PBN