Follow
Aleksy Schubert
Aleksy Schubert
University of Warsaw, Faculty of Mathematics, Informatics and Mechanics
Verified email at mimuw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Second-order unification and type inference for Church-style polymorphism
A Schubert
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
531998
Immutable objects for a Java-like language
C Haack, E Poll, J Schäfer, A Schubert
European Symposium on Programming, 347-362, 2007
522007
Verifying an implementation of SSH
E Poll, A Schubert
WITS 7, 164-177, 2007
402007
Linear interpolation for the higher-order matching problem
A Schubert
Colloquium on Trees in Algebra and Programming, 441-452, 1997
261997
Protocol state machines and session languages: specification, implementation, and security flaws
E Poll, J De Ruiter, A Schubert
2015 IEEE Security and Privacy Workshops, 125-133, 2015
222015
Partially typed terms between Church-style and Curry-style
K Fujita, A Schubert
IFIP International Conference on Theoretical Computer Science, 505-520, 2000
172000
The complexity of β-reduction in low orders
A Schubert
International Conference on Typed Lambda Calculi and Applications, 400-414, 2001
162001
Relational Abstract Domain of Weighted Hexagons
J Fulara, K Durnoga, K Jakubczyk, A Schubert
Electronic Notes in Theoretical Computer Science 267 (1), 59-72, 2010
152010
Existential type systems with no types in terms
K Fujita, A Schubert
International Conference on Typed Lambda Calculi and Applications, 112-126, 2009
152009
Explicit information flow properties in JML
C Haack, E Poll, A Schubert
Proc. WISSEC, 2008
122008
On the Mints hierarchy in first-order intuitionistic logic
A Schubert, P Urzyczyn, K Zdanowski
International Conference on Foundations of Software Science and Computation …, 2015
112015
Automata Theoretic Account of Proof Search
A Schubert, W Dekkers, HP Barendregt
LIPIcs-Leibniz International Proceedings in Informatics 41, 2015
112015
Rigorous specifications of the SSH Transport Layer
E Poll, A Schubert
Technical Report ICIS-R11004, Radboud University Nijmegen, 2011
112011
Tool Support for Teaching Hoare Logic
T Sznuk, A Schubert
International Conference on Software Engineering and Formal Methods, 332-346, 2014
102014
The Undecidability of Type Related Problems in Type-free Style System F.
K Fujita, A Schubert
RTA, 103-118, 2010
102010
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
K Fujita, A Schubert
Information and Computation 218, 69-87, 2012
82012
BML and related tools
J Chrząszcz, M Huisman, A Schubert
Formal Methods for Components and Objects, 278-297, 2009
72009
Esc/java2 as a tool to ensure security in the source code of java applications
A Schubert, J Chrząszcz
Software Engineering Techniques: Design for Quality, 337-348, 2007
72007
On the Mints Hierarchy in First-Order Intuitionistic Logic
K Zdanowski, P Urzyczyn, A Schubert
Logical Methods in Computer Science 12, 2017
6*2017
Restricted positive quantification is not elementary
A Schubert, P Urzyczyn, D Walukiewicz-Chrzaszcz
20th International Conference on Types for Proofs and Programs (TYPES 2014), 2015
62015
The system can't perform the operation now. Try again later.
Articles 1–20