 | 2009 |
|---|
| 16 |       | Aleksy Schubert:
The Existential Fragment of the One-Step Parallel Rewriting Theory.
RTA 2009: 78-92 |
| 15 | | Ken-etsu Fujita,
Aleksy Schubert:
Existential Type Systems with No Types in Terms.
TLCA 2009: 112-126 |
| 2008 |
|---|
| 14 | | Jacek Chrzaszcz,
Marieke Huisman,
Aleksy Schubert:
BML and Related Tools.
FMCO 2008: 278-297 |
| 13 | | Aleksy Schubert:
On the building of affine retractions.
Mathematical Structures in Computer Science 18(4): 753-793 (2008) |
| 2007 |
|---|
| 12 | | Christian Haack,
Erik Poll,
Jan Schäfer,
Aleksy Schubert:
Immutable Objects for a Java-Like Language.
ESOP 2007: 347-362 |
| 11 | | Patryk Czarnik,
Aleksy Schubert:
Extending Operational Semantics of the Java Bytecode.
TGC 2007: 57-72 |
| 2006 |
|---|
| 10 | | Aleksy Schubert,
Jacek Chrzaszcz:
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.
SET 2006: 337-348 |
| 9 | | Jacek Chrzaszcz,
Tomasz Stachowicz,
Andrzej Gasienica-Samek,
Aleksy Schubert:
Minik: A Tool for Maintaining Proper Java Code Structure.
SET 2006: 361-371 |
| 2005 |
|---|
| 8 | | Aleksy Schubert:
A Self-dependency Constraint in the Simply Typed Lambda Calculus.
FCT 2005: 352-364 |
| 7 |  | Andrzej Gasienica-Samek,
Tomasz Stachowicz,
Jacek Chrzaszcz,
Aleksy Schubert:
KOTEK: Clustering Of The Enterprise Code.
Software Engineering: Evolution and Emerging Technologies 2005: 412-417 |
| 2004 |
|---|
| 6 | | Aleksy Schubert:
On the Building of Affine Retractions.
CSL 2004: 205-219 |
| 2001 |
|---|
| 5 | | Aleksy Schubert:
The Complexity of beta-Reduction in Low Orders.
TLCA 2001: 400-414 |
| 2000 |
|---|
| 4 | | Aleksy Schubert:
Type Inference for First-Order Logic.
FoSSaCS 2000: 297-313 |
| 3 | | Ken-etsu Fujita,
Aleksy Schubert:
Partially Typed Terms between Church-Style and Curry-Style.
IFIP TCS 2000: 505-520 |
| 1998 |
|---|
| 2 | | Aleksy Schubert:
Second-Order Unification and Type Inference for Church-Style Polymorphism.
POPL 1998: 279-288 |
| 1997 |
|---|
| 1 | | Aleksy Schubert:
Linear Interpolation for the Higher-Order Matching Problem.
TAPSOFT 1997: 441-452 |
