Alexander Chichigin

Cited by

	All	Since 2016
Citations	121	118
h-index	7	7
i10-index	4	4

20162017201820192020202119 49 21 13 8 4

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Manuel MazzaraDirector of Institute of Software Development and EngineeringVerified email at innopolis.ru
Max Talanovdocent at ITIS KFUVerified email at kpfu.ru
Larisa SafinaPostdoc, INRIAVerified email at inria.fr
Dr. Salvatore DistefanoAssociate Professor, Computer Science and Engineering, University of Messina, ItalyVerified email at unime.it
Jordi VallverdúICREA Acadèmia Professor at UABVerified email at uab.cat
Victor RiveraLecturer at Australian National UniversityVerified email at anu.edu.au
Marco MancaSenior Research Fellow [Medical Applications] @ CERNVerified email at cern.ch
Ildar NurgalievMachine Learning EngineerVerified email at innopolis.ru
Fons RademakersCERNVerified email at cern.ch
Leonard JohardPostdoctoral researcher, Innopolis UniverisityVerified email at innopolis.ru
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Marcus KaiserProfessor of Neuroinformatics, School of Medicine, University of Nottingham, UKVerified email at nottingham.ac.uk
roman bauerEPSRC UKRI Innovation Fellow, LecturerVerified email at surrey.ac.uk
Daniel de CarvalhoInnopolis UniversityVerified email at innopolis.ru
Mansur KhazeevInnopolis UniversityVerified email at innopolis.ru
Mohamed ElwakilUniversity of CincinnatiVerified email at uc.edu

Alexander Chichigin

TU Delft

Verified email at tudelft.nl

PLT Software Verification Formal Methods Static Program Analysis


Title Sort by citations Sort by year Sort by 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	48	2016
Refinement types in jolie A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera arXiv preprint arXiv:1602.06823, 2016	14	2016
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	13	2016
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	12	2017
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	9	2016
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	7	2017
Robot dream A Tchitchigin, M Talanov, L Safina, M Mazzara Agent and Multi-Agent Systems: Technology and Applications, 291-298, 2016	7	2016
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	1	2016
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

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors