Alexander Tchitchigin

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 10

Top Topics

Intelligent Robots

Hand Eye Calibration

Computer Controlled

Human Behaviour

Top Venues

Publications

Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara, Larisa Safina, Alexander Tchitchigin
Towards Static Type-checking for Jolie. CoRR (2017)
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara
Verified type checker for Jolie programming language. CoRR (2017)
Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
Neuromorphic Robot Dream. CoRR (2016)
Jordi Vallverdú, Max Talanov, Salvatore Distefano, Manuel Mazzara, Alexander Tchitchigin, Ildar Nurgaliev
A Cognitive Architecture for the Implementation of Emotions in Computing Systems. CoRR (2016)
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
Refinement types in Jolie. CoRR (2016)
Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
Robot Dream. KES-AMSTA (2016)
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
Jolie Community on the Rise. SOCA (2016)
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin
Jolie Community on the Rise. CoRR (2016)
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin
Usability of AutoProof: a case study of software verification. CoRR (2016)
Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara
Robot Dream. CoRR (2016)