Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icteri/icteri2013s.bht:"
download as .bib file
@inproceedings{DBLP:conf/icteri/CochezITI13a,
author = {Michael Cochez and
Ville Isom{\"{o}}tt{\"{o}}nen and
Ville Tirronen and
Jonne Itkonen},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {How Do Computer Science Students Use Distributed Version Control Systems?},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {210--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_11},
doi = {10.1007/978-3-319-03998-5\_11},
timestamp = {Thu, 23 Jun 2022 19:58:17 +0200},
biburl = {https://dblp.org/rec/conf/icteri/CochezITI13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/DavidovskyET13a,
author = {Maxim Davidovsky and
Vadim Ermolayev and
Vyacheslav Tolok},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Evaluation of the Ontology Instance Migration Methodology and Solution
in Industrial Settings},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {163--189},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_9},
doi = {10.1007/978-3-319-03998-5\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/DavidovskyET13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/DoroshenkoZY13a,
author = {Anatoliy Doroshenko and
Kostiantyn Zhereb and
Olena Yatsenko},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Developing and Optimizing Parallel Programs with Algebra-Algorithmic
and Term Rewriting Tools},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {70--92},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_5},
doi = {10.1007/978-3-319-03998-5\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/DoroshenkoZY13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Ivanov13a,
author = {Ievgen Ivanov},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {On Existence of Total Input-Output Pairs of Abstract Time Systems},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {308--331},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_16},
doi = {10.1007/978-3-319-03998-5\_16},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/Ivanov13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/KharchenkoOOP13a,
author = {Vyacheslav Kharchenko and
Oleg Odarushchenko and
Valentina Odarushchenko and
Peter T. Popov},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Availability Assessment of Computer Systems Described by Stiff Markov
Chains: Case Study},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {112--135},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_7},
doi = {10.1007/978-3-319-03998-5\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/KharchenkoOOP13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/KryvolapNS13a,
author = {Andrii Kryvolap and
Mykola Nikitchenko and
Wolfgang Schreiner},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Extending Floyd-Hoare Logic for Partial Pre- and Postconditions},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {355--378},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_18},
doi = {10.1007/978-3-319-03998-5\_18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/KryvolapNS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/KushnirMV13a,
author = {Nataliya Kushnir and
Anna Manzhula and
Nataliya Valko},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Bridging the Generation Gap in {ICT} Education},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {229--251},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_12},
doi = {10.1007/978-3-319-03998-5\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/KushnirMV13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Letichevsky13a,
author = {Alexander A. Letichevsky},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Theory of Interaction, Insertion Modeling, and Cognitive Architectures},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {20--40},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_2},
doi = {10.1007/978-3-319-03998-5\_2},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/Letichevsky13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Matzke13a,
author = {Wolf{-}Ekkehard Matzke},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Biotechnology, Synthetic Biology, and {ICT} Define the Emerging Knowledge-Based
Bio-Economy},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {1--19},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_1},
doi = {10.1007/978-3-319-03998-5\_1},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/Matzke13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/PeschanenkoGS13a,
author = {Vladimir S. Peschanenko and
Anton Guba and
Constantin Shushpanov},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Specializations in Symbolic Verification},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {332--354},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_17},
doi = {10.1007/978-3-319-03998-5\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/PeschanenkoGS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Pratt13a,
author = {Gary L. Pratt},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {From Collegial to Collaborative - {A} Model for Building Trust and
Partnership in Information Technology},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {41--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_3},
doi = {10.1007/978-3-319-03998-5\_3},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/Pratt13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/RomenskaM13a,
author = {Yuliia Romenska and
Fr{\'{e}}d{\'{e}}ric Mallet},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Improving the Efficiency of Synchronized Product with Infinite Transition
Systems},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {285--307},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_15},
doi = {10.1007/978-3-319-03998-5\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/RomenskaM13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Shyshkina13a,
author = {Mariya Shyshkina},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Emerging Technologies for Training of ICT-Skilled Educational Personnel},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {274--284},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_14},
doi = {10.1007/978-3-319-03998-5\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/Shyshkina13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/SpivakovskyPSKK13,
author = {Aleksander Spivakovsky and
Lyubov Petukhova and
Evgeniya Spivakovska and
Vera Kotkova and
Hennadiy Kravtsov},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Three-Subjective Didactic Model},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {252--273},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_13},
doi = {10.1007/978-3-319-03998-5\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/SpivakovskyPSKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/TatarintsevaEKM13,
author = {Olga Tatarintseva and
Vadim Ermolayev and
Brita Keller and
Wolf{-}Ekkehard Matzke},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based
Metrics},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {136--162},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_8},
doi = {10.1007/978-3-319-03998-5\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/TatarintsevaEKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/TkachukSG13a,
author = {Nikolay Tkachuk and
Vladyslav Sokol and
Kateryna Glukhovtsova},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {An Integrated Development Framework for Advanced IT-Service Management:
Proof-of-Concept Project in Universities Domain},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {50--69},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_4},
doi = {10.1007/978-3-319-03998-5\_4},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/TkachukSG13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/VaravaZ13a,
author = {Anastasiia Varava and
Grygoriy Zholtkevych},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Asymptotical Information Bound of Consecutive Qubit Binary Testing},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {93--111},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_6},
doi = {10.1007/978-3-319-03998-5\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/VaravaZ13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/ZholtkevychMZZ13,
author = {Grygoriy Zholtkevych and
Fr{\'{e}}d{\'{e}}ric Mallet and
Iryna Zaretska and
Galyna Zholtkevych},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Two Semantic Models for Clock Relations in the Clock Constraint Specification
Language},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
pages = {190--209},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5\_10},
doi = {10.1007/978-3-319-03998-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/ZholtkevychMZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2013s,
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 9th International Conference, {ICTERI}
2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {412},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03998-5},
doi = {10.1007/978-3-319-03998-5},
isbn = {978-3-319-03997-8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icteri/2013s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-08-01 12:02 CEST from data curated 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:
