| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vyacheslav S. Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov |
Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains.  |
ICTERI  |
2013 |
DBLP BibTeX RDF |
|
| 1 | Elena Lazareva |
Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' Context. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Victor Selyutin, Margarita Rudenko |
Mathematical Model of Banking Firm as Tool for Analysis, Management and Learning. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vitaliy Kobets |
Mechanism Design for Foreign Producers of Unique Homogeneity Product. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Igor Ol. Blinov |
Implementation of Propagation-Based Constraint Solver in IMS. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina |
Pedagogical Diagnostics with Use of Computer Technologies. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner |
Program Algebras with Monotone Floyd-Hoare Composition. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Daniel Sitzmann, Dietmar P. F. Möller, Karsten Becker, Harald Richter 0001 |
TIO - a Software Toolset for Mobile Learning in MINT Disciplines. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alexander A. Letichevsky |
General Theory of Interaction and Cognitive Architectures. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Leonid Vasylevych, Ivan Iurtyn |
Quantitative Estimation of Competency as a Fuzzy Set. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Aleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz |
Modeling, Algorithms and Implementation of the Microcontroller Control System for the Ion Beam Forming Process for Nanostructures Etching. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mariya Shyshkina |
Holistic Approach to Training of ICT Skilled Educational Personnel. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vadim Ermolayev, Maxim Davidovsky |
Ontology Alignment and Applications in 90 Minutes. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Denis B. Arkatov |
A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Oleksandr Baiev, Valentine Lazurik, Ievgen Didenko |
Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron Accelerators. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mathias Winckel, Ralph Matthes |
On a Dynamic Logic for Graph Rewriting. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Eugene Alferov, Vadim Ermolayev |
Extracting Knowledge Tokens from Text Streams. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova |
An Intelligent Approach to Increase Efficiency of IT-Service Management Systems: University Case-Study. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov |
Comparative Analysis of Learning in Three-Subjective Didactic Model. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov |
UniTESK: Component Model Based Testing. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Chaabani, Rachid Echahed, Martin Strecker |
Logical Foundations for Reasoning about Transformations of Knowledge Bases. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Dmitriy Buy, Serhiy Kompan |
Models of Class Specification Intersection of Object-Oriented Programming. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Olga Tatarintseva, Vadim Ermolayev |
Refining an Ontology by Learning Stakeholder Votes from their Texts. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
Wireframe Model for Simulating Quantum Information Processing Systems. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Evgeny Beletsky, Anatoly Beletsky |
Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet |
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Michael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen |
The Use of Distributed Version Control Systems in Advanced Programming Courses. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko (eds.) |
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013 |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok |
Application of an Instance Migration Solution to Industrial Ontologies. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Irina Mikhailova, Boris Novikov 0002, Grygoriy Zholtkevych |
Protoautomata as Models of Systems with Data Accumulation. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Gary L. Pratt |
A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Anastasiia Varava, Grygoriy Zholtkevych |
Asymptotical Information Bound of Consecutive Qubit Binary Testing. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Karine Mesropyan |
Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency Estimation. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Natalia V. Morze, Olena Kuzminska, Galyna Protsenko |
Public Information Environment of a Modern University. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alexander J. Weissblut |
Econometric Analysis on the Site "Lesson Pulse". |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alexsander Beletsky, Anatoly Beletsky, Roman Kandyba |
Matrix Analogues of the Diffie-Hellman Protocol. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Kukharenko |
Designing Massive Open Online Courses. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Nataliya Kushnir, Anna Manzhula, Nataliya Valko |
New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko |
Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Nadezhda Baklanova, Martin Strecker |
A Formal Model of Resource Sharing Conicts in Multithreaded Java. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov |
Specializations and Symbolic Modeling. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Ievgen Ivanov |
An Abstract Block Formalism for Engineering Systems. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Dmitriy M. Klionov |
Multilevel Environments in Insertion Modeling System. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Andriy Semenyuk |
Applying of Fuzzy Logic Modeling for the Assessment of ERP Projects Efficiency. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Oksana Moiseeva, Sergey Mazol |
How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment Policy. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Elena Mantula, Vladimir Mashtalir |
An Adaptive Forecasting of Nonlinear Nonstationary Time Series under Short Learning Samples. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Wolf-Ekkehard Matzke |
The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology and ICT. |
ICTERI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vitaly Klimenko, Alexander V. Lyaletski |
Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Strecker |
Abstraction and Verification of Properties of a Real-Time Java. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michal Nagy |
On the Problem of Multi-Channel Communication. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
A Case Study in Combining Formal Verification and Model-Driven Engineering. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Natalya Keberle, Ivan V. Utkin |
Teaching Conceptual Modeling in ER: Chen Worlds. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vadim Ermolayev, Natalya Keberle, Sergey Borue |
Motivating Students and Improving Quality of Learning Using Peer-Reviews. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Lyudmila Gavrilova |
Creation of Multimedia Guides to the History of Music as a Means to form Professional Competence of Future Music Teachers. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Anatoly E. Doroshenko, Kostiantyn Zhereb |
An Approach to Parallelizing Fortran Programs using Rewriting Rules Technique. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mykola S. Nikitchenko, Stepan S. Shkilniak |
Semantics-based Logics over Hierarchical Nominative Data. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Olga Tatarintseva, Yuriy Borue, Vadim Ermolayev |
OntoElect Approach for Iterative Ontology Refinement: a Case Study with ICTERI Scope Ontology. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
Efficient Algorithm for Reachability Checking in Modeling. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ievgen Ivanov |
On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Hudák |
Verification of Systems: Deadlock Analysis Based on Petri Nets. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Iryna Zaretska, Maryna Besedina |
Maintainability Metrics of UML Design. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Kutetsky, Valentina Gritsyuk |
KSU Feedback Service as a Tool for Getting Feedback in Educational Institutions. Perspectives of Use in Government Organizations and Commercial Companies. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Cochez, Vagan Y. Terziyan |
Quality of an Ontology as a Dynamic Optimisation Problem. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ekaterina Lavrischeva, Alexei Ostrovski, Igor Radetskiy |
Approach to E-Learning Fundamental Aspects of Software Engineering. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Inna Khizhnyak |
Training of Future Primary School Teachers for Application of ICT at Language Lessons. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vitaliy Kobets |
Direct and Indirect Impact Analysis of Ukrainian Industries on Gross Output and Labor Market in Leontief Model. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Maxim Davidovsky, Gennadiy Dobrovolsky, Olga Todoriko, Vladimir Davidovsky |
An Advanced Active Data Dictionary Based Framework for Flexible Corporate Systems. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |
Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tatyana Zaytseva |
The Usage of Educational Portal for Distance Learning. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok |
An Implementation of Agent-Based Ontology Alignment. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko |
Checking Inconsistencies in UML Design. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrii Kolesnyk, Olga Slabospitskaya |
Tested Approach for Variability Management Enhancing in Software Product Line. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
Towards the Notion of an Abstract Quantum Automaton. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan Baca |
Decomposition and Isomorphism of Logical Systems. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Aleksander Spivakovsky, Lyudmila Alferova, Eugene Alferov |
Conceptualization of University Structure as a Complex Mechanism Serving Educational Interests. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dmitriy M. Klionov |
Combinatorial Strand Algebra in Insertion Modeling System. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Olga Cherednichenko, Olga Yangolenko, Iryna Liutenko |
Issues of Model-Based Distributed Data Processing: Higher Education Resources Evaluation Case Study. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets (eds.) |
Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012 |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou |
Formal Foundations for RDF Evolution and Repair. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | A. Khristenko, Alexander J. Weissblut |
Econometric Analysis of Factors which Determine a Choice of Entrants. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Natalya Zadorozhna, Basyl Petrushko, Sergey Tukalo |
The Information System as a Tool to Manage R&D at the National Academy of Pedagogical Sciences of Ukraine. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ganna Lomakovska, Nadiya Omelchenko, Galyna Protsenko |
Scientific and Educational Project "IT-OSVITA" as a Part of the Training System of Specialists for the Needs of IT Industry of Ukraine. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dmytro Kravtsov |
Automatic Tests and Practical Tasks Generation in Distance Learning Systems. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vladyslav Kruglyk, Michael Lvov |
Choosing the First Educational Programming Language. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nataliya Kushnir, Anna Manzhula |
An Experience of the Creation and Approbation of the Learning Course "NIT and TFE" for Future Teachers. |
ICTERI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Mikhail Zavileysky, Grygoriy Zholtkevych (eds.) |
Proceedings of the 7th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, May 4-7, 2011 |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych |
Practice in Software Engineering Course: "What and How to Study". |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hennadiy Kravtsov |
Design and Implementation of a Quality Management System for Electronic Training Information Resources. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tatyana Vlasova, Marina Vladymyrova, Dmitro Shabanov |
Simulation of the Expanded Iterated Version of the Prisoner's Dilemma Game. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Olga Tatarintseva, Vadim Ermolayev, Anna Fensel |
Is Your Ontology a Burden or a Gem? - Towards Xtreme Ontology Engineering. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mykola Nikitchenko |
Gnoseology-based Approach to Foundations of Informatics. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nikolay Tkachuk, Alexey Vekshin, Konstantyn Nagornyi, Rustam Gamzayev |
A Lightweight Approach to Contact Data Synchronization in Mobile Social Networks. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Costin Badica, Mihnea Scafes, Sorin Ilie, Amelia Badica, Alex Muscar |
Dynamic Negotiations in Multi-Agent Systems. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexander A. Letichevsky |
Insertion Modeling and its Applications. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Abdel-Badeeh M. Salem |
Intelligent Technologies and Methodologies for Medical Knowledge Engineering. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Integrated University Information Systems and Information System Strategy. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dmitriy Litvinov |
On Optimization Criteria for Task Assignment in Cluster and Wide-Area Computing. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dmitriy E. Shchedrolosev |
Influence of the Labor Market upon the Forming of Competence of Future IT Specialists. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Evgen Kozlovsky, Hennadiy Kravtsov |
Virtual Laboratory for Distance Learning: Conceptual Design and Technology Choices. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Boris Novikov 0002, Ivan Perepelytsya, Grygoriy Zholtkevych |
Pre-automata as Mathematical Models of Event Flow Recognizers. |
ICTERI |
2011 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license