Login / Signup
Olena Shyshatska
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 3
Top Topics
Networked Learning
Raw Data
Educational Contexts
Higher Education
Top Venues
ICTERI
ICTERI (Revised Selected Papers)
ICTERI Workshops
</>
Publications
</>
Liudmyla Omelchuk
,
Olena Shyshatska
Extending the SMT-Lib Standard with Theory of Nominative Data.
ICTERI Workshops
(2019)
Liudmyla Omelchuk
,
Olena Shyshatska
SMT-LIB Theory of Nominative Data.
ICTERI (Revised Selected Papers)
(2019)
Liudmyla Omelchuk
,
Nataliia Rusina
,
Olena Shyshatska
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements.
ICTERI
(2019)