Karsten Ehrig

Orcid: 0000-0003-0491-7345

According to our database1, Karsten Ehrig authored at least 38 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Ambient occlusion - A powerful algorithm to segment shell and skeletal intrapores in computed tomography data.
Comput. Geosci., 2018

2011
Measurement of micro gears: comparison of optical, tactile-optical, and CT measurements.
Proceedings of the Three-Dimensional Imaging, 2011

2010
Consistent integration of models based on views of meta models.
Formal Aspects Comput., 2010

Graph Modelling and Transformation: Theory meets Practice.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009
Generating instance models from meta models.
Softw. Syst. Model., 2009

Refactoring of Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework.
Proceedings of the ASE 2009, 2009

2008
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Flexible visualization of automatic simulation based on structured graph transformation.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Consistent Integration of Models Based on Views of Visual Languages.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Attributed graph transformation with node type inheritance.
Theor. Comput. Sci., 2007

Model Transformations by Graph Transformation are Functors.
Bull. EATCS, 2007

Information Preserving Bidirectional Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Visualization, Simulation and Analysis of Reconfigurable Systems.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Generating Eclipse Editor Plug-Ins Using Tiger.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

The EMF Model Transformation Framework.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Fundamentals of Algebraic Graph Transformation
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-31188-1, 2006

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Informaticae, 2006

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Informaticae, 2006

Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Object Oriented and Rule-based Design of Visual Languages using Tiger.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

EMF Model Refactoring based on Graph Transformation Concepts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Verification of Model Transformations: A Case Study with BPEL.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Molecular Analysis of Metabolic Pathway with Graph Transformation.
Proceedings of the Graph Transformations, Third International Conference, 2006

Generating Instance Models from Meta Models.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Model Transformation From VisualOCL to OCL Using Graph Transformation.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Towards Model Transformation in Generated Eclipse Editor Plug-Ins.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Generation of visual editors as eclipse plug-ins.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Termination Criteria for Model Transformation.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

Interaktive Segmentierung von Hirninfarkten mittels Snake-Verfahren.
Proceedings of the Bildverarbeitung für die Medizin 2005, Algorithmen - Systeme, 2005

2004
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

View Transformation in Visual Environments applied to Algebraic High-Level Nets.
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Constraints and Application Conditions: From Graphs to High-Level Structures.
Proceedings of the Graph Transformations, Second International Conference, 2004


  Loading...