Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Aleksy Schubert
2018
- Patryk Czarnik, Jacek Chrząszcz and Aleksy Andrzej Schubert, A Java Bytecode Formalisation, in: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Springer, 2018.see in PBN
- Wojciech Plandowski and Aleksy Andrzej Schubert, On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note), Theoretical Computer Science 2018.see in PBN
- Aleksy Andrzej Schubert and Paweł Urzyczyn, Answer set programming in intuitionistic logic, Indagationes Mathematicae-new Series 29 2018, p. 276–292.see in PBN
- Aleksy Andrzej Schubert and Paweł Urzyczyn, First-order Answer Set Programming as Constructive Proof Search, Theory And Practice Of Logic Programming 18 (3-4) 2018, p. 673–690.see in PBN
2017
- Aleksy Andrzej Schubert, Jacek Sroka and Jerzy Paweł Tyszkiewicz, Systematic Programming in a Spreadsheet, in: IS-EUD 2017 6th international symposium on end-user development, Eindhoven University of Technology, Eindhoven 2017, p. 10–17.see in PBN
- Maciej Piotr Zielenkiewicz and Aleksy Andrzej Schubert, Automata Theory Approach to Predicate Intuitionistic Logic, in: Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Springer, 2017, p. 345–360.see in PBN
- Jacek Chrząszcz and Aleksy Andrzej Schubert, Function definitions for compound values in object-oriented languages, in: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, 2017, p. 61–72.see in PBN
2016
- Marcin Benke, Daria Monika Walukiewicz-Chrząszcz and Aleksy Andrzej Schubert, Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic, in: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Niemcy 2016, p. 12:1–12:16.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Daria Monika Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, Acm Transactions On Computational Logic 17 (4) 2016, p. 30.see in PBN
- Jacek Chrząszcz and Aleksy Andrzej Schubert, The role of polymorphism in the characterisation of complexity by soft types, Information And Computation 248 2016, p. 130–149.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Logical Methods In Computer Science 12 (4) 2016, p. 1–25.see in PBN
- Karol Pąk and Aleksy Andrzej Schubert, The impact of proof steps sequence on proof readability - experimental setting, in: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016., 2016, p. 172–186.see in PBN
2015
- Maciej Zielenkiewicz, Jacek Chrząszcz and Aleksy Schubert, Java Loops Are Mainly Polynomial, in: SOFSEM 2015: Theory and Practice of Computer Science, 2015, p. 603–614.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, in: Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Springer, 2015, p. 451–465.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Daria Monika Walukiewicz-Chrząszcz, Restricted Positive Quantification Is Not Elementary, in: 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Niemcy 2015, p. 251–273.see in PBN
- Marcin Benke, Viviana Bono and Aleksy Andrzej Schubert, Lucretia - intersection type polymorphism for scripting languages, Electronic Proceedings In Theoretical Computer Science 177 2015, p. 65–78.see in PBN
- Erik Poll, Joeri de Ruiter and Aleksy Andrzej Schubert, Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws, in: 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015, IEEE, 2015, p. 125–133.see in PBN
- Aleksy Andrzej Schubert, Wil Dekkers and Hendrik Pieter Barendregt, Automata Theoretic Account of Proof Search, in: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Niemcy 2015, p. 128–143.see in PBN
2014
- Aleksy Andrzej Schubert and Ken-etsu Fujita, A note on subject reduction in (→, ∃)-curry with respect to complete developments, Information Processing Letters 114 (1-2) 2014.see in PBN
- Ken-etsu Fujita and Aleksy Andrzej Schubert, Existential type systems between Church and Curry style (type-free style), Theoretical Computer Science 549 2014, p. 17–35.see in PBN
- Tadeusz Sznuk and Aleksy Andrzej Schubert, Tool Support for Teaching Hoare Logic, in: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, Springer, 2014, p. 332–346.see in PBN
2012
- Jacek Ludwik Chrząszcz, Patryk Czarnik, Aleksy Andrzej Schubert and Andrzej Tarlecki, Testing of Evolving Protocols, in: ICST, 2012, p. 901–906.see in PBN
- Ken-etsu Fujita and Aleksy Schubert, The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types, Information And Computation 218 2012, p. 69–87.see in PBN
- Jacek Chrząszcz and Aleksy Schubert, ML with PTIME complexity guarantees, in: CSL, 2012.see in PBN
2010
- Ken-etsu Fujita and Aleksy Schubert, The Undecidability of Type Related Problems in Type-free Style System F, in: RTA, 2010.see in PBN
- Jędrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk and Aleksy Schubert, Relational Abstract Domain of Weighted Hexagons, Electronic Notes In Theoretical Computer Science 267 (1) 2010, p. 59–72.see in PBN
- Jacek Chrząszcz, Patryk Czarnik and Aleksy Schubert, A dozen instructions make Java bytecode, in: Bytecode, 2010.see in PBN
2009
- Aleksy Schubert, The Existential Fragment of the One-Step Parallel Rewriting Theory, Lecture Notes In Computer Science 5595 2009, p. 78–92.see in PBN
- Ken-etsu Fujita and Aleksy Schubert, Existential Type Systems with No Types in Terms, Lecture Notes In Computer Science 5608 2009, p. 112–126.see in PBN
- Aleksy Schubert and Daria Walukiewicz-Chrząszcz, The Non-Interference Protection in BML, Electronic Notes In Theoretical Computer Science 253 (5) 2009, p. 113–127.see in PBN
- Aleksy Schubert, Jacek Chrząszcz and Marieke Huisman, BML and Related Tools, Lecture Notes In Computer Science 5751 2009, p. 278–297.see in PBN
2008
- Aleksy Schubert, On the building of affine retractions, Mathematical Structures In Computer Science 18 (4) 2008, p. 753–793.see in PBN
- Patryk Czarnik and Aleksy Schubert, Extending Operational Semantics of the Java Bytecode, in: Trustworthy Global Computing, 2008, p. 57–72.see in PBN
- Aleksy Schubert, Krzysztof Jakubczyk and Jędrzej Fulara, Supplementing Java Bytecode with Specifications, in: Software Engineering Techniques in Progress, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław 2008.see in PBN
2006
- Jacek Chrząszcz and Aleksy Schubert, ESC/Java2 as a tool to ensure security in the source code of Java applications, in: Proceedings of SET'2006, Springer, New York 2006.see in PBN
- Jacek Chrząszcz, Tomasz Stachowicz, Andrzej Gąsienica-Samek and Aleksy Schubert, Minik: A tool for maintaining proper Java code structure, in: Proceedings of SET'2006, Springer, New York 2006.see in PBN
- Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz, Jacek Chrząszcz and Aleksy Schubert, Propagation of JML non-null annotations in Java programs, in: Proceedings of PPPJ'2006, Mannheim University Press, Mannheim 2006.see in PBN
1998
- Aleksy Schubert, Second-Order Unification and Type Inference for Church-Style Polymorphism, in: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98), 1998, p. 279–288.see in PBN
1997
- Aleksy Schubert, Linear Interpolation for the Higher-Order Matching Problem, in: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, 1997, p. 441–452.see in PBN
You are not logged in | log in
