| |
| 2008 | ||
|---|---|---|
| 6 | EE | Pierre Kelsen, Qin Ma: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS 2008: 690-704 |
| 5 | EE | Qin Ma, Luc Maranget: Algebraic pattern matching in join calculus CoRR abs/0802.4018: (2008) |
| 2007 | ||
| 4 | EE | Burak Emir, Qin Ma, Martin Odersky: Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007: 54-70 |
| 2006 | ||
| 3 | EE | Qin Ma, Luc Maranget: Information Hiding in the Join Calculus. ASIAN 2006: 240-247 |
| 2004 | ||
| 2 | EE | Qin Ma, Luc Maranget: Compiling Pattern Matching in Join-Patterns. CONCUR 2004: 417-431 |
| 2003 | ||
| 1 | EE | Qin Ma, Luc Maranget: Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS 2003: 20-36 |
| 1 | Burak Emir | [4] |
| 2 | Pierre Kelsen | [6] |
| 3 | Luc Maranget | [1] [2] [3] [5] |
| 4 | Martin Odersky | [4] |