default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ICTERI 2013: Kherson, Ukraine - Revised Selected Papers
- Vadim Ermolayev
, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych:
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. Communications in Computer and Information Science 412, Springer 2013, ISBN 978-3-319-03997-8
Invited Contributions
- Wolf-Ekkehard Matzke:
Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy. 1-19 - Alexander A. Letichevsky:
Theory of Interaction, Insertion Modeling, and Cognitive Architectures. 20-40 - Gary L. Pratt:
From Collegial to Collaborative - A Model for Building Trust and Partnership in Information Technology. 41-49
Systems, Infrastructures, and Integration
- Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova:
An Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities Domain. 50-69 - Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko:
Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools. 70-92 - Anastasiia Varava, Grygoriy Zholtkevych:
Asymptotical Information Bound of Consecutive Qubit Binary Testing. 93-111 - Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov:
Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study. 112-135
Semantics, Knowledge Engineering and Management
- Olga Tatarintseva, Vadim Ermolayev, Brita Keller, Wolf-Ekkehard Matzke:
Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics. 136-162 - Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok:
Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings. 163-189 - Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych:
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. 190-209
ICT in Teaching Methodologies and Didactics
- Michael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen:
How Do Computer Science Students Use Distributed Version Control Systems? 210-228 - Nataliya Kushnir, Anna Manzhula, Nataliya Valko:
Bridging the Generation Gap in ICT Education. 229-251 - Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov:
Three-Subjective Didactic Model. 252-273 - Mariya Shyshkina:
Emerging Technologies for Training of ICT-Skilled Educational Personnel. 274-284
Model-Driven Software Development and Verification
- Yuliia Romenska, Frédéric Mallet:
Improving the Efficiency of Synchronized Product with Infinite Transition Systems. 285-307 - Ievgen Ivanov:
On Existence of Total Input-Output Pairs of Abstract Time Systems. 308-331 - Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov:
Specializations in Symbolic Verification. 332-354 - Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner:
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. 355-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
