| |
| 2006 | ||
|---|---|---|
| 18 | EE | Hans Leiß: Kleene modules and linear languages. J. Log. Algebr. Program. 66(2): 185-194 (2006) |
| 2005 | ||
| 17 | EE | Zoltán Ésik, Hans Leiß: Algebraically complete semirings and Greibach normal form. Ann. Pure Appl. Logic 133(1-3): 173-203 (2005) |
| 2003 | ||
| 16 | EE | Hans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396 |
| 15 | EE | Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003) |
| 2002 | ||
| 14 | EE | Zoltán Ésik, Hans Leiß: Greibach Normal Form in Algebraically Complete Semirings. CSL 2002: 135-150 |
| 13 | Hans Leiß: Kleenean semimodules and linear languages. FICS 2002: 51-53 | |
| 2001 | ||
| 12 | EE | Hans Leiß: Second-Order Pre-Logical Relations and Representation Independence. TLCA 2001: 298-314 |
| 2000 | ||
| 11 | EE | Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73 |
| 1999 | ||
| 10 | EE | Martin Emms, Hans Leiß: Extending the Type Checker of Standard ML by Polymorphic Recursion. Theor. Comput. Sci. 212(1-2): 157-181 (1999) |
| 1998 | ||
| 9 | EE | Hans Leiß: Bounded Fixed-Point Definability and Tabular Recognition of Languages. TAPD 1998: 96-107 |
| 1995 | ||
| 8 | Hans Leiß: Bounded Fixed-Point Definability and Tabular Recognition of Languages. CSL 1995: 388-402 | |
| 1993 | ||
| 7 | Hans Leiß: Combining Recursive and Dynamic Types. TLCA 1993: 258-273 | |
| 1991 | ||
| 6 | Hans Leiß: Towards Kleene Algebra with Recursion. CSL 1991: 242-256 | |
| 5 | Hans Leiß, Fritz Henglein: A Decidable Case of the Semi-Unification Problem. MFCS 1991: 318-327 | |
| 1990 | ||
| 4 | Hans Leiß: Polymorphic Constructs in Natural and Programming Languages. JELIA 1990: 348-365 | |
| 3 | EE | Hans Leiß: On Kilbury's Modification of Earley's Algorithm. ACM Trans. Program. Lang. Syst. 12(4): 610-640 (1990) |
| 1989 | ||
| 2 | Hans Leiß: Polymorphic Recursion and Semi-Unification. CSL 1989: 211-224 | |
| 1987 | ||
| 1 | Hans Leiß: On Type Inference for Object-Oriented Programming Languages. CSL 1987: 151-172 | |
| 1 | Foto N. Afrati | [11] [15] |
| 2 | Martin Emms | [10] |
| 3 | Zoltán Ésik | [14] [17] |
| 4 | Fritz Henglein | [5] |
| 5 | Michel de Rougemont | [11] [15] [16] |