Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Qin Ma 0002

Author information

University of Luxembourg

Other persons with the same name

see FAQ

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[c12]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/edoc/KharbiliMKP11
- ask others
Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermueller: CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. EDOC 2011: 247-256
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KelsenMG11
- ask others
Pierre Kelsen, Qin Ma, Christian Glodt: Models within Models: Taming Model Complexity Using the Sub-model Lattice. FASE 2011: 171-185
[c10]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wecwis/Kharbili0KP11
- ask others
Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermueller: Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example. CEC 2011: 185-190
2010
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/taosd/AmalioKMG10
- ask others
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. T. Aspect-Oriented Software Development 7: 151-199 (2010)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/caise/AmalioKM10
- ask others
Nuno Amálio, Pierre Kelsen, Qin Ma: Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD 2010: 261-273
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KelsenM10
- ask others
Pierre Kelsen, Qin Ma: A Modular Model Composition Technique. FASE 2010: 173-187

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/oopsla/GlodtKAM09
- ask others
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma: From platform-independent to platform-specific models using democles. OOPSLA Companion 2009: 795-796
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tase/KelsenM09
- ask others
Pierre Kelsen, Qin Ma: Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. TASE 2009: 295-296
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/MaM08
- ask others
Qin Ma, Luc Maranget: Algebraic Pattern Matching in Join Calculus. Logical Methods in Computer Science 4(1) (2008)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/KelsenM08
- ask others
Pierre Kelsen, Qin Ma: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS 2008: 690-704
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0802-4018
- ask others
Qin Ma, Luc Maranget: Algebraic pattern matching in join calculus. CoRR abs/0802.4018 (2008)
2007
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/EmirMO07
- ask others
Burak Emir, Qin Ma, Martin Odersky: Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007: 54-70
2006
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asian/MaM06
- ask others
Qin Ma, Luc Maranget: Information Hiding in the Join Calculus. ASIAN 2006: 240-247
2004
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/MaM04
- ask others
Qin Ma, Luc Maranget: Compiling Pattern Matching in Join-Patterns. CONCUR 2004: 417-431
2003
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/MaM03
- ask others
Qin Ma, Luc Maranget: Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS 2003: 20-36