Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/icteri/icteri2013s.bht:"
@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} }
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.