Alexander Tchitchigin

According to our database, Alexander Tchitchigin authored at least 8 papers between 2016 and 2017.

Collaborative distances:

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

2017

Towards Static Type-checking for Jolie.

Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara, Larisa Safina, Alexander Tchitchigin

CoRR, 2017

Verified type checker for Jolie programming language.

Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara

CoRR, 2017

2016

A Cognitive Architecture for the Implementation of Emotions in Computing Systems.

Jordi Vallverdú, Max Talanov, Salvatore Distefano, Manuel Mazzara, Alexander Tchitchigin, Ildar Nurgaliev

CoRR, 2016

Neuromorphic Robot Dream.

Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara

CoRR, 2016

Refinement types in Jolie.

Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera

CoRR, 2016

Usability of AutoProof: a case study of software verification.

Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin

CoRR, 2016

Jolie Community on the Rise.

Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin

Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016

Robot Dream.

Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara

Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2016