Seguir
Aleksy Schubert
Aleksy Schubert
University of Warsaw, Faculty of Mathematics, Informatics and Mechanics
Dirección de correo verificada de mimuw.edu.pl - Página principal
Título
Citado por
Citado por
Año
Immutable objects for a Java-like language
C Haack, E Poll, J Schäfer, A Schubert
European Symposium on Programming, 347-362, 2007
532007
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20