Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQin Ma 0002
Person information
- affiliation: University of Luxembourg
Other persons with the same name
- Qin Ma — disambiguation page
- Qin Ma 0001 — China Agricultural University, College of Information and Electrical Engineering, Beijing, China
- Qin Ma 0003
![[0000-0002-3264-8392]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-3264-8392")
— Ohio State University, Columbus, OH, USA (and 3 more) - Qin Ma 0004 — Mississippi State University, Department of Forestry, Starkville, MS, USA (and 1 more)
- Qin Ma 0005 — State Key Laboratory of Vegetation and Environmental Change, Institute of Botany, Chinese Academy of Sciences, Beijing, China
- Qin Ma 0006 — Hebei University, Hebei, Baoding, China
- Qin Ma 0007 — Huazhong University of Science and Technology, Wuhan, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j11]Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß:
Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy. Comput. Ind. 151: 103974 (2023)- [j10]Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen:
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view. Softw. Syst. Model. 22(2): 647-666 (2023) - 2022
- [j9]Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata:
Model-based valuation of smart grid initiatives: Foundations, open issues, requirements, and a research outlook. Data Knowl. Eng. 141: 102052 (2022) - 2021
- [j8]Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata:
A Modeling Method in Support of Strategic Analysis in the Realm of Enterprise Modeling On the Example of Blockchain-Based Initiatives for the Electricity Sector. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 16: 2:1-2:36 (2021) - 2020
- [j7]Pierre Kelsen, Qin Ma, Christian Glodt:
A Lightweight Modeling Approach Based on Functional Decomposition. J. Object Technol. 19(2): 15:1-22 (2020) - 2018
- [j6]Loïc Gammaitoni, Pierre Kelsen, Qin Ma:
Agile validation of model transformations using compound F-Alloy specifications. Sci. Comput. Program. 162: 55-75 (2018) - 2015
- [j5]Sybren de Kinderen, Qin Ma:
Requirements engineering for the design of conceptual modeling languages. Appl. Ontology 10(1): 7-24 (2015) - [j4]Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre:
Algorithms for tractable compliance problems. Frontiers Comput. Sci. 9(1): 55-74 (2015) - [j3]Qin Ma, Pierre Kelsen, Christian Glodt:
A generic model decomposition technique and its application to the Eclipse modeling framework. Softw. Syst. Model. 14(2): 921-952 (2015) - 2010
- [j2]Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt:
Using VCL as an Aspect-Oriented Approach to Requirements Modelling. LNCS Trans. Aspect Oriented Softw. Dev. 7: 151-199 (2010) - 2008
- [j1]Qin Ma, Luc Maranget:
Algebraic Pattern Matching in Join Calculus. Log. Methods Comput. Sci. 4(1) (2008)
Conference and Workshop Papers
- 2023
- [c30]Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis:
Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community. EDOC 2023: 206-222 - 2022
- [c29]Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis:
Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering. PoEM 2022: 183-198 - 2021
- [c28]Christophe Feltus, Qin Ma, Henderik A. Proper, Pierre Kelsen:
Towards AI Assisted Domain Modeling. ER (Workshops) 2021: 75-89 - [c27]Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen:
Validation and Verification in Domain-Specific Modeling Method Engineering. PoEM 2021: 119-133 - 2020
- [c26]Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß:
Towards Extending the Validation Possibilities of ADOxx with Alloy. PoEM 2020: 138-152 - 2019
- [c25]Sybren de Kinderen, Monika Kaczmarek-Heß, Iván S. Razo-Zapata, Qin Ma:
Strategic Analysis in the Realm of Enterprise Modeling - On the Example of Blockchain-Based Initiatives for the Electricity Sector. Wirtschaftsinformatik 2019: 154-168 - 2018
- [c24]Sybren de Kinderen, Qin Ma:
Towards purposeful enterprise modeling for enterprise analysis. IMMS 2018: 163-167 - [c23]Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata:
Modeling in support of multi-perspective valuation of smart grid initiatives. RCIS 2018: 1-12 - [c22]Qin Ma, Pierre Kelsen:
Decomposing Models Through Dependency Graphs. TASE 2018: 138-143 - 2017
- [c21]Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata:
Towards Meta Model Provenance: A Goal-Driven Approach to Document the Provenance of Meta Models. PoEM 2017: 49-64 - [c20]Iván S. Razo-Zapata, Qin Ma, Monika Kaczmarek-Heß:
The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study. CBI (2) 2017: 83-88 - 2016
- [c19]Qin Ma, Sybren de Kinderen:
Goal-Based Decision Making - Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis. REFSQ 2016: 19-35 - [c18]Loïc Gammaitoni, Pierre Kelsen, Qin Ma:
Agile Validation of Higher Order Transformations Using F-Alloy. TASE 2016: 125-131 - 2015
- [c17]Georgios Plataniotis, Qin Ma, Erik Proper, Sybren de Kinderen:
Traceability and modeling of requirements in enterprise architecture from a design rationale perspective. RCIS 2015: 518-519 - [c16]Georgios Plataniotis, Sybren de Kinderen, Qin Ma, Erik Proper:
A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions. CBI (1) 2015: 191-198 - 2014
- [c15]Sybren de Kinderen, Qin Ma:
Towards an analysis driven approach for adapting enterprise architecture languages. EMISA 2014: 23-36 - [c14]Qin Ma, Sam Schmit, Christian Glodt, Pierre Kelsen:
Combining Models with Code: A Tale of Two Languages. ICGSE Workshops 2014: 27-32 - 2013
- [c13]Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre:
Algorithms for Basic Compliance Problems. ICST Workshops 2013: 2-7 - 2011
- [c12]Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller:
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. EDOC 2011: 247-256 - [c11]Pierre Kelsen, Qin Ma, Christian Glodt:
Models within Models: Taming Model Complexity Using the Sub-model Lattice. FASE 2011: 171-185 - [c10]Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller:
Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example. CEC 2011: 185-190 - 2010
- [c9]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]Pierre Kelsen, Qin Ma:
A Modular Model Composition Technique. FASE 2010: 173-187 - 2009
- [c7]Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma:
From platform-independent to platform-specific models using democles. OOPSLA Companion 2009: 795-796 - [c6]Pierre Kelsen, Qin Ma:
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. TASE 2009: 295-296 - 2008
- [c5]Pierre Kelsen, Qin Ma:
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS 2008: 690-704 - 2007
- [c4]Burak Emir, Qin Ma, Martin Odersky:
Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007: 54-70 - 2006
- [c3]Qin Ma, Luc Maranget:
Information Hiding in the Join Calculus. ASIAN 2006: 240-247 - 2004
- [c2]Qin Ma, Luc Maranget:
Compiling Pattern Matching in Join-Patterns. CONCUR 2004: 417-431 - 2003
- [c1]Qin Ma, Luc Maranget:
Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS 2003: 20-36
Editorship
- 2015
- [e1]Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, Sérgio Guerreiro, Qin Ma:
Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings. Lecture Notes in Business Information Processing 214, Springer 2015, ISBN 978-3-319-19236-9 [contents]
Informal and Other Publications
- 2008
- [i1]Qin Ma, Luc Maranget:
Algebraic pattern matching in join calculus. CoRR abs/0802.4018 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
