"Analysis and Correctness of Algebraic Graph and Model Transformations"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Analysis and Correctness of Algebraic Graph and Model Transformations	Ulrike Golas	2011	Vieweg+Teubner Verlag
Algebraic Graph Theory	Chris Godsil; Gordon F. Royle	2001	Springer New York
Algebraic Graph Theory	Norman Biggs	1974-05	Cambridge University Press
Algebraic graph theory	Norman Biggs	1974	Cambridge University Press
Fundamentals of Algebraic Graph Transformation	Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer	2006	Springer Berlin Heidelberg
Graph Symmetry: Algebraic Methods and Applications	Gena Hahn; Gert Sabidussi	1997	Springer Netherlands
Spectral and Algebraic Graph Theory (Draft)	Daniel A. Spielman	2019
Algebraic transformations of infinite series	Walter Thomas Moreland	1938
Topics in Algebraic Graph Theory	Lowell W. Beineke, Robin J. Wilson, Peter J. Cameron	2004	Cambridge University Press
Graph transformations for composite formation	John C. Schwebel		Dept. of Computer Science, University of Illinois;1969.
Algebraic Graph Theory: Morphisms, Monoids and Matrices	Ulrich Knauer; Kolja Knauer	2019	De Gruyter
Algebraic Graph Theory: Morphisms, Monoids and Matrices	Ulrich Knauer	2011	De Gruyter
Algebraic Graph Theory: Morphisms, Monoids and Matrices	Ulrich Knauer	2011	De Gruyter
Algebraic Model Theory	Bradd T. Hart; A. Lachlan; Matthew A. Valeriote	1997	Springer Netherlands
Continuous Transformations in Analysis: With an Introduction to Algebraic Topology	Tibor Rado; Paul V. Reichelderfer	1955	Springer Berlin Heidelberg
Algorithms and data structures: design, correctness, analysis	Jeffrey H. Kingston; Jeffrey Kingston; Brian Cole	1997	Addison-Wesley
Graph Data Model: and Its Data Language	Hideko S. Kunii	1990	Springer Japan
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday	Gregor Engels; Claus Lewerentz; Wilhelm Schäfer; Andy Schürr; Bernhard Westfechtel	2010	Springer Berlin Heidelberg
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday	Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (auth.), Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (eds.)	2010	Springer-Verlag Berlin Heidelberg
Graph and Model Transformation: General Framework and Applications	Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann	1st ed. 2015	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Analysis, Correctness, and Construction of Model Transformations	Ulrike Golas	Analysis and Correctness of Algebraic Graph and Model Transformations	Ulrike Golas	2011	Vieweg+Teubner Verlag
Translating ATL Model Transformations to Algebraic Graph Transformations	Elie Richa; Etienne Borde; Laurent Pautet	Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L' Aquila, Italy, July 20-21, 2015. Proceedings	Dimitris Kolovos; Manuel Wimmer	2015	Springer International Publishing
Algebraic Graph Analysis	Ioannis Pitas	Graph-Based Social Media Analysis	Ioannis Pitas	2016	Routledge
Algebraic Graph Transformations with Inheritance	Michael Löwe; Harald König; Christoph Schulz; Marius Schultchen	Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings	Juliano Iyoda; Leonardo de Moura	2013	Springer Berlin Heidelberg
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation	Hartmut Ehrig; Claudia Ermel	Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings	Hartmut Ehrig; Reiko Heckel; Grzegorz Rozenberg; Gabriele Taentzer	2008	Springer Berlin Heidelberg
Algebraic Model of Network Graph	Andrzej Kłos	Mathematical Models of Electrical Network Systems: Theory and Applications - An Introduction	Andrzej Kłos	1st ed. 2017	Springer International Publishing
Algebraic Graph Transformations for Merging Ontologies	Mariem Mahfoudh; Laurent Thiry; Germain Forestier; Michel Hassenforder	Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings	Yamine Ait Ameur; Ladjel Bellatreche; George A. Papadopoulos	2014	Springer International Publishing
Analysis of Model Transformations	Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann	Graph and Model Transformation: General Framework and Applications	Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann	1st ed. 2015	Springer Berlin Heidelberg
An algebraic model of correctness for superscalar microprocessors	Anthony C. J. Fox; Neal A. Harman	Formal Methods in Computer-Aided Design: First International Conference, FMCAD ' 96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings	Mandayam Srivas; Albert Camilleri	1996	Springer Berlin Heidelberg
Algebraic transformations		ICM-2018, Rio de Janeiro: Proceedings, Vol. 2	Boyan Sirakov, Paulo Ney de Souza, Marcelo Viana	2018	World Scientific Publishing
Algebraic transformations		Machine Learning at Scale with H2O: A practical guide to building and deploying machine learning models on enterprise systems	Gregory Keys, David Whiting	2022	Packt Publishing
Algebraic transformations		Proceedings of the International Congress of Mathematicians Volume 2 Invited lectures (ICM 2018)	Paulo Ney De Souza (editor); Boyan Sirakov (editor); Marcelo Viana (editor)	2018
Ensuring Correctness of Model Transformations While Remaining Decidable	Jon Haël Brenas; Rachid Echahed; Martin Strecker	Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings	Augusto Sampaio; Farn Wang	1st ed. 2016	Springer International Publishing
Graph Transformations		AS & A-level further maths, exam board: Edexcel	coll	2018	Coordination Group Publications Ltd (CGP)
Graph Transformations		Head Start to A-Level Maths (CGP A-Level Maths)		2021	CGP Books
Graph transformations;		AP physics 1 essentials: an APlusPhysics guide	Dan Fullerton	2014	Silly Beagle Productions
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars	Hartmut Ehrig; Claudia Ermel; Frank Hermann; Ulrike Prange	Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings	Andy Schürr; Bran V. Selic	2009	Springer Berlin Heidelberg
Correctness • Analysis		Algorithms	Erickson, Jeff	2019	Independently published
Correctness of Incremental Model Synchronization with Triple Graph Grammars	Fernando Orejas; Elvira Pino	Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings	Davide Di Ruscio; Dániel Varró	2014	Springer International Publishing
Correctness of Model Synchronization Based on Triple Graph Grammars	Frank Hermann; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki; Zinovy Diskin; Yingfei Xiong	Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings	Jon Whittle; Tony Clark; Thomas Kühne	2011	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Analysis and Correctness of Algebraic Graph and Model Transformations" - similar Books and Chapters