![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 19 matches
- 2017
- Ivan Sergienko, Philip Andon:
Proceedings of the 9th International Conference of Programming, Kyiv, Ukraine, May 20-22, 2014. CEUR Workshop Proceedings 1843, CEUR-WS.org 2017 [contents] - 2014
- Valeriy Akulovskiy, Anatoliy Doroshenko:
Согласованное описание алгоритмов в рамках алгебраического аппарата (Coordinated description of algorithms within the framework of algebraic vehicle). UkrPROG 2014: 29-37 - Inna Chystiakova:
Онтолого-ориеентированная интеграция данных в Семантическом Вебе (Ontology-oriented data integration on the Semantic Web). UkrPROG 2014: 188-196 - Anatoliy Doroshenko, Olexiy Beketov, Vitaliy Prusov, Yurii Tyrchak, Olena Yatsenko:
Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди (Formalized designing and generation of parallel program for numerical weather forecasting task). UkrPROG 2014: 72-81 - Irina Glushko:
Формальна семантика агрегатних операцій мультимножинної табличної алгебри (A formal semantics of aggregate operations of multiset table algebra). UkrPROG 2014: 166-173 - Andrey Glybovets:
Пошукова система наукових матеріалів українською мовою із соціальною складовою (Specialized search engine system of scientific materials in Ukrainian language with social aspects). UkrPROG 2014: 312-317 - Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko:
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems). UkrPROG 2014: 146-150 - Natalia Komlevaya, Aleksandr Komlevoy, Kyrylo Chernega:
Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования (Designing of the specialized computer system for making pulmonology diagnosis). UkrPROG 2014: 253-262 - Iurii Krak, Olexander Barmak, Sergii Romanyshyn:
Автоматизований переклад з української мови на українську жестову мову: алгоритмична реалізація (Automated translation from ukrainian to sign language: algorithmic implementation). UkrPROG 2014: 285-294 - Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov:
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language). UkrPROG 2014: 295-302 - Grigorii Moroz, Andey Plys:
Регрессивное тестирование: методы и будущие направления исследований (Regression testing: techniques and future research directions). UkrPROG 2014: 133-145 - Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). UkrPROG 2014: 17-28 - Alexander V. Palagin, Nikolay Petrenko, Vitalii Velychko, Kiril Malakhov:
Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения" (Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"). UkrPROG 2014: 221-232 - Serhei Pashko:
NP-трудность задач оптимизации коллективного преследования (NP-hardness of collective pursuiting optimization problems). UkrPROG 2014: 44-51 - Alexandr Popov, Olga Rudich:
Блочний алгоритм перетворень Хаусхолдера для комп'ютерів гібридної архітектури (Block algorithm for Householder transformations for hybrid architecture computers). UkrPROG 2014: 99-106 - Vladimir Taranukha:
Евристичний алгоритм морфолексичного аналізу для невідомих слів (Heuristic algorithm of morpholexical analysys of unknown words). UkrPROG 2014: 279-284 - Dmytro Terletskyi, Olexander Provotar:
Mathematical foundations for designing and development of intelligent systems of information analysis. UkrPROG 2014: 233-241 - Andriy Yalovets:
Методы моделирования поведения агентов в мультиагентной системе «Навигация» (Methods of simulation of behavior of agents in multi-agent system "Navigation"). UkrPROG 2014: 212-220 - Igor Zavadskyi:
Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення (Error correcting code based on finite automaton and representation of numbers in the two-base numeration system). UkrPROG 2014: 205-211
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-02 01:16 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