Search dblp for Publications

export results for "toc:db/conf/ukrprog/ukrprog2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ukrprog/Aksenova16,
  author       = {Tetiana Aksenova},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Simulations of hypertrophied heart's hemodynamics},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {254--263},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/254-263.pdf},
  timestamp    = {Mon, 18 Dec 2023 16:58:34 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Aksenova16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/BeketovVMO16,
  author       = {Olexiy Beketov and
                  Evgeniy Vitriak and
                  Igor Myronenko and
                  Olga Ovdii},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Development of meteorological forecasting web portal on multiprocessor
                  platform},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {246--253},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/246-253.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/BeketovVMO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/ChernichenkoKP16,
  author       = {Kateryna Chernichenko and
                  Anastasya Kapkanets and
                  Taras Panchenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Contact center load forecasting and operator schedule planning},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {227--236},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/227-236.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/ChernichenkoKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/DoroshenkoKTZ16,
  author       = {Anatoliy Doroshenko and
                  Volodymir Khavryuchenko and
                  Evgeni Tulika and
                  Kostiantyn Zhereb},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Transformation of the legacy code on Fortran for scalability and cloud
                  computing},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {133--140},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/133-140.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/DoroshenkoKTZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Glushko16,
  author       = {Irina Glushko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Outer Set Operations of Table Algebra of Infinite Tables},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {11--16},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/11-16.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Glushko16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/GubaKP16,
  author       = {Anton Guba and
                  Olexander Kolchin and
                  Stepan Potiyenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {A method for business logic extraction from legacy {COBOL} code of
                  industrial systems},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {17--25},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/17-25.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/GubaKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/KrakBM16,
  author       = {Iurii Krak and
                  Olexander Barmak and
                  Olexander Mazurets},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {The practice investigation of the information technology efficiency
                  for automated definition of terms in the semantic content of educational
                  materials},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {237--245},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/237-245.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/KrakBM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Lytvynenko16,
  author       = {Tetiana Lytvynenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Problem of data analysis and forecasting using decision trees method},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {220--226},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/220-226.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Lytvynenko16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Marchenko16,
  author       = {Olexander Marchenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Machine-learning methods for text named entity recognition},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {150--157},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/150-157.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Marchenko16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Moldavskaya16,
  author       = {Olexandra Moldavskaya},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Method of forming multi-leveled sequential patterns},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {158--163},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/158-163.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Moldavskaya16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/NikitchenkoSS16,
  author       = {Mykola Nikitchenko and
                  Oksana Shkilniak and
                  Stepan S. Shkilniak},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Pure first-order logics of quasiary predicates},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {73--86},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/73-86.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/NikitchenkoSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Novitckiy16,
  author       = {Olexander Novitckiy},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Extension of the {UML} specifications for modeling of the semantic
                  objects},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {211--219},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/211-219.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Novitckiy16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Novokshonov16,
  author       = {Andrey Novokshonov},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Performance analysis of arithmetic algorithms implemented in {C++}
                  and Python programming languages},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {26--31},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/26-31.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Novokshonov16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/OpanasenkoK16,
  author       = {Volodymyr Mykolaevich Opanasenko and
                  Sergyi L. Kryvyi},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Synthesis of multilevel structures with multiple outputs},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {32--37},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/32-37.pdf},
  timestamp    = {Thu, 08 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ukrprog/OpanasenkoK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/OstapovskaPPK16,
  author       = {Yulia Ostapovska and
                  Taras Panchenko and
                  Nataliya Polishchuk and
                  Mykita Kartavov},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Correctness Property Proof for the Banking System for Money Transfer
                  Payments},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {119--132},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/119-132.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/OstapovskaPPK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/PaulinKM16,
  author       = {Oleg Paulin and
                  Natalia Komlevaya and
                  Stanislav Marulin},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Macro-operations extraction out of computation process array sorting
                  data},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {87--95},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/87-95.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/PaulinKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/PogorilyyS16,
  author       = {Sergiy Pogorilyy and
                  Maxim Slynko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Research and development of Johnson's algorithm parallel schemes in
                  {GPGPU} technology},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {105--112},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/105-112.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/PogorilyyS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/ProvotarVP16,
  author       = {Olexander I. Provotar and
                  Olexiy Vasylenko and
                  Olexander O. Provotar},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Fuzzy probability and fuzzy events},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {170--178},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/170-178.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/ProvotarVP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/ReznichenkoC16,
  author       = {Valeryi Reznichenko and
                  Inna Chistyakova},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Integration of the family of extended description logics with relational
                  data model},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {38--47},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/38-47.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/ReznichenkoC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Rogushina16,
  author       = {Julia Rogushina},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Semantic Wiki resources and their use for the construction of personalized
                  ontologies},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {188--195},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/188-195.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Rogushina16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/RogushinaG16,
  author       = {Julia Rogushina and
                  Irina Grishanova},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Processing of activity of Wiki resources users for development of
                  their ontological model},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {204--210},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/204-210.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/RogushinaG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/ShkilniakV16,
  author       = {Stepan S. Shkilniak and
                  Dmytro Volkovytskyi},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Composition-nominative logics of free-quantifier levels},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {48--62},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/48-62.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/ShkilniakV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/ShynkarenkoK16,
  author       = {Viktor Shynkarenko and
                  Olena Kuropiatnyk},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Constructive-synthesizing model of text graph representation},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {63--72},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/63-72.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/ShynkarenkoK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/TitovDY16,
  author       = {Dmytro Titov and
                  Anatoliy Doroshenko and
                  Olena Yatsenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Automated development of a parallel system for distributed streaming
                  data processing},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {96--104},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/96-104.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/TitovDY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Voloshyn16,
  author       = {Dmytro Voloshyn},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Application of deep learning and computer vision frameworks for solving
                  video context prediction problem},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {164--169},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/164-169.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Voloshyn16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/YershovK16,
  author       = {Sergey Yershov and
                  Felix Kostukevich},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Modeling technology based on fuzzy object-oriented Bayesian belief
                  networks},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {179--187},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/179-187.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/YershovK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/YershovP16,
  author       = {Sergyi Yershov and
                  Roman Ponomarenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Methods of parallel computing for multilevel fuzzy Takagi-Sugeno systems},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {141--149},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/141-149.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/YershovP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Zakharova16,
  author       = {Olga Zakharova},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Usage of AI-planning techniques to solve problems of Web-services
                  composition},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {196--203},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/196-203.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Zakharova16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/Zhygallo16,
  author       = {Andrey Zhygallo},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Peterson's algorithm total correctness proof in {IPCL}},
  booktitle    = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  pages        = {113--118},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631/113-118.pdf},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/Zhygallo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ukrprog/2016,
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {Proceedings of the 10th International Conference of Programming UkrPROG'2016,
                  Kyiv, Ukraine, May 24-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1631},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {http://ceur-ws.org/Vol-1631},
  urn          = {urn:nbn:de:0074-1631-3},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukrprog/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics