 | 2009 |
|---|
| 9 |       | Christian Glodt,
Pierre Kelsen,
Nuno Amálio,
Qin Ma:
From platform-independent to platform-specific models using democles.
OOPSLA Companion 2009: 795-796 |
| 8 | | Pierre Kelsen,
Qin Ma:
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains.
TASE 2009: 295-296 |
| 2008 |
|---|
| 7 | | Pierre Kelsen,
Qin Ma:
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.
MoDELS 2008: 690-704 |
| 6 | | Qin Ma,
Luc Maranget:
Algebraic pattern matching in join calculus
CoRR abs/0802.4018: (2008) |
| 5 | | Qin Ma,
Luc Maranget:
Algebraic Pattern Matching in Join Calculus.
Logical Methods in Computer Science 4(1): (2008) |
| 2007 |
|---|
| 4 | | Burak Emir,
Qin Ma,
Martin Odersky:
Translation Correctness for First-Order Object-Oriented Pattern Matching.
APLAS 2007: 54-70 |
| 2006 |
|---|
| 3 | | Qin Ma,
Luc Maranget:
Information Hiding in the Join Calculus.
ASIAN 2006: 240-247 |
| 2004 |
|---|
| 2 | | Qin Ma,
Luc Maranget:
Compiling Pattern Matching in Join-Patterns.
CONCUR 2004: 417-431 |
| 2003 |
|---|
| 1 | | Qin Ma,
Luc Maranget:
Expressive Synchronization Types for Inheritance in the Join Calculus.
APLAS 2003: 20-36 |
