![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
9th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.