- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j13 |      | |
| 2012 | ||
| j12 | | Ralph Matthes, Sergei Soloviev: Preface to the special issue: commutativity of algebraic diagrams. Mathematical Structures in Computer Science 22(6): 901-903 (2012) |
| c18 | | |
| 2011 | ||
| j11 | | Celia Picard, Ralph Matthes: Coinductive Graph Representation: the Problem of Embedded Lists. ECEASST 39 (2011) |
| j10 | | Ralph Matthes: Map fusion for nested datatypes in intensional type theory. Sci. Comput. Program. 76(3): 204-224 (2011) |
| c17 | | Ralph Matthes, Celia Picard: Verification of redecoration for infinite triangular matrices using coinduction. TYPES 2011: 55-69 |
| 2010 | ||
| c16 | | Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel: Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR 2010: 67-83 |
| 2009 | ||
| j9 | | José Espírito Santo, Ralph Matthes, Luis Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. Logical Methods in Computer Science 5(2) (2009) |
| j8 | | Ralph Matthes: An induction principle for nested datatypes in intensional type theory. J. Funct. Program. 19(3-4): 439-468 (2009) |
| 2008 | ||
| j7 | | Ralph Matthes, Sergei Soloviev: Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Mathematical Structures in Computer Science 18(4): 645-646 (2008) |
| c15 | | |
| c14 | | Ralph Matthes: Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. MPC 2008: 220-242 |
| c13 | | José Espírito Santo, Ralph Matthes, Luis Pinto: Monadic Translation of Intuitionistic Sequent Calculus. TYPES 2008: 100-116 |
| 2007 | ||
| c12 | | José Espírito Santo, Ralph Matthes, Luis Pinto: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. TLCA 2007: 133-147 |
| c11 | | Ralph Matthes, Martin Strecker: Verification of the Redecoration Algorithm for Triangular Matrices. TYPES 2007: 125-141 |
| 2006 | ||
| c10 | | |
| 2005 | ||
| j6 | | Ralph Matthes: Non-strictly positive fixed points for classical natural deduction. Ann. Pure Appl. Logic 133(1-3): 205-230 (2005) |
| j5 | | Andreas Abel, Ralph Matthes, Tarmo Uustalu: Iteration and coiteration schemes for higher-order and nested datatypes. Theor. Comput. Sci. 333(1-2): 3-66 (2005) |
| 2004 | ||
| j4 | | Ralph Matthes, Tarmo Uustalu: Substitution in non-wellfounded syntax with variable binding. Theor. Comput. Sci. 327(1-2): 155-174 (2004) |
| c9 | | Andreas Abel, Ralph Matthes: Fixed Points of Type Constructors and Primitive Recursion. CSL 2004: 190-204 |
| 2003 | ||
| j3 | | Felix Joachimski, Ralph Matthes: Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. Arch. Math. Log. 42(1): 59-87 (2003) |
| j2 | | Ralph Matthes, Tarmo Uustalu: Substitution in Non-wellfounded Syntax with Variable Binding. Electr. Notes Theor. Comput. Sci. 82(1): 191-205 (2003) |
| c8 | | Andreas Abel, Ralph Matthes, Tarmo Uustalu: Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. FoSSaCS 2003: 54-69 |
| 2002 | ||
| c7 | | |
| 2001 | ||
| c6 | | |
| c5 | | Ralph Matthes: Interpolation for Natural Deduction with Generalized Eliminations. Proof Theory in Computer Science 2001: 153-169 |
| c4 | | |
| 2000 | ||
| c3 |  | Ralph Matthes: Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types. ICALP Satellite Workshops 2000: 339-354 |
| c2 | | Felix Joachimski, Ralph Matthes: Standardization and Confluence for a Lambda Calculus with Generalized Applications. RTA 2000: 141-155 |
| 1999 | ||
| j1 | | Ralph Matthes: Monotone (co)inductive types and positive fixed-point types. ITA 33(4/5): 309-328 (1999) |
| 1998 | ||
| c1 | | |
| 1 | Andreas Abel | |
| 2 | Mathieu Giorgino | |
| 3 | Felix Joachimski | |
| 4 | Marc Pantel | |
| 5 | Celia Picard | |
| 6 | Luis Pinto | |
| 7 | José Espírito Santo | |
| 8 | Sergei Soloviev | |
| 9 | Martin Strecker | |
| 10 | Tarmo Uustalu |
Colors in the list of coauthors
Last update Wed May 22 04:28:20 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page