Qin Ma - RankMe

48 papers A 3B 11Misc 8Journal 14Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CLERK: A Companion Large Language Model Expert for modeling Regulatory Knowledge. Data Knowl. Eng. Jonathan Silva Mercado, Qin Ma, Sybren de Kinderen, Karolin Winter, Jordi Cabot
2026	J	`jnl`	MOVING Towards Smart Grids. Bus. Inf. Syst. Eng. Qin Ma, Iván S. Razo-Zapata, Sybren de Kinderen, Monika Kaczmarek-Heß
2025	Misc	`conf`	The Interim Experiment Report: A Systematic Account of The Experimental Design of Large Language Model-Based Text-to-Model Approaches. PoEM Sybren de Kinderen, Qin Ma, Jonathan Silva Mercado, Karolin Winter
2025	A	`conf`	Towards Human-in-the-Loop LLM-Enabled Domain Modeling. ER Jonathan Silva Mercado, Qin Ma, Jordi Cabot, Pierre Kelsen, Henderik A. Proper
2024	A	`conf`	Application of the Tree-of-Thoughts Framework to LLM-Enabled Domain Modeling. ER Jonathan Silva Mercado, Qin Ma, Jordi Cabot, Pierre Kelsen, Henderik A. Proper
2023	B	`conf`	Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community. EDOC Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis
2023	J	`jnl`	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. Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß
2023	J	`jnl`	Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view. Softw. Syst. Model. Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen
2022	Misc	`conf`	Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering. PoEM Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß, Rik Eshuis
2022	J	`jnl`	Model-based valuation of smart grid initiatives: Foundations, open issues, requirements, and a research outlook. Data Knowl. Eng. Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
2021	J	`jnl`	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. Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
2021	—	`conf`	Towards AI Assisted Domain Modeling. ER (Workshops) Christophe Feltus, Qin Ma, Henderik A. Proper, Pierre Kelsen
2021	Misc	`conf`	Validation and Verification in Domain-Specific Modeling Method Engineering. PoEM Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen
2020	J	`jnl`	A Lightweight Modeling Approach Based on Functional Decomposition. J. Object Technol. Pierre Kelsen, Qin Ma, Christian Glodt
2020	Misc	`conf`	Towards Extending the Validation Possibilities of ADOxx with Alloy. PoEM Sybren de Kinderen, Qin Ma, Monika Kaczmarek-Heß
2019	—	`conf`	Strategic Analysis in the Realm of Enterprise Modeling - On the Example of Blockchain-Based Initiatives for the Electricity Sector. Wirtschaftsinformatik Sybren de Kinderen, Monika Kaczmarek-Heß, Iván S. Razo-Zapata, Qin Ma
2018	J	`jnl`	Agile validation of model transformations using compound F-Alloy specifications. Sci. Comput. Program. Loïc Gammaitoni, Pierre Kelsen, Qin Ma
2018	Misc	`conf`	Decomposing Models Through Dependency Graphs. TASE Qin Ma, Pierre Kelsen
2018	B	`conf`	Modeling in support of multi-perspective valuation of smart grid initiatives. RCIS Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
2018	—	`conf`	Towards purposeful enterprise modeling for enterprise analysis. IMMS Sybren de Kinderen, Qin Ma
2017	—	`conf`	The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study. CBI (2) Iván S. Razo-Zapata, Qin Ma, Monika Kaczmarek-Heß
2017	Misc	`conf`	Towards Meta Model Provenance: A Goal-Driven Approach to Document the Provenance of Meta Models. PoEM Sybren de Kinderen, Monika Kaczmarek-Heß, Qin Ma, Iván S. Razo-Zapata
2016	Misc	`conf`	Agile Validation of Higher Order Transformations Using F-Alloy. TASE Loïc Gammaitoni, Pierre Kelsen, Qin Ma
2016	B	`conf`	Goal-Based Decision Making - Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis. REFSQ Qin Ma, Sybren de Kinderen
2015	—	`conf`	A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions. CBI (1) Georgios Plataniotis, Sybren de Kinderen, Qin Ma, Erik Proper
2015	J	`jnl`	A generic model decomposition technique and its application to the Eclipse modeling framework. Softw. Syst. Model. Qin Ma, Pierre Kelsen, Christian Glodt
2015	J	`jnl`	Algorithms for tractable compliance problems. Frontiers Comput. Sci. Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre
2015	—	`ed.`	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 BMMDS/EMMSAD Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, Sérgio Guerreiro, Qin Ma
2015	J	`jnl`	Requirements engineering for the design of conceptual modeling languages. Appl. Ontology Sybren de Kinderen, Qin Ma
2015	B	`conf`	Traceability and modeling of requirements in enterprise architecture from a design rationale perspective. RCIS Georgios Plataniotis, Qin Ma, Erik Proper, Sybren de Kinderen
2014	—	`conf`	Combining Models with Code: A Tale of Two Languages. ICGSE Workshops Qin Ma, Sam Schmit, Christian Glodt, Pierre Kelsen
2014	—	`conf`	Towards an analysis driven approach for adapting enterprise architecture languages. EMISA Sybren de Kinderen, Qin Ma
2013	—	`conf`	Algorithms for Basic Compliance Problems. ICST Workshops Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
2011	B	`conf`	CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. EDOC Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller
2011	B	`conf`	Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example. CEC Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller
2011	B	`conf`	Models within Models: Taming Model Complexity Using the Sub-model Lattice. FASE Pierre Kelsen, Qin Ma, Christian Glodt
2010	B	`conf`	A Modular Model Composition Technique. FASE Pierre Kelsen, Qin Ma
2010	—	`conf`	Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD Nuno Amálio, Pierre Kelsen, Qin Ma
2010	J	`jnl`	Using VCL as an Aspect-Oriented Approach to Requirements Modelling. LNCS Trans. Aspect Oriented Softw. Dev. Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt
2009	Misc	`conf`	Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. TASE Pierre Kelsen, Qin Ma
2009	—	`conf`	From platform-independent to platform-specific models using democles. OOPSLA Companion Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma
2008	A	`conf`	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS Pierre Kelsen, Qin Ma
2008	J	`jnl`	Algebraic Pattern Matching in Join Calculus. Log. Methods Comput. Sci. Qin Ma, Luc Maranget
2008	J	`jnl`	Algebraic pattern matching in join calculus CoRR Qin Ma, Luc Maranget
2007	B	`conf`	Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS Burak Emir, Qin Ma, Martin Odersky
2006	—	`conf`	Information Hiding in the Join Calculus. ASIAN Qin Ma, Luc Maranget
2004	B	`conf`	Compiling Pattern Matching in Join-Patterns. CONCUR Qin Ma, Luc Maranget
2003	B	`conf`	Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS Qin Ma, Luc Maranget