On Type Inference for Object-Oriented Programming Languages. - Hans Leiß (CSL, 1987)

Polymorphic Recursion and Semi-Unification. - Hans Leiß (CSL, 1989)

Polymorphic Constructs in Natural and Programming Languages. - Hans Leiß (JELIA, 1990)

On Kilbury's Modification of Earley's Algorithm. - Hans Leiß (ACM Trans. Program. Lang. Syst., 1990)

Towards Kleene Algebra with Recursion. - Hans Leiß (CSL, 1991)

A Decidable Case of the Semi-Unification Problem. - Hans Leiß; Fritz Henglein (MFCS, 1991)

Combining Recursive and Dynamic Types. - Hans Leiß (TLCA, 1993)

Bounded Fixed-Point Definability and Tabular Recognition of Languages. - Hans Leiß (TAPD, 1998)

Extending the Type Checker of Standard ML by Polymorphic Recursion. - Martin Emms; Hans Leiß (Theor. Comput. Sci., 1999)

Second-Order Pre-Logical Relations and Representation Independence. - Hans Leiß (TLCA, 2001)

Greibach Normal Form in Algebraically Complete Semirings. - Zoltán Ésik; Hans Leiß (CSL, 2002)

Kleenean semimodules and linear languages. - Hans Leiß (FICS, 2002)

Automata on Lempel-ziv Compressed Strings. - Hans Leiß; Michel de Rougemont (CSL, 2003)

Definability and Compression. - Foto N. Afrati; Hans Leiß; Michel de Rougemont (Fundam. Informaticae, 2003)

Algebraically complete semirings and Greibach normal form. - Zoltán Ésik; Hans Leiß (Ann. Pure Appl. Log., 2005)

Kleene modules and linear languages. - Hans Leiß (J. Log. Algebraic Methods Program., 2006)

To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm. - Martin Lange; Hans Leiß (Informatica Didact., 2009)

Resolving Plural Ambiguities by Type Reconstruction. - Hans Leiß (FG, 2011)

Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark's Algorithm. - Hans Leiß (FG, 2014)

The Matrix Ring of a μ-Continuous Chomsky Algebra is mu-Continuous. - Hans Leiss (CSL, 2016)

Type Reconstruction for lambda -DRT Applied to Pronoun Resolution. - Hans Leiß; Shuqian Wu (LACL, 2016)

On Equality of Contexts and Completeness of the Indexed epsilon-Calculus. - Hans Leiß (FLAP, 2017)

Coequalizers and Tensor Products for Continuous Idempotent Semirings. - Mark Hopkins; Hans Leiß (RAMiCS, 2018)

C-Dioids and mu -Continuous Chomsky-Algebras. - Hans Leiß; Mark Hopkins (RAMiCS, 2018)

An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schützenberger theorem. - Hans Leiß (Math. Struct. Comput. Sci., 2022)

Normal Forms for Elements of the *-continuous Kleene Algebras $K mathop { otimes _ mathcal{R}}C_2'$. - Mark Hopkins; Hans Leiß (RAMiCS, 2023)

Normal Forms for Elements of the *-Continuous Kleene Algebras K ⊗R C2'. - Mark Hopkins; Hans Leiß (CoRR, 2023)