Pavel Zaichenkov

According to our database, Pavel Zaichenkov authored at least 7 papers between 2014 and 2020.

Collaborative distances:

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

2020

Non-local configuration of component interfaces by constraint satisfaction.

Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko

Constraints An Int. J., 2020

2017

A method for consistent non-local configuration of component interfaces.

Pavel Zaichenkov

PhD thesis, 2017

2016

The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, Bert Gijsbers, Clemens Grelck

Parallel Process. Lett., 2016

Configuring Cloud-Service Interfaces Using Flow Inheritance.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Constraint Satisfaction Method for Configuring Non-local Service Interfaces.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Constraint Satisfaction in Coordinating Components Interfaces.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

CoRR, 2015

2014

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.

Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alex Shafarenko

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014