Karsten Ehrig
Orcid: 0000-0003-0491-7345
According to our database1,
Karsten Ehrig
authored at least 38 papers
between 2004 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Formal Aspects Comput., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
2009
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
Proceedings of the Fundamental Approaches to Software Engineering, 2008
2007
Theor. Comput. Sci., 2007
Model Transformations by Graph Transformation are Functors.
Bull. EATCS, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
Proceedings of the International Workshop on Graph and Model Transformation, 2005
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
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
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
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004