dblp.uni-trier.dewww.uni-trier.de

Qin Ma

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Burak Emir [4]
2Pierre Kelsen [6]
3Luc Maranget [1] [2] [3] [5]
4Martin Odersky [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)