Aleksy Schubert

56 papers A* 1A 2B 10C 2Journal 18Unranked 21

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