Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

8th ICTERI 2012: Kherson, Ukraine - Revised Selected Papers

> Home > Conferences and Workshops > ICTERI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icteri/2012s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2012s
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych:
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Communications in Computer and Information Science 347, Springer 2013, ISBN 978-3-642-35736-7

Invited Contribution

- view
  authority control:
- export record
  dblp key:
  - conf/icteri/BaklanovaS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/BaklanovaS12
Nadezhda Baklanova, Martin Strecker:
Abstraction and Verification of Properties of a Real-Time Java. 1-18

ICT Frameworks, Infrastructures, Integration, and Deployment

- view
  authority control:
- export record
  dblp key:
  - conf/icteri/AlobaidiBZ12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/AlobaidiBZ12a
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych:
Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems. 19-38
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/DoroshenkoZ12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/DoroshenkoZ12a
Anatoliy Doroshenko, Kostiantyn Zhereb:
Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models. 39-59
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/SpivakovskyAA12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/SpivakovskyAA12a
Alexander Spivakovsky, Lyudmila Alferova, Eugene Alferov:
University as a Corporation Which Serves Educational Interests. 60-71

Formal Logic and Knowledge-Based Frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/icteri/Nagy12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/Nagy12a
Michal Nagy:
A Multi-channel Communication Framework. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/NikitchenkoT12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/NikitchenkoT12a
Mykola S. Nikitchenko, Valentyn G. Tymofieiev:
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. 89-110
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/Ivanov12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/Ivanov12a
Ievgen Ivanov:
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. 111-130

ICT-Based Systems Modeling, Specification, and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/icteri/DjeddaiMS12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/DjeddaiMS12a
Selma Djeddai, Mohamed Mezghiche, Martin Strecker:
Combining Verification and MDE Illustrated by a Formal Java Development. 131-148
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetichevskyLP12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP12a
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. 149-164
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/ZaretskaKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/ZaretskaKM12
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko:
Cross-Diagram UML Design Verification. 165-176

ICT in Teaching and Learning

- view
  authority control:
- export record
  dblp key:
  - conf/icteri/ErmolayevKB12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/ErmolayevKB12a
Vadim Ermolayev, Natalya Keberle, Sergey Borue:
Coursework Peer Reviews Increase Students' Motivation and Quality of Learning. 177-194
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/Gavrilova12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/Gavrilova12a
Lyudmila Gavrilova:
Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers. 195-211
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LavrischevaO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LavrischevaO12
Ekaterina Lavrischeva, Alexei Ostrovski:
General Disciplines and Tools for E-Learning Software Engineering. 212-229
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/KushnirM12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/KushnirM12a
Nataliya Kushnir, Anna Manzhula:
Formation of Digital Competence of Future Teachers of Elementary School. 230-243

a service of

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.