Alexander Tchitchigin

Identifiers

No identifiers captured yet.

Papers (8)

1. Verified type checker for Jolie programming language cs.PL · 2017 · author #2
2. Jolie Static Type Checker: a prototype cs.SE · 2017 · author #5
3. Jolie Community on the Rise cs.PL · 2016 · author #6
4. Neuromorphic Robot Dream cs.AI · 2016 · author #1
5. A Cognitive Architecture for the Implementation of Emotions in Computing Systems cs.AI · 2016 · author #5
6. Usability of AutoProof: a case study of software verification cs.SE · 2016 · author #4
7. Robot Dream cs.RO · 2016 · author #1
8. Refinement types in Jolie cs.SE · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Manuel Mazzara 8 shared papers
• Larisa Safina 6 shared papers
• Max Talanov 3 shared papers
• Victor Rivera 3 shared papers
• Alexey Bandura 1 shared papers
• Bogdan Mingela 1 shared papers
• Daniel de Carvalho 1 shared papers
• Evgenii Akentev 1 shared papers
• Fabrizio Montesi 1 shared papers
• Ildar Nurgaliev 1 shared papers
• Jordi Vallverd\'u 1 shared papers
• Mansur Khazeev 1 shared papers
• Mohamed Elwakil 1 shared papers
• Nikita Kurilenko 1 shared papers
• Nikolay Troshkov 1 shared papers
• Salvatore Distefano 1 shared papers