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
521998
Immutable objects for a Java-like language
C Haack, E Poll, J Schäfer, A Schubert
European Symposium on Programming, 347-362, 2007
482007
Verifying an implementation of SSH
E Poll, A Schubert
WITS 7, 164-177, 2007
372007
Linear interpolation for the higher-order matching problem
A Schubert
Colloquium on Trees in Algebra and Programming, 441-452, 1997
251997
Partially typed terms between Church-style and Curry-style
K Fujita, A Schubert
IFIP International Conference on Theoretical Computer Science, 505-520, 2000
172000
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
162015
The complexity of β-reduction in low orders
A Schubert
International Conference on Typed Lambda Calculi and Applications, 400-414, 2001
162001
Existential type systems with no types in terms
K Fujita, A Schubert
International Conference on Typed Lambda Calculi and Applications, 112-126, 2009
142009
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
132010
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
Tool Support for Teaching Hoare Logic
T Sznuk, A Schubert
International Conference on Software Engineering and Formal Methods, 332-346, 2014
112014
Rigorous specifications of the SSH Transport Layer
E Poll, A Schubert
Technical Report ICIS-R11004, Radboud University Nijmegen, 2011
112011
The Undecidability of Type Related Problems in Type-free Style System F.
K Fujita, A Schubert
RTA, 103-118, 2010
102010
Extending operational semantics of the Java bytecode
P Czarnik, A Schubert
Trustworthy Global Computing, 57-72, 2008
82008
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
The role of polymorphism in the characterisation of complexity by soft types
J Chrząszcz, A Schubert
Information and Computation 248, 130-149, 2016
6*2016
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 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
62012
The system can't perform the operation now. Try again later.
Articles 1–20