Publications in publications/maximova.bib
15 results
2019
Maria Maximova, "Behavior and Confluence Analysis of $\mathcal{M}$-Adhesive Transformation Systems using $\mathcal{M}$-Functors", Ph.D. dissertation, Technische Universität Berlin, 2019. [bibtex] [url] [doi]
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider, "Metric Temporal Graph Logic over Typed Attributed Graphs", in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 282–298, 2019. [bibtex] [url] [doi]
2018
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", Journal of Logical and Algebraic Methods in Programming, vol. 101, pp. 110 - 131, 2018. [bibtex] [url] [doi]
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider, "Metric Temporal Graph Logic over Typed Attributed Graphs", Technical Report 123, Hasso Plattner Institute at the University of Potsdam, 2018. [bibtex] [url]
2017
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", Technical Report 118, Hasso Plattner Institute at the University of Potsdam, 2017. [bibtex] [url]
Maria Maximova, Holger Giese and Christian Krause, "Probabilistic Timed Graph Transformation Systems", in Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 159–175, 2017. [bibtex] [url] [doi]
2015
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Local Confluence Analysis of Hypergraph Transformation Systems with Application Conditions Based on $\mathcal{M}$-Functors and AGG", Science of Computer Programming, vol. 104, pp. 44–70, 2015. [bibtex] [url] [doi]
2013
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Analysis of Hypergraph Transformation Systems in AGG based on $\mathcal{M}$-Functors: Extended Version", Technical Report 2013/02, TU Berlin, 2013. [bibtex] [url]
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Analysis of Hypergraph Transformation Systems in AGG Based on $\mathcal{M}$-Functors", in Matthias Tichy, Leila Ribeiro, Eds., Proceedings of 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'13), vol. 58, ECEASST, 2013. [bibtex] [url] [doi]
2012
Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann, "Satisfaction, Restriction, and Amalgamation of Constraints in the Framework of $\mathcal{M}$-Adhesive Categories", in Proceedings of 7th Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012, pp. 83–104, 2012. [bibtex] [url] [doi]
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcal{M}$-Functors: Extended Version", Technical Report 2012/08, TU Berlin, 2012. [bibtex] [url]
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcal{M}$-Functors", in Julia Padberg, Kathrin Hoffmann, Eds., Proceedings of 5th International Workshop on Petri Nets and Graph Transformation Systems, vol. 51, pp. 1-12, ECEASST, 2012. [bibtex] [url] [doi]
2011
Maria Maximova, "Formal Relationship between Petri Net and Graph Transformation Systems Based on Functors between $\mathcal{M}$-Adhesive Categories", Mastersthesis, Technische Universität Berlin, Germany, 2011. [bibtex] [url]
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Functors between $\mathcal{M}$-Adhesive Categories Applied to Petri Net and Graph Transformation Systems", Technical Report 2011/04, TU Berlin, 2011. [bibtex] [url]
Maria Maximova, Hartmut Ehrig and Claudia Ermel, "Formal Relationship between Petri Net and Graph Transformation Systems Based on Functors between $\mathcal{M}$-Adhesive Categories", in Claudia Ermel, Kathrin Hoffmann, Eds., Proceedings of 4th International Workshop on Petri Nets and Graph Transformation Systems, vol. 40, ECEASST, 2011. [bibtex] [url] [doi]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser