default search action
Search dblp for Publications
export results for "toc:db/conf/icteri/icteri2015s.bht:"
@proceedings{DBLP:conf/icteri/2015s, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30246-1}, doi = {10.1007/978-3-319-30246-1}, isbn = {978-3-319-30245-4}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/2015s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/AlexandruC15a, author = {Andrei Alexandru and Gabriel Ciobanu}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Main Steps in Defining Finitely Supported Mathematics}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {73--90}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_5}, doi = {10.1007/978-3-319-30246-1\_5}, timestamp = {Tue, 16 Aug 2022 23:04:36 +0200}, biburl = {https://dblp.org/rec/conf/icteri/AlexandruC15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/AmanC15a, author = {Bogdan Aman and Gabriel Ciobanu}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {91--108}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_6}, doi = {10.1007/978-3-319-30246-1\_6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/AmanC15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/BaklanovaRSS15a, author = {Nadezhda Baklanova and Wilmer Ricciotti and Jan{-}Georg Smaus and Martin Strecker}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Abstracting an Operational Semantics to Finite Automata}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {109--123}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_7}, doi = {10.1007/978-3-319-30246-1\_7}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/BaklanovaRSS15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/GordieievKF15a, author = {Oleksandr Gordieiev and Vyacheslav Kharchenko and Mario Fusani}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Software Quality Standards and Models Evolution: Greenness and Reliability Issues}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {38--55}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_3}, doi = {10.1007/978-3-319-30246-1\_3}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/GordieievKF15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/SpivakovskyVT15a, author = {Aleksandr Spivakovsky and Maksym Vinnyk and Yulia Tarasich}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Web Indicators of {ICT} Use in the Work of Ukrainian Dissertation Committees and Graduate Schools as Element of Open Science}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {3--19}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_1}, doi = {10.1007/978-3-319-30246-1\_1}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/SpivakovskyVT15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/TkachukNG15a, author = {Mykola Tkachuk and Konstiantyn Nagornyi and Rustam Gamzayev}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Models, Methods and Tools for Effectiveness Estimation of Post Object-Oriented Technologies in Software Maintenance}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {20--37}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_2}, doi = {10.1007/978-3-319-30246-1\_2}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/TkachukNG15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/VolochiyMO15a, author = {Bohdan Y. Volochiy and Bohdan A. Mandziy and Leonid D. Ozirkovskyy}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {The New Method of Building a Safety Model for Quantitative Risk Assessment of Complex Technical Systems for Critical Application}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {56--70}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_4}, doi = {10.1007/978-3-319-30246-1\_4}, timestamp = {Fri, 12 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/VolochiyMO15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/ZaitsevaLKK15a, author = {Elena Zaitseva and Vitaly G. Levashenko and Jozef Kostolny and Miroslav Kvassay}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Analysis of Boundary States of Multi-state System by Direct Partial Logic Derivatives}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {140--155}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_9}, doi = {10.1007/978-3-319-30246-1\_9}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/ZaitsevaLKK15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/Zholtkevych15a, author = {Grygoriy Zholtkevych}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Realisation of Synchronous and Asynchronous Black Boxes Using Machines}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {124--139}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_8}, doi = {10.1007/978-3-319-30246-1\_8}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icteri/Zholtkevych15a.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.