Alexander Tchitchigin
Alexander Tchitchigin
Positive Technologies
Verified email at ptsecurity.com
Title
Cited by
Cited by
Year
A cognitive architecture for the implementation of emotions in computing systems
J Vallverdú, M Talanov, S Distefano, M Mazzara, A Tchitchigin, I Nurgaliev
Biologically Inspired Cognitive Architectures 15, 34-40, 2016
462016
Jolie community on the rise
A Bandura, N Kurilenko, M Mazzara, V Rivera, L Safina, A Tchitchigin
2016 IEEE 9th International Conference on Service-Oriented Computing and …, 2016
142016
Refinement types in jolie
A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera
arXiv preprint arXiv:1602.06823, 2016
132016
The biodynamo project: experience report
R Bauer, L Breitwieser, A Di Meglio, L Johard, M Kaiser, M Manca, ...
Advanced Research on Biologically Inspired Cognitive Architectures, 117-125, 2017
112017
NEUCOGAR: A neuromodulating cognitive architecture for biomimetic emotional AI
J Vallverdu, M Talanov, S Distefano, M Mazzara, M Manca, A Tchitchigin
International Journal of Artificial Intelligence 14 (1), 27-40, 2016
92016
Verified type checker for Jolie programming language
E Akentev, A Tchitchigin, L Safina, M Mazzara
arXiv preprint arXiv:1703.05186, 2017
7*2017
Neuromorphic robot dream
A Tchitchigin, M Talanov, L Safina, M Mazzara
BioNanoScience 7 (1), 199-200, 2017
72017
Robot dream
A Tchitchigin, M Talanov, L Safina, M Mazzara
Agent and Multi-Agent Systems: Technology and Applications, 291-298, 2016
72016
Towards static typechecking for jolie
B Mingela, N Troshkov, M Mazzara, L Safina, A Tchitchigin, ...
arXiv preprint arXiv:1702.07146, 2017
3*2017
Usability of AutoProof: a case study of software verification
M Khazeev, V Rivera, M Mazzara, A Tchitchigin
arXiv preprint arXiv:1605.01663, 2016
12016
Neuromorphic Robot Dream: A Spike Based Reasoning System
A Toschev, M Talanov, A Tchitchigin, S Distefano
2017
PROCEEDINGS-2016 IEEE 9TH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS, SOCA 2016
A Bandura, N Kurilenko, M Mazzara, V Rivera, L Safina, A Tchitchigin, ...
2016
The system can't perform the operation now. Try again later.
Articles 1–12