Ivaylo Hristakiev

According to our database, Ivaylo Hristakiev authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Confluence analysis for a graph programming language.

Ivaylo Hristakiev

PhD thesis, 2018

2017

A Unification Algorithm for GP 2 (Long Version).

Ivaylo Hristakiev, Detlef Plump

CoRR, 2017

Checking Graph Programs for Confluence.

Ivaylo Hristakiev, Detlef Plump

Proceedings of the Software Technologies: Applications and Foundations, 2017

2016

Towards Critical Pair Analysis for the Graph Programming Language GP 2.

Ivaylo Hristakiev, Detlef Plump

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem.

Ivaylo Hristakiev, Detlef Plump

Proceedings of the Software Technologies: Applications and Foundations, 2016

2014

A Unification Algorithm for GP 2.

Ivaylo Hristakiev, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014