Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Magdalena Mandl
Hao Mao
Peter Malec
M. Kurihara
Lin Qiu
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MÁRK ASZTALOS
Author Info
Open Visualization
Name
Affiliation
Papers
MÁRK ASZTALOS
Budapest Univ Technol & Econ, Dept Automat & Appl Informat, Budapest, Hungary
22
Collaborators
Citations
PageRank
38
108
10.94
Referers
Referees
References
277
270
149
Search Limit
100
277
Publications (22 rows)
Collaborators (38 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Systematic review of matching techniques used in model-driven methodologies
0
0.34
2020
Detecting subgraph isomorphism with MapReduce.
3
0.37
2017
Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building.
0
0.34
2015
Quality Assured Model-Driven Requirements Engineering and Software Development.
0
0.34
2015
A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs.
0
0.34
2015
Polymorphic Templates: A design pattern for implementing agile model-to-text transformations.
0
0.34
2014
Modeling Cloud Messaging with a Domain-Specific Modeling Language.
0
0.34
2014
Formal specification and analysis of functional properties of graph rewriting-based model transformation.
4
0.41
2013
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations.
1
0.35
2011
Towards Transformation Rule Composition.
0
0.34
2011
Runtime model validation with parallel object constraint language
3
0.43
2011
Towards Automated, Formal Verification of Model Transformations
47
1.73
2010
Towards Formal Analysis of Multi-paradigm Model Transformations
3
0.39
2010
Performance Optimization Of Exhaustive Rules In Graph Rewriting Systems
0
0.34
2010
Verification of Model Transformations to Refactoring Mobile Social Networks
1
0.42
2010
Simplifying model transformation chains by rule composition
3
0.37
2010
Implementing Qvt In A Domain-Specific Modeling Framework
0
0.34
2010
Manual and automated performance optimization of model transformation systems
17
0.99
2010
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models
0
0.34
2009
A formalism for describing modeling transformations for verification
4
0.56
2009
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
22
1.20
2007
Multi-Layer Traffic Engineering Through Adaptive lambda-Path Fragmentation and De-fragmentation
0
0.34
2006
1
