| |
| 2008 | ||
|---|---|---|
| 11 | EE | Aleksy Schubert: On the building of affine retractions. Mathematical Structures in Computer Science 18(4): 753-793 (2008) |
| 2007 | ||
| 10 | EE | Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert: Immutable Objects for a Java-Like Language. ESOP 2007: 347-362 |
| 9 | EE | Patryk Czarnik, Aleksy Schubert: Extending Operational Semantics of the Java Bytecode. TGC 2007: 57-72 |
| 2005 | ||
| 8 | EE | 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 | EE | Aleksy Schubert: On the Building of Affine Retractions. CSL 2004: 205-219 |
| 2001 | ||
| 5 | EE | Aleksy Schubert: The Complexity of beta-Reduction in Low Orders. TLCA 2001: 400-414 |
| 2000 | ||
| 4 | EE | Aleksy Schubert: Type Inference for First-Order Logic. FoSSaCS 2000: 297-313 |
| 3 | EE | Ken-etsu Fujita, Aleksy Schubert: Partially Typed Terms between Church-Style and Curry-Style. IFIP TCS 2000: 505-520 |
| 1998 | ||
| 2 | EE | 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 | |
| 1 | Jacek Chrzaszcz | [7] |
| 2 | Patryk Czarnik | [9] |
| 3 | Ken-etsu Fujita | [3] |
| 4 | Andrzej Gasienica-Samek | [7] |
| 5 | Christian Haack | [10] |
| 6 | Erik Poll | [10] |
| 7 | Jan Schäfer | [10] |
| 8 | Tomasz Stachowicz | [7] |