What is he best known for?
The fields of study he is best known for:
- Programming language
- Software
- Artificial intelligence
Dániel Varró mainly focuses on Graph rewriting, Model transformation, Theoretical computer science, Programming language and Metamodeling. His Graph rewriting study incorporates themes from Model checking, Algorithm, Architectural style and Artificial intelligence. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Graph, Software development, Petri net and Extension.
His work on Abstract semantic graph as part of general Graph research is often related to Model transformation language, thus linking different fields of science. His work on Specification language as part of general Programming language study is frequently connected to Object Query Language, RDF query language and Web query classification, therefore bridging the gap between diverse disciplines of science and establishing a new relationship between them. His work deals with themes such as Operational semantics, Unified Modeling Language, Software architecture, Formal verification and Abstract state machines, which intersect with Metamodeling.
His most cited work include:
- Leveraging Applications of Formal Methods, Verification and Validation (205 citations)
- The model transformation language of the VIATRA2 framework (177 citations)
- VIATRA - visual automated transformations for formal verification and validation of UML models (166 citations)
What are the main themes of his work throughout his whole career to date?
His main research concerns Theoretical computer science, Graph rewriting, Model transformation, Programming language and Graph. His Theoretical computer science research is multidisciplinary, incorporating elements of Artificial intelligence, Pattern matching, Graph, Solver and Null graph. His study in Graph rewriting is interdisciplinary in nature, drawing from both Algorithm, Model checking, Petri net and Abstract state machines.
His Graph study integrates concerns from other disciplines, such as Scalability, SQL, Distributed computing and Data mining. His research in the fields of NoSQL overlaps with other disciplines such as Benchmarking. His study explores the link between Distributed computing and topics such as Complex event processing that cross with problems in Background process and Class.
He most often published in these fields:
- Theoretical computer science (36.24%)
- Graph rewriting (25.69%)
- Model transformation (25.23%)
What were the highlights of his more recent work (between 2016-2021)?
- Graph (27.98%)
- Distributed computing (27.52%)
- Scalability (20.18%)
In recent papers he was focusing on the following fields of study:
Dániel Varró mostly deals with Graph, Distributed computing, Scalability, Theoretical computer science and Programming language. His studies deal with areas such as Test suite, Digital subscriber line and Metamodeling as well as Graph. As a member of one scientific family, he mostly works in the field of Distributed computing, focusing on Worst-case execution time and, on occasion, Data analysis, Graph pattern matching and Resource allocation.
The various areas that Dániel Varró examines in his Scalability study include Middleware, Data Distribution Service, Access control and Benchmark. Dániel Varró applies his multidisciplinary studies on Theoretical computer science and Gesture recognition in his research. As part of his studies on Programming language, Dániel Varró often connects relevant subjects like Code generation.
Between 2016 and 2021, his most popular works were:
- Survey and classification of model transformation tools (37 citations)
- The Train Benchmark: cross-technology performance evaluation of continuous model queries. (29 citations)
- The Train Benchmark: cross-technology performance evaluation of continuous model queries. (29 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Software
- Artificial intelligence
His primary areas of study are Graph, Distributed computing, Scalability, Metamodeling and Cyber-physical system. His Graph research is classified as research in Programming language. Dániel Varró studied Scalability and Graph database that intersect with Software tool and Fault injection.
The Metamodeling study combines topics in areas such as Theoretical computer science, Relational database, Data mining, Validation rule and Benchmark. His Theoretical computer science study combines topics from a wide range of disciplines, such as Software, Solver, Design space exploration and Graph. His Digital subscriber line research integrates issues from Machine learning, Test suite, Software testing, Artificial intelligence and Iterative and incremental development.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
