Search dblp for Publications

export results for "toc:db/conf/icteri/icteri2012s.bht:"

 download as .bib file

@proceedings{DBLP:conf/icteri/2012s,
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35737-4},
  doi          = {10.1007/978-3-642-35737-4},
  isbn         = {978-3-642-35736-7},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/2012s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/AlobaidiBZ12a,
  author       = {Mizal Alobaidi and
                  Andriy Batyiv and
                  Grygoriy Zholtkevych},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Abstract Quantum Automata as Formal Models of Quantum Information
                  Processing Systems},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {19--38},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_2},
  doi          = {10.1007/978-3-642-35737-4\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/AlobaidiBZ12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/BaklanovaS12,
  author       = {Nadezhda Baklanova and
                  Martin Strecker},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Abstraction and Verification of Properties of a Real-Time Java},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_1},
  doi          = {10.1007/978-3-642-35737-4\_1},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/BaklanovaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/DjeddaiMS12a,
  author       = {Selma Djeddai and
                  Mohamed Mezghiche and
                  Martin Strecker},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Combining Verification and {MDE} Illustrated by a Formal Java Development},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {131--148},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_8},
  doi          = {10.1007/978-3-642-35737-4\_8},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/DjeddaiMS12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/DoroshenkoZ12a,
  author       = {Anatoliy Doroshenko and
                  Kostiantyn Zhereb},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique
                  and Algebraic Program Models},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {39--59},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_3},
  doi          = {10.1007/978-3-642-35737-4\_3},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/DoroshenkoZ12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/ErmolayevKB12a,
  author       = {Vadim Ermolayev and
                  Natalya Keberle and
                  Sergey Borue},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Coursework Peer Reviews Increase Students' Motivation and Quality
                  of Learning},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {177--194},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_11},
  doi          = {10.1007/978-3-642-35737-4\_11},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/ErmolayevKB12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/Gavrilova12a,
  author       = {Lyudmila Gavrilova},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Influence of Music Art Multimedia Production on Professional Competence
                  of the Future Music Teachers},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {195--211},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_12},
  doi          = {10.1007/978-3-642-35737-4\_12},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/Gavrilova12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/Ivanov12a,
  author       = {Ievgen Ivanov},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic
                  Markovian Systems},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {111--130},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_7},
  doi          = {10.1007/978-3-642-35737-4\_7},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/Ivanov12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/KushnirM12a,
  author       = {Nataliya Kushnir and
                  Anna Manzhula},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Formation of Digital Competence of Future Teachers of Elementary School},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {230--243},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_14},
  doi          = {10.1007/978-3-642-35737-4\_14},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/KushnirM12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/LavrischevaO12,
  author       = {Ekaterina Lavrischeva and
                  Alexei Ostrovski},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {General Disciplines and Tools for E-Learning Software Engineering},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {212--229},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_13},
  doi          = {10.1007/978-3-642-35737-4\_13},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/LavrischevaO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/LetichevskyLP12a,
  author       = {Alexander A. Letichevsky and
                  Olexander A. Letychevskyi and
                  Vladimir S. Peschanenko},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {About One Efficient Algorithm for Reachability Checking in Modeling
                  and Its Implementation},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {149--164},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_9},
  doi          = {10.1007/978-3-642-35737-4\_9},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/LetichevskyLP12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/Nagy12a,
  author       = {Michal Nagy},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {A Multi-channel Communication Framework},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {72--88},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_5},
  doi          = {10.1007/978-3-642-35737-4\_5},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/Nagy12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/NikitchenkoT12a,
  author       = {Mykola S. Nikitchenko and
                  Valentyn G. Tymofieiev},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Satisfiability and Validity Problems in Many-Sorted Composition-Nominative
                  Pure Predicate Logics},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {89--110},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_6},
  doi          = {10.1007/978-3-642-35737-4\_6},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/NikitchenkoT12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/SpivakovskyAA12a,
  author       = {Alexander Spivakovsky and
                  Lyudmila Alferova and
                  Eugene Alferov},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {University as a Corporation Which Serves Educational Interests},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {60--71},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_4},
  doi          = {10.1007/978-3-642-35737-4\_4},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/SpivakovskyAA12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icteri/ZaretskaKM12,
  author       = {Iryna Zaretska and
                  Oleksandra Kulankhina and
                  Hlib Mykhailenko},
  editor       = {Vadim Ermolayev and
                  Heinrich C. Mayr and
                  Mykola S. Nikitchenko and
                  Aleksander Spivakovsky and
                  Grygoriy Zholtkevych},
  title        = {Cross-Diagram {UML} Design Verification},
  booktitle    = {{ICT} in Education, Research, and Industrial Applications - 8th International
                  Conference, {ICTERI} 2012, Kherson, Ukraine, June 6-10, 2012, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {347},
  pages        = {165--176},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35737-4\_10},
  doi          = {10.1007/978-3-642-35737-4\_10},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icteri/ZaretskaKM12.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.