Alexander Tchitchigin

According to our database1, Alexander Tchitchigin authored at least 8 papers between 2016 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Towards Static Type-checking for Jolie.
CoRR, 2017

Verified type checker for Jolie programming language.
CoRR, 2017

2016
A Cognitive Architecture for the Implementation of Emotions in Computing Systems.
CoRR, 2016

Neuromorphic Robot Dream.
CoRR, 2016

Refinement types in Jolie.
CoRR, 2016

Usability of AutoProof: a case study of software verification.
CoRR, 2016

Jolie Community on the Rise.
Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016

Robot Dream.
Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2016


  Loading...