Nataliya Skrypnyuk

According to our database¹, Nataliya Skrypnyuk authored at least 3 papers between 2011 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Reachability for Finite-State Process Algebras using Horn Clauses.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2013

2012

Static Analysis of IMC.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

2011

Reachability for Finite-State Process Algebras Using Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 5th International Workshop, 2011