Robot Dream. - Alexander Tchitchigin; Max Talanov; Larisa Safina; Manuel Mazzara (KES-AMSTA, 2016)

Jolie Community on the Rise. - Alexey Bandura; Nikita Kurilenko; Manuel Mazzara; Victor Rivera; Larisa Safina; Alexander Tchitchigin (SOCA, 2016)

Usability of AutoProof: a case study of software verification. - Mansur Khazeev; Victor Rivera; Manuel Mazzara; Alexander Tchitchigin (CoRR, 2016)

Refinement types in Jolie. - Alexander Tchitchigin; Larisa Safina; Manuel Mazzara; Mohamed Elwakil; Fabrizio Montesi; Victor Rivera (CoRR, 2016)

Neuromorphic Robot Dream. - Alexander Tchitchigin; Max Talanov; Larisa Safina; Manuel Mazzara (CoRR, 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)

Verified type checker for Jolie programming language. - Evgenii Akentev; Alexander Tchitchigin; Larisa Safina; Manuel Mazzara (CoRR, 2017)

Towards Static Type-checking for Jolie. - Bogdan Mingela; Nikolay Troshkov; Manuel Mazzara; Larisa Safina; Alexander Tchitchigin (CoRR, 2017)