Publikacje

Aleksy Schubert

Liczba publikacji: 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, s. 55-74. Zobacz w PBN

2021

• Maciej Zielenkiewicz, Aleksy Schubert , Automata theory approach to predicate intuitionistic logic, Journal of Logic and Computation, 32 (3) 2021, s. 554-580. Zobacz w 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, s. 62-68. Zobacz w 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 lipca 2018 - 19 lipca 2018. Zobacz w PBN
• Aleksy Schubert , Paweł Urzyczyn , Answer set programming in intuitionistic logic, Indagationes Mathematicae, 29 (1) 2018, s. 276-292. Zobacz w 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 lipca 2018 - 17 lipca 2018, 18 (3-4) 2018, s. 673-690. Zobacz w 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 września 2016 - 6 września 2016. Zobacz w 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 października 2017 - 11 października 2017. Zobacz w PBN
• Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Logical Methods in Computer Science, 12 (4) 2017, s. 1-25. Zobacz w 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 czerwca 2017 - 15 czerwca 2017. Zobacz w 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 lipca 2016 - 29 lipca 2016. Zobacz w PBN

2016

• Aleksy Schubert , Paweł Urzyczyn , Daria Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, ACM Transactions on Computational Logic, 2016. Zobacz w 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 czerwca 2016 - 26 czerwca 2016. Zobacz w PBN
• Jacek Chrząszcz, Aleksy Schubert , The role of polymorphism in the characterisation of complexity by soft types, Information and Computation, 2016. Zobacz w 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 września 2015 - 10 września 2015. Zobacz w 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 stycznia 2015 - 29 stycznia 2015. Zobacz w 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. Zobacz w 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 kwietnia 2015 - 18 kwietnia 2015. Zobacz w 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. Zobacz w 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 maja 2014 - 15 maja 2014. Zobacz w 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, s. 72-75. Zobacz w PBN
• Ken-etsu Fujita, Aleksy Schubert , Existential type systems between Church and Curry style (type-free style), Theoretical Computer Science, 2014. Zobacz w PBN
• Aleksy Schubert , Tadeusz Sznuk, Tool Support for Teaching Hoare Logic, Software Engineering and Formal Methods, 2014. Zobacz w 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 września 2013 - 20 września 2013. Zobacz w 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, s. 190-205. Zobacz w PBN

2012

• Jacek Chrząszcz, Aleksy Schubert , ML with PTIME complexity guarantees, 2012. Zobacz w 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. Zobacz w 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. Zobacz w PBN

2011

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

2010

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

2009

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

2008

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

2007

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

2006

• Jacek Chrząszcz, Aleksy Schubert , ESC/Java2 as a tool to ensure security in the source code of Java applications, 2006. Zobacz w PBN
• Jacek Chrząszcz, Andrzej Gąsienica-Samek, Aleksy Schubert , Tomasz Stachowicz, Minik: A tool for maintaining proper Java code structure, 2006. Zobacz w 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. Zobacz w PBN

2005

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

2004

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

2001

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

2000

• K Fujita, Aleksy Schubert , Partially typed terms between Church-style and Curry-style, Lecture Notes in Computer Science, 2000. Zobacz w PBN
• Aleksy Schubert , Type inference for first order logic, Lecture Notes in Computer Science, 2000. Zobacz w 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. Zobacz w 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. Zobacz w PBN