Evgeny A. Cherkashin

Orcid: 0000-0003-2428-2471

According to our database1, Evgeny A. Cherkashin authored at least 19 papers between 1998 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Web-GIS viewer for active faults data represented as a knowledge graph.
Proceedings of the Proceedings for 4th Scientific-practical Workshop Information Technologies: Algorithms, 2021

2020
Towards lightweight representation of the table semantics for the cross-context information exchange.
Proceedings of the 3rd Scientific-practical Workshop Information Technologies: Algorithms, 2020

Construction techniques of Baikal microbiome research information-computational environment.
Proceedings of the 1st International Workshop on Advanced Information and Computation Technologies and Systems, 2020

2019
Digital Archives Supporting Document Content Inference.
Proceedings of the 42nd International Convention on Information and Communication Technology, 2019

Towards End-to-End Transformation of Arbitrary Tables from Untagged Portable Documents (PDF) to Linked Data.
Proceedings of the Proceedings for the 2nd Scientific-practical Workshop Information Technologies: Algorithms, 2019

2018
Моделирование влияния природных и антропогенных факторов на леса Иркутской области (Modeling the contribution of natural and anthropogenic factors on the forests in Irkutsk region, Russia).
Proceedings of the Proceedings for First Scientific-practical Workshop Information Technologies: Algorithms, 2018

A computational independent model for a medical quality management information system.
Proceedings of the Proceedings for First Scientific-practical Workshop Information Technologies: Algorithms, 2018

TabbyPDF: Web-Based System for PDF Table Extraction.
Proceedings of the Information and Software Technologies - 24th International Conference, 2018

Model Driven Architecture Implementation Using Linked Data.
Proceedings of the Information and Software Technologies - 24th International Conference, 2018

2016
Control flow graph visualization in compiled software engineering.
Proceedings of the 39th International Convention on Information and Communication Technology, 2016

Positive constructed formulas preprocessing for automatic deduction.
Proceedings of the 39th International Convention on Information and Communication Technology, 2016

2014
An optimal control module of sustainable natural resources consumption control synthesis for decision support systems.
Proceedings of the 37th International Convention on Information and Communication Technology, 2014

2012
Extraction of thesaurus and project structure from Linux kernel source tree.
Proceedings of the 2012 Proceedings of the 35th International Convention, 2012

New transformation approach for Model Driven Architecture.
Proceedings of the 2012 Proceedings of the 35th International Convention, 2012

2011
On the calculus of positively constructed formulas for automated theorem proving.
Autom. Control. Comput. Sci., 2011

Information modeling of business processes in X-ray fluorescent analysis.
Proceedings of the MIPRO, 2011

Theorem proving software, based on method of positively-constructed formulae.
Proceedings of the MIPRO, 2011

1999
New Logics for Intelligent Control.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998
Telescope guidance via automatic theorem proving.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998


  Loading...