14 школа в долгопрудном: ГЛАВНАЯ | dolschool14

• ¹ Институт химии Макса Планка, Майнц, Германия
• ² Школа наук о Земле и Центр передового опыта ARC в области изучения климатических систем, Мельбурнский университет, Мельбурн, Австралия
• ³ Институт физики атмосферы, Университет Иоганна Гутенберга, Майнц, Германия
• ⁴ Институт атмосферных наук и климата, ISAC-CNR, Рим, Италия
• ⁵ Швейцарский центр электроники и микротехнологии, Невшатель, Швейцария
• ⁶ Laboratoire Temps-Fréquence , Институт физики, Невшательский университет, Невшатель, Швейцария
• ⁷ Институт атмосферных наук и климата, ISAC-CNR, Болонья, Италия
• ⁸ Центральная аэрологическая обсерватория, Долгопрудный, Московская область, Россия

• ¹ Институт химии Макса Планка, Майнц, Германия
• ² Школа наук о Земле и Центр передового опыта ARC в области изучения климатических систем, Мельбурнский университет, Мельбурн, Австралия
• ³ Институт физики атмосферы, Университет Иоганна Гутенберга, Майнц, Германия
• ⁴ Институт атмосферных наук и климата, ISAC-CNR, Рим, Италия
• ⁵ Швейцарский центр электроники и микротехнологии, Невшатель, Швейцария
• ⁶ Laboratoire Temps-Fréquence , Institute de Physique, Université de Neuchâtel, Neuchâtel, Швейцария
• ⁷ Институт атмосферных наук и климата, ISAC-CNR, Болонья, Италия
• ⁸ Central Aerological Observa тори, г. Долгопрудный, Московская обл., Россия

Переписка : W.Фрей ([email protected])

Представленное здесь тематическое исследование фокусируется на жизненном цикле облаков в области наковальни тропической глубокой конвективной системы. Во время кампании SCOUT-O3 из Дарвина, Северная Австралия, штормовая система Гектор была исследована высотным самолетом Geophysica.Облака наблюдались с помощью зондов для частиц, зонда обратного рассеяния и миниатюрного лидара. Кроме того, были измерены числовые концентрации аэрозолей. 30 ноября 2005 г. состоялся двойной полет, и Гектор был исследован на протяжении всего его жизненного цикла на стадии развития, созревания и рассеивания. Два полета с интервалом в четыре часа были сосредоточены в районе наковальни Гектора на высотах от 10,5 до 18,8 км (то есть выше потенциальной температуры 350 К.). Расчет траектории, спутниковые изображения и измерения озона были использованы для обеспечения того, чтобы в обоих полетах были исследованы одни и те же воздушные массы облаков.

Распределение размеров, полученное в результате измерений, показывает изменение не только с увеличением высоты, но и с эволюцией Гектора. Явно различное соотношение облаков и аэрозольных частиц, а также различная морфология ледяных кристаллов были обнаружены на разных стадиях развития Гектора, что указывает на разные механизмы замораживания. На стадии проявления проявляются мельчайшие частицы льда (до 300 мкм) с довольно однородной морфологией. Это свидетельствует о быстром оледенении в период развития Гектора.Размеры кристаллов льда являются самыми большими в зрелой стадии (более 1,6 мм) и даже превышают размеры некоторых континентальных тропических глубоких конвективных облаков, а также по их количественной концентрации. Свойства обратного рассеяния и изображения частиц показывают изменение формы ледяных кристаллов от фазы проявления к рифленым и агрегированным частицам на стадиях созревания и рассеивания; конкретную форму частиц в фазе проявления невозможно отличить от измерений. Несмотря на то, что облака оптически тонкие, на стадии рассеяния они имеют большую вертикальную протяженность (примерно 6 км) и сохраняются не менее 6 часов.Таким образом, наковальни этих высоко простирающихся глубоких конвективных облаков имеют высокий потенциал воздействия на слой тропопаузы путем изменения влажности и радиационного баланса, а также для создания благоприятных условий для формирования невидимых перистых облаков. Затрагиваемые процессы могут также влиять на количество водяного пара, который в конечном итоге достигает стратосферы в тропиках.

dblp: Рекорды BibTeX: Tamás Gergely

@article {DBLP: journals / access / AljawabrahGMS21,
  автор = {Надера Альджавабра и
               Там {\ '{a}} Гергели и
               Санджай Мишра и
               Луис Ферн {\ '{a}} ndez Sanz},
  title = {Автоматическое восстановление и визуализация отслеживания кода от теста до кода
               {(TCT)} Ссылки: оценка},
  journal = {{IEEE} Access},
  объем = {9},
  pages = {40111-40123},
  год = {2021},
  url = {https: // doi.org / 10.1109 / ACCESS.2021.3063158},
  doi = {10.1109 / ACCESS.2021.3063158},
  timestamp = {среда, 7 апреля 2021 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/access/AljawabrahGMS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / icta2 / AljawabrahQGP20,
  автор = {Надера Альджавабра и
               Абдалла Кусеф и
               Там {\ '{a}} Гергели и
               Адхьятмананда Пати},
  editor = {Санджай Мисра и
               Билкису Мухаммад {-} Белло},
  title = {Визуализация многоуровневых отношений между тестами и кодом},
  booktitle = {Информационные и коммуникационные технологии и приложения - Третий
               Международная конференция, {ICTA} 2020, Минна, Нигерия, 24-27 ноября,
               2020, Пересмотренные избранные статьи},
  series = {Коммуникации в компьютерных и информационных науках},
  объем = {1350},
  pages = {510–519},
  publisher = {Springer},
  год = {2020},
  url = {https: // doi.org / 10.1007 / 978-3-030-69143-1 \ _39},
  doi = {10.1007 / 978-3-030-69143-1 \ _39},
  timestamp = {пт, 23 апреля 2021 13:19:58 +0200},
  biburl = {https://dblp.org/rec/conf/icta2/AljawabrahQGP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / wcre / VancsicsGB20,
  author = {B {\ '{e}} la Vancsics и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des},
  title = {Моделирование влияния нестабильности теста на эффективность локализации неисправности},
  booktitle = {{IEEE} Семинар по проверке, анализу и развитию программного обеспечения
               Тесты, VST @ SANER 2020, Лондон, ON, Канада, 18 февраля 2020 г.},
  pages = {28–35},
  publisher = {{IEEE}},
  год = {2020},
  url = {https: // doi.org / 10.1109 / VST50071.2020.36},
  doi = {10.1109 / VST50071.2020.36},
  timestamp = {чт, 16 апреля 2020 г., 16:00:28 +0200},
  biburl = {https://dblp.org/rec/conf/wcre/VancsicsGB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / sqj / HorvathGBTBG19,
  author = {Ференц Хорв {\ '{a}} -й и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Д {\ '{а}} вид Тенгери и
               Герг {\ ~ {o}} Балог и
               Тибор Гим {\ '{o}} твой},
  title = {Различия в покрытии кода инструментами байт-кода Java и исходного кода
               инструменты},
  journal = {Softw.Qual. J.},
  объем = {27},
  число = {1},
  pages = {79–123},
  год = {2019},
  url = {https://doi.org/10.1007/s11219-017-9389-z},
  doi = {10.1007 / s11219-017-9389-z},
  timestamp = {понедельник, 8 июня 2020 г. 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/sqj/HorvathGBTBG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / sqj / GergelyBHVBG19,
  author = {Там {\ '{a}} с Гергели и
               Герг {\ ~ {o}} Балог и
               Ференц Хорв {\ '{a}} -й и
               Б {\ '{e}} ла Ваншикс и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой},
  title = {Различия между статической и динамической прослеживаемостью между тестами и кодом
               метод восстановления},
  journal = {Softw.Qual. J.},
  объем = {27},
  число = {2},
  pages = {797-822},
  год = {2019},
  url = {https://doi.org/10.1007/s11219-018-9430-x},
  doi = {10.1007 / s11219-018-9430-x},
  timestamp = {понедельник, 8 июня 2020 г. 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/sqj/GergelyBHVBG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / iccsa / AljawabrahGK19,
  автор = {Надера Альджавабра и
               Там {\ '{a}} Гергели и
               Мохаммад Харабшех},
  editor = {Санджай Мисра и
               Освальдо Джерваси и
               Бениамино Мурганте и
               Елена Н.Станкова и
               Владимир Корхов и
               Кармело Мария Торре и
               Ана Мария А. С. Роча и
               Давид Таниар и
               Бернадий О. Апдухан и
               Эуфемия Тарантино},
  title = {Понимание ссылок для отслеживания кода между тестами: необходимость в лучшем
               Визуализация модели},
  booktitle = {Вычислительная наука и ее приложения - {ICCSA} 2019 г., 19-я Международная конференция
               Конференция, Санкт-Петербург, Россия, 1-4 июля 2019 г., Труды,
               Часть {IV}},
  series = {Конспект лекций по информатике},
  объем = {11622},
  pages = {428–441},
  publisher = {Springer},
  год = {2019},
  url = {https: // doi.org / 10.1007 / 978-3-030-24305-0 \ _32},
  doi = {10.1007 / 978-3-030-24305-0 \ _32},
  timestamp = {Вт, 2 июля 2019 12:22:04 +0200},
  biburl = {https://dblp.org/rec/conf/iccsa/AljawabrahGK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / raai / GergelyU19,
  author = {Там {\ '{a}} с Гергели и
               L {\ '{a}} szl {\' {o}} {\ '{U}} ry},
  editor = {Геннадий Сергеевич Осипов и
               Александр Иванович Панов и
               Константин С.Яковлев},
  title = {Математические основы искусственного интеллекта на основе когнитивных вычислений},
  booktitle = {Искусственный интеллект - 5-я летняя школа {RAAI}, Долгопрудный, Россия,
               4-7 июля 2019 г., Обучающие лекции},
  series = {Конспект лекций по информатике},
  объем = {11866},
  pages = {29–64},
  publisher = {Springer},
  год = {2019},
  url = {https://doi.org/10.1007/978-3-030-33274-7\_3},
  doi = {10.1007 / 978-3-030-33274-7 \ _3},
  timestamp = {Вт, 22 октября 2019 г. 16:10:51 +0200},
  biburl = {https: // dblp.org / rec / conf / raai / GergelyU19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / GergelyBHVBG18,
  author = {Там {\ '{a}} с Гергели и
               Герг {\ ~ {o}} Балог и
               Ференц Хорв {\ '{a}} -й и
               Б {\ '{e}} ла Ваншикс и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой},
  title = {Анализ статической и динамической информации о отслеживании между тестами и кодом},
  journal = {Acta Cybern.},
  объем = {23},
  число = {3},
  pages = {903–919},
  год = {2018},
  url = {https://doi.org/10.14232/actacyb.23.3.2018.11},
  doi = {10.14232 / actacyb.23.3.2018.11},
  timestamp = {Вт, 16 июня 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/GergelyBHVBG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / sped / GergelyHSSC17,
  author = {Там {\ '{a}} с Гергели и
               Редактировать Халмей и
               Mikl {\ '{o}} s Sz {\ "{o}} ts и
               Джордж Сучиу и
               Ромул Чевересан},
  title = {Интеллектуальный интерфейс на основе семантики},
  booktitle = {Международная конференция по речевым технологиям и диалогу между человеком и компьютером,
               SpeD 2017, Бухарест, Румыния, 6-9 июля 2017 г.},
  pages = {1–8},
  publisher = {{IEEE}},
  год = {2017},
  url = {https: // doi.org / 10.1109 / SPED.2017.79},
  doi = {10.1109 / SPED.2017.79},
  timestamp = {среда, 16 октября 2019 г. 14:14:49 +0200},
  biburl = {https://dblp.org/rec/conf/sped/GergelyHSSC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / staf / BagnatoBBCRRGHK17,
  author = {Алессандра Баньято и
               Константинос Бармпис и
               Ник Бессис и
               Луис Адри {\ '{a}} н Кабрера {-} Диего и
               Юри Ди Рокко и
               Давиде Ди Рушио и
               Там {\ '{a}} Гергели и
               Скотт Хансен и
               Димитрис С.Коловос и
               Филипп Криф и
               Иоаннис Корконцелос и
               St {\ '{e}} phane Lauri {\ `{e}} re и
               Хосе Манрике Лопес де ла Фуэнте и
               Педро Маль {\ '{o}} и
               Ричард Ф. Пейдж и
               Диомидис Спинеллис и
               Седрик Томас и
               Юрген Дж. Винью},
  editor = {Мартина Зайдл и
               Штеффен Зшалер},
  title = {Извлечение знаний, ориентированное на разработчиков, из крупного программного обеспечения с открытым исходным кодом
               Репозитории {(CROSSMINER)}},
  booktitle = {Программные технологии: приложения и основы - {STAF} 2017 г.
               Совместные семинары, Марбург, Германия, 17-21 июля 2017 г., исправленная
               Избранные статьи},
  series = {Конспект лекций по информатике},
  объем = {10748},
  pages = {375–384},
  publisher = {Springer},
  год = {2017},
  url = {https: // doi.org / 10.1007 / 978-3-319-74730-9 \ _33},
  doi = {10.1007 / 978-3-319-74730-9 \ _33},
  timestamp = {пт, 09 апреля 2021, 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/staf/BagnatoBBCRRGHK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / scam / BaloghGBG16,
  author = {Герг {\ ~ {o}} Балог и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой},
  title = {Правильно ли включены мои модульные тесты?},
  booktitle = {16-я {IEEE} Международная рабочая конференция по анализу исходного кода
               и манипуляции, {SCAM} 2016, Роли, Северная Каролина, США, 2-3 октября 2016 г.},
  pages = {137–146},
  publisher = {{IEEE} Computer Society},
  год = {2016},
  url = {https: // doi.org / 10.1109 / SCAM.2016.10},
  doi = {10.1109 / SCAM.2016.10},
  timestamp = {среда, 16 октября 2019 г. 14:14:55 +0200},
  biburl = {https://dblp.org/rec/conf/scam/BaloghGBG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / wcre / BaloghGBG16,
  author = {Герг {\ ~ {o}} Балог и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой},
  title = {Использование метафоры города для визуализации показателей, связанных с тестированием},
  booktitle = {Первый международный семинар по валидации тестов программного обеспечения, VST @ SANER
               2016 г., Осака, Япония, 15 марта 2016 г.},
  pages = {17-20},
  publisher = {{IEEE} Computer Society},
  год = {2016},
  url = {https: // doi.org / 10.1109 / SANER.2016.48},
  doi = {10.1109 / SANER.2016.48},
  timestamp = {среда, 16 октября 2019 г. 14:14:53 +0200},
  biburl = {https://dblp.org/rec/conf/wcre/BaloghGBG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / wcre / TengeriHBGG16,
  author = {D {\ '{a}} вид Тенгери и
               Ференц Хорв {\ '{a}} -й и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               Тибор Гим {\ '{o}} твой},
  title = {Негативное влияние инструментария байт-кода на охват исходного кода Java},
  booktitle = {{IEEE} 23-я Международная конференция по анализу и эволюции программного обеспечения,
               и реинжиниринг, {SANER} 2016, Суита, Осака, Япония, 14–18 марта,
               2016 - Том 1},
  pages = {225–235},
  publisher = {{IEEE} Computer Society},
  год = {2016},
  url = {https: // doi.org / 10.1109 / SANER.2016.61},
  doi = {10.1109 / SANER.2016.61},
  timestamp = {среда, 16 октября 2019 г. 14:14:53 +0200},
  biburl = {https://dblp.org/rec/conf/wcre/TengeriHBGG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / HorvathG15,
  author = {Ференц Хорв {\ '{a}} -й и
               Там {\ '{a}} с Гергей},
  title = {Метод автоматизированного тестирования с использованием структурной информации для Magic 4GL},
  journal = {Acta Cybern.},
  объем = {22},
  число = {1},
  pages = {81–99},
  год = {2015},
  url = {https: // doi.org / 10.14232 / actacyb.22.1.2015.6},
  doi = {10.14232 / actacyb.22.1.2015.6},
  timestamp = {понедельник, 15 мая 2017 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/HorvathG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / scp / BeszedesSCGJG15,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Лайош Шреттнер и
               Б {\ '{e}} ла Чаба и
               Там {\ '{a}} Гергели и
               Юдит Дж {\ '{а}} з и
               Тибор Гим {\ '{o}} твой},
  title = {Эмпирическое исследование свойств кластера зависимостей на основе SEA},
  journal = {Sci.Comput. Program.},
  объем = {105},
  pages = {3-25},
  год = {2015},
  url = {https://doi.org/10.1016/j.scico.2014.09.010},
  doi = {10.1016 / j.scico.2014.09.010},
  timestamp = {среда, 17 февраля 2021 г., 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/scp/BeszedesSCGJG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / icst / TengeriBGVHG15,
  author = {D {\ '{a}} вид Тенгери и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               L {\ '{a}} szl {\' {o}} Vid {\ '{a}} cs и
               Дэвид Хавас и
               Тибор Гим {\ '{o}} твой},
  title = {Помимо покрытия кода - подход к оценке и улучшению набора тестов},
  booktitle = {Восьмая {IEEE} Международная конференция по тестированию и проверке программного обеспечения
               и валидация, семинары {ICST} 2015, Грац, Австрия, 13-17 апреля,
               2015},
  pages = {1–7},
  publisher = {{IEEE} Computer Society},
  год = {2015},
  url = {https: // doi.org / 10.1109 / ICSTW.2015.7107476},
  doi = {10.1109 / ICSTW.2015.7107476},
  timestamp = {среда, 16 октября 2019 г. 14:14:54 +0200},
  biburl = {https://dblp.org/rec/conf/icst/TengeriBGVHG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / splst / HorvathVVBTGG15,
  author = {Ференц Хорв {\ '{a}} -й и
               Б {\ '{e}} ла Ваншикс и
               L {\ '{a}} szl {\' {o}} Vid {\ '{a}} cs и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Д {\ '{а}} вид Тенгери и
               Там {\ '{a}} Гергели и
               Тибор Гим {\ '{o}} твой},
  editor = {Jyrki Nummenmaa и
               Оути Сиеви {-} Корте и
               Эркки М {\ "{a}} кинен},
  title = {Оценка набора тестов с использованием показателей покрытия кода},
  booktitle = {Материалы 14-го симпозиума по языкам программирования и ПО
               Tools (SPLST'15), Тампере, Финляндия, 9-10 октября 2015 г.},
  series = {{CEUR} Материалы семинара},
  объем = {1525},
  pages = {46–60},
  издатель = {CEUR-WS.org},
  год = {2015},
  url = {http://ceur-ws.org/Vol-1525/paper-04.pdf},
  timestamp = {среда, 12 февраля 2020 г. 16:44:23 +0100},
  biburl = {https://dblp.org/rec/conf/splst/HorvathVVBTGG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / HorvathBGRBM14,
  author = {Ференц Хорв {\ '{a}} -й и
               Сабольч Богн {\ '{a}} р и
               Там {\ '{a}} Гергели и
               R {\ '{o}} bert R {\' {a}} cz и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Владимир Маринкович},
  title = {Система измерения покрытия кода для устройств Android},
  journal = {Acta Cybern.},
  объем = {21},
  число = {3},
  pages = {439–458},
  год = {2014},
  url = {https://doi.org/10.14232/actacyb.21.3.2014.10},
  doi = {10.14232 / actacyb.21.3.2014.10},
  timestamp = {понедельник, 15 мая 2017 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/HorvathBGRBM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / smr / SchrettnerJGBG14,
  author = {Лайош Шреттнер и
               Юдит Дж {\ '{а}} з и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой},
  title = {Анализ воздействия при наличии кластеров зависимостей с использованием статических
               Выполнить после в WebKit},
  journal = {Дж.Софтв. Evol. Процесс.},
  объем = {26},
  число = {6},
  pages = {569–588},
  год = {2014},
  url = {https://doi.org/10.1002/smr.1614},
  doi = {10.1002 / smr.1614},
  timestamp = {пт, 06 марта 2020 г., 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/smr/SchrettnerJGBG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / scam / BeszedesSCGJG13,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Лайош Шреттнер и
               Б {\ '{e}} ла Чаба и
               Там {\ '{a}} Гергели и
               Юдит Дж {\ '{а}} з и
               Тибор Гим {\ '{o}} твой},
  title = {Эмпирическое исследование свойств кластера зависимостей на основе SEA},
  booktitle = {13-я {IEEE} Международная рабочая конференция по анализу исходного кода
               и манипуляции, {SCAM} 2013, Эйндховен, Нидерланды, 22–23 сентября,
               2013},
  pages = {1–10},
  publisher = {{IEEE} Computer Society},
  год = {2013},
  url = {https: // doi.org / 10.1109 / SCAM.2013.6648178},
  doi = {10.1109 / SCAM.2013.6648178},
  timestamp = {сб, 19 октября 2019 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/scam/BeszedesSCGJG13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / csmr / Gergely12,
  author = {Там {\ '{a}} с Гергей},
  editor = {Том Менс и
               Энтони Клив и
               Рудольф Ференц},
  title = {Добро пожаловать с кафедры семинара},
  booktitle = {16-я Европейская конференция по обслуживанию и реинжинирингу программного обеспечения,
               {CSMR} 2012, Сегед, Венгрия, 27-30 марта 2012 г.},
  pages = {559–560},
  publisher = {{IEEE} Computer Society},
  год = {2012},
  url = {https: // doi.org / 10.1109 / CSMR.2012.88},
  doi = {10.1109 / CSMR.2012.88},
  timestamp = {среда, 16 октября 2019 г. 14:14:53 +0200},
  biburl = {https://dblp.org/rec/conf/csmr/Gergely12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / icsm / BeszedesGSJLG12,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               Лайош Шреттнер и
               Юдит Дж {\ '{а}} з и
               Ласло Ланго и
               Тибор Гим {\ '{o}} твой},
  title = {Выбор регрессионного теста на основе покрытия кода и расстановка приоритетов в
               WebKit},
  booktitle = {28-я {IEEE} Международная конференция по обслуживанию программного обеспечения, {ICSM}
               2012 г., Тренто, Италия, 23-28 сентября 2012 г.},
  pages = {46–55},
  publisher = {{IEEE} Computer Society},
  год = {2012},
  url = {https: // doi.org / 10.1109 / ICSM.2012.6405252},
  doi = {10.1109 / ICSM.2012.6405252},
  timestamp = {сб, 19 октября 2019 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/icsm/BeszedesGSJLG12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / scam / SchrettnerJGBG12,
  author = {Лайош Шреттнер и
               Юдит Дж {\ '{а}} з и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой},
  title = {Анализ воздействия при наличии кластеров зависимостей с использованием статических
               Выполнить после в WebKit},
  booktitle = {12-я {IEEE} Международная рабочая конференция по анализу исходного кода
               и манипуляции, {SCAM} 2012, Рива-дель-Гарда, Италия, 23-24 сентября,
               2012},
  pages = {24–33},
  publisher = {{IEEE} Computer Society},
  год = {2012},
  url = {https: // doi.org / 10.1109 / SCAM.2012.22},
  doi = {10.1109 / SCAM.2012.22},
  timestamp = {сб, 19 октября 2019 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/scam/SchrettnerJGBG12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / mobihealth / ThestrupGB11,
  author = {Джеспер Теструп и
               Там {\ '{a}} Гергели и
               Питер Бек},
  editor = {Константина С. Никита и
               Джеймс С. Лин и
               Димитриос I.Фотиадис и
               Мар {\ '{\ i}} - Тереза ​​Арредондо Вальдмайер},
  title = {Изучение новых моделей лечения и лечения диабета с
               платформа беспроводного мобильного электронного здравоохранения},
  booktitle = {Беспроводная мобильная связь и здравоохранение - Второй международный
               Конференция {ICST}, MobiHealth 2011, остров Кос, Греция, 5-7 октября,
               2011. Пересмотренные избранные статьи},
  series = {Лекционные заметки Института компьютерных наук, социальной информатики
               и телекоммуникации},
  объем = {83},
  pages = {203--210},
  publisher = {Springer},
  год = {2011},
  url = {https: // doi.org / 10.1007 / 978-3-642-29734-2 \ _28},
  doi = {10.1007 / 978-3-642-29734-2 \ _28},
  timestamp = {пт, 19 мая 2017 г. 01:25:10 +0200},
  biburl = {https://dblp.org/rec/conf/mobihealth/ThestrupGB11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@book {DBLP: books / daglib / 0024005,
  author = {Олег Аншаков и
               Там {\ '{a}} с Гергей},
  title = {Когнитивное мышление - {A} формальный подход},
  series = {Cognitive Technologies},
  publisher = {Springer},
  год = {2010},
  url = {https: // doi.org / 10.1007 / 978-3-540-68875-4},
  doi = {10.1007 / 978-3-540-68875-4},
  isbn = {978-3-540-43058-2},
  timestamp = {вс, 2 июня 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/books/daglib/0024005.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / csmr / NagyPGB10,
  author = {Чаба Надь и
               Янош Пантос и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des},
  editor = {Рафаэль Капилья и
               Рудольф Ференц и
               Хуан К.Срок оплаты {\ ~ {n}} as},
  title = {К безопасному методу вычисления зависимостей в СУБД
               Системы},
  booktitle = {14-я Европейская конференция по обслуживанию и реинжинирингу программного обеспечения,
               {CSMR} 2010, 15-18 марта 2010 г., Мадрид, Испания},
  pages = {166–175},
  publisher = {{IEEE} Computer Society},
  год = {2010},
  url = {https://doi.org/10.1109/CSMR.2010.29},
  doi = {10.1109 / CSMR.2010.29},
  timestamp = {Вт, 26 ноября 2019 г., 00:00:00 +0100},
  biburl = {https: // dblp.org / rec / conf / csmr / NagyPGB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / icsm / GergelyBGG10,
  author = {Там {\ '{a}} с Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой и
               Милан Имре Гьялай},
  editor = {Раду Маринеску и
               Мишель Ланца и
               Андриан Маркус},
  title = {Влияние полноты тестирования и измерения избыточности на пост-релиз
               отказы - отчет о производственном опыте},
  booktitle = {26-я {IEEE} Международная конференция по обслуживанию программного обеспечения {(ICSM})
               2010), 12-18 сентября 2010 г., Тимишоара, Румыния},
  pages = {1–10},
  publisher = {{IEEE} Computer Society},
  год = {2010},
  url = {https: // doi.org / 10.1109 / ICSM.2010.5609692},
  doi = {10.1109 / ICSM.2010.5609692},
  timestamp = {понедельник, 18 января 2021 г. 18:05:53 +0100},
  biburl = {https://dblp.org/rec/conf/icsm/GergelyBGG10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / csmr / BeszedesGFGF07,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               Сабольч Фараго и
               Тибор Гим {\ '{o}} твой и
               Ференц Фишер},
  editor = {Ren {\ '{e}} L.Крихаар и
               Крис Верхоф и
               Джузеппе А. Ди Лукка},
  title = {Показатель динамического связывания функций и его использование в развитии программного обеспечения},
  booktitle = {11-я Европейская конференция по обслуживанию и реинжинирингу программного обеспечения,
               Эволюция программного обеспечения в сложных программно-интенсивных системах, {CSMR} 2007,
               21–23 марта 2007 г., Амстердам, Нидерланды},
  pages = {103--112},
  publisher = {{IEEE} Computer Society},
  год = {2007},
  url = {https: // doi.org / 10.1109 / CSMR.2007.47},
  doi = {10.1109 / CSMR.2007.47},
  timestamp = {среда, 16 октября 2019 г. 14:14:53 +0200},
  biburl = {https://dblp.org/rec/conf/csmr/BeszedesGFGF07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / csmr / SzegediGBGT07,
  author = {Аттила Сегеди и
               Там {\ '{a}} Гергели и
               {\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Тибор Гим {\ '{o}} твой и
               Габриэлла Тот},
  editor = {Ren {\ '{e}} L.Крихаар и
               Крис Верхоф и
               Джузеппе А. Ди Лукка},
  title = {Проверка концепции объединения фрагментов в программах Java},
  booktitle = {11-я Европейская конференция по обслуживанию и реинжинирингу программного обеспечения,
               Эволюция программного обеспечения в сложных программно-интенсивных системах, {CSMR} 2007,
               21–23 марта 2007 г., Амстердам, Нидерланды},
  pages = {233–242},
  publisher = {{IEEE} Computer Society},
  год = {2007},
  url = {https: // doi.org / 10.1109 / CSMR.2007.53},
  doi = {10.1109 / CSMR.2007.53},
  timestamp = {пт, 2 ноября 2018 г., 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/csmr/SzegediGBGT07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / icsm / BeszedesGJTGR07,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               Юдит Дж {\ '{а}} з и
               Габриэлла Тот и
               Тибор Гим {\ '{o}} твой и
               В {\ '{a}} клав Райлих},
  title = {Вычисление статического выполнения после связи с приложениями к
               Сопровождение программного обеспечения},
  booktitle = {23-я {IEEE} Международная конференция по обслуживанию программного обеспечения {(ICSM})
               2007), 2-5 октября 2007 г., Париж, Франция},
  pages = {295–304},
  publisher = {{IEEE} Computer Society},
  год = {2007},
  url = {https: // doi.org / 10.1109 / ICSM.2007.4362642},
  doi = {10.1109 / ICSM.2007.4362642},
  timestamp = {сб, 19 октября 2019 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/icsm/BeszedesGJTGR07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / scam / BeszedesGG06,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               Тибор Гим {\ '{o}} твой},
  title = {Алгоритмы динамического среза на основе динамической зависимости без графа},
  booktitle = {Шестой {IEEE} международный семинар по анализу исходного кода и манипуляциям с ним
               {(SCAM} 2006), 27-29 сентября 2006 г., Филадельфия, Пенсильвания, {США}},
  pages = {21–30},
  publisher = {{IEEE} Computer Society},
  год = {2006},
  url = {https: // doi.org / 10.1109 / SCAM.2006.17},
  doi = {10.1109 / SCAM.2006.17},
  timestamp = {среда, 16 октября 2019 г. 14:14:55 +0200},
  biburl = {https://dblp.org/rec/conf/scam/BeszedesGG06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / cmpb / DeutschGT04,
  author = {Тибор Дойч и
               Там {\ '{a}} Гергели и
               Трунов Владимир Григорьевич},
  title = {Компьютерная система для интерпретации данных об уровне глюкозы в крови},
  journal = {Comput.Методы Программы Биомед.},
  объем = {76},
  число = {1},
  pages = {41–51},
  год = {2004},
  url = {https://doi.org/10.1016/j.cmpb.2004.02.008},
  doi = {10.1016 / j.cmpb.2004.02.008},
  timestamp = {четверг, 20 февраля 2020 г., 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/cmpb/DeutschGT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / FaragoG02,
  автор = {Чаба Фараг {\ '{o}} и
               Там {\ '{a}} с Гергей},
  title = {Обработка указателей и неструктурированных операторов в вычисляемых вперед
               Алгоритм динамического среза},
  journal = {Acta Cybern.},
  объем = {15},
  число = {4},
  pages = {489-508},
  год = {2002},
  url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3593},
  timestamp = {среда, 16 сентября 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/FaragoG02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / amia / BellazziBBCCCdCLDFGGGGHFFHBLLLMNGPRRSS02,
  автор = {Риккардо Беллацци и
               Джулиана Бенса и
               Эулалия Бругу {\ '{e}} и
               Юарт Р.Карсон и
               Клаудио Кобелли и
               Дерек Г. Крэмп и
               Джузеппе д'Аннунцио и
               Паскуале де Ката и
               Альберто де Лейва и
               Тибор Дойч и
               Пьетро Фратино и
               Кармине Газзарусо и
               Анхель Гарсия и
               Там {\ '{a}} Гергели и
               Энрике Дж. Г {\ '{o}} мез и
               Фиона Э. Харви и
               Пьетро Феррари и
               Кристиан Харрас Фридрих и
               М.Елена Эрнандо и
               Магед Н. Камель Булос и
               Кристиана Ларицца и
               Ганс Людекке и
               Моника Любкер и
               Альберто Маран и
               Джанлука Нуччи и
               Фернандо Ортис Гарсия и
               Кристина Пеннати и
               Абдул В. Роудсари и
               Мерседес Ригла и
               Карстен Шютте и
               Марио Стефанелли},
  title = {Услуги с множественным доступом для лечения сахарного диабета:
               {M2DM} Project},
  booktitle = {{AMIA} 2002, Ежегодный симпозиум Американской ассоциации медицинской информатики,
               Сан-Антонио, Техас, США, 9-13 ноября 2002 г.},
  publisher = {{AMIA}},
  год = {2002},
  url = {http: // знания.amia.org/amia-55142-a2002a-1.610020/t-002-1.611916/f-001-1.611917/a-207-1.612625/a-208-1.612622},
  timestamp = {Вт, 5 августа 2014 г. 16:48:31 +0200},
  biburl = {https://dblp.org/rec/conf/amia/BellazziBBCCCdCLDFGGGGHFFHBLLLMNGPRRSS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / csmr / BeszedesGSCG01,
  author = {{\ '{A}} rp {\' {a}} d Besz {\ '{e}} des и
               Там {\ '{a}} Гергели и
               Жолт Мих {\ '{a}} лы Саб {\' {o}} и
               J {\ '{a}} нет Чирик и
               Тибор Гим {\ '{o}} твой},
  editor = {Педро Соуза и
               Дж {\ "{u}} рген Эберт},
  title = {Метод динамического нарезания для обслуживания больших {C} программ},
  booktitle = {Пятая конференция по обслуживанию и реинжинирингу программного обеспечения, {CSMR}
               2001 г., Лиссабон, Португалия, 14–16 марта 2001 г.},
  pages = {105–113},
  publisher = {{IEEE} Computer Society},
  год = {2001},
  url = {https: // doi.org / 10.1109 / .2001.914974},
  doi = {10.1109 / .2001.914974},
  timestamp = {среда, 16 октября 2019 г. 14:14:53 +0200},
  biburl = {https://dblp.org/rec/conf/csmr/BeszedesGSCG01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@book {DBLP: series / eatcs / GergelyU91,
  author = {Там {\ '{a}} с Гергели и
               L {\ '{a}} szl {\' {o}} {\ '{U}} ry},
  title = {теории программирования первого порядка},
  series = {{EATCS} Монографии по теоретической информатике},
  объем = {24},
  publisher = {Springer},
  год = {1991},
  url = {https: // doi.org / 10.1007 / 978-3-642-58205-9},
  doi = {10.1007 / 978-3-642-58205-9},
  isbn = {978-3-642-63503-8},
  timestamp = {Вт, 16 мая 2017 г. 01:00:00 +0200},
  biburl = {https://dblp.org/rec/series/eatcs/GergelyU91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / scai / GergelyS89,
  author = {Там {\ '{a}} с Гергели и
               Золт {\ '{a}} н Саб {\' {o}}},
  editor = {Ханну Яаккола и
               Сеппо Линнаинмаа},
  title = {Квазиуравнения для логического программирования},
  booktitle = {Вторая скандинавская конференция по искусственному интеллекту 1989 г., Труды
               2-го SCAI, Тампере, Финляндия, 12-15 июня 1989 г.},
  series = {Границы искусственного интеллекта и приложений},
  объем = {4},
  pages = {889–899},
  publisher = {{IOS} Press},
  год = {1989},
  timestamp = {чт, 1 августа 2019 г., 11:47:47 +0200},
  biburl = {https: // dblp.org / rec / conf / scai / GergelyS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / ijcai / GergelyS87,
  author = {Там {\ '{a}} с Гергели и
               Золт {\ '{a}} н Саб {\' {o}}},
  editor = {Джон П. Макдермотт},
  title = {Индуктивный вывод на основе теории неподвижной точки},
  booktitle = {Труды 10-й Международной конференции по искусственному
               Интеллект. Милан, Италия, 23-28 августа 1987 г.},
  pages = {932–938},
  publisher = {Морган Кауфманн},
  год = {1987},
  url = {http: // ijcai.org / Proceedings / 87-2 / Papers / 074.pdf},
  timestamp = {Вт, 20 августа 2019 г. 16:17:29 +0200},
  biburl = {https://dblp.org/rec/conf/ijcai/GergelyS87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / aii / SzaboG86,
  author = {Золт {\ '{a}} н Саб {\' {o}} и
               Там {\ '{a}} с Гергей},
  editor = {Клаус П. Янтке},
  title = {Уравнения с фиксированной точкой как гипотезы в индуктивных рассуждениях},
  booktitle = {Аналогичный и индуктивный вывод, Международный семинар {AII} '86,
               Wendisch-Rietz, GDR, 6-10 октября 1986 г., Proceedings},
  series = {Конспект лекций по информатике},
  объем = {265},
  pages = {42–54},
  publisher = {Springer},
  год = {1986},
  url = {https: // doi.org / 10.1007 / 3-540-18081-8 \ _84},
  doi = {10.1007 / 3-540-18081-8 \ _84},
  timestamp = {Вт, 14 мая 2019 г. 10:00:49 +0200},
  biburl = {https://dblp.org/rec/conf/aii/SzaboG86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / aii / GergelyV85,
  author = {Там {\ '{a}} с Гергели и
               Константин Вершинин},
  editor = {Вольфганг Бибель и
               Клаус П. Янтке},
  title = {Естественно-математические тексты vs.программы},
  booktitle = {Математические методы спецификации и синтеза программных систем
               '85, Труды Международной весенней школы, Вендиш-Риц,
               ГДР, 22-26 апреля 1985 г.},
  series = {Конспект лекций по информатике},
  объем = {215},
  страницы = {83–100},
  publisher = {Springer},
  год = {1985},
  url = {https://doi.org/10.1007/3-540-16444-8\_6},
  doi = {10.1007 / 3-540-16444-8 \ _6},
  timestamp = {Вт, 14 мая 2019 г. 10:00:49 +0200},
  biburl = {https: // dblp.org / rec / conf / aii / GergelyV85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / slp / GergelyS84,
  author = {Там {\ '{a}} с Гергели и
               Микл {\ '{o}} s Sz {\ "{o}} ts},
  title = {Вырезанные формулы для логического программирования},
  booktitle = {Труды Международного симпозиума 1984 г. по логическому программированию,
               Атлантик-Сити, Нью-Джерси, США, 6-9 февраля 1984 г.},
  pages = {299-310},
  publisher = {{IEEE-CS}},
  год = {1984},
  timestamp = {среда, 4 декабря 2013 г. 14:42:58 +0100},
  biburl = {https: // dblp.org / rec / conf / slp / GergelyS84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / ijcai / GergelyV83,
  author = {Там {\ '{a}} с Гергели и
               Константин Вершинин},
  editor = {Алан Банди},
  title = {Отрицательное гиперразрешение для доказательства утверждений, содержащих транзитивные
               Связи},
  booktitle = {Труды 8-й Международной совместной конференции по искусственному
               Интеллект. Карлсруэ, ФРГ, август 1983 г.},
  pages = {877–881},
  publisher = {Уильям Кауфманн},
  год = {1983},
  url = {http: // ijcai.org / Proceedings / 83-2 / Papers / 066.pdf},
  timestamp = {Вт, 20 августа 2019 г. 16:18:54 +0200},
  biburl = {https://dblp.org/rec/conf/ijcai/GergelyV83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / acta / GergelyU82,
  author = {Там {\ '{a}} с Гергели и
               L {\ '{a}} szl {\' {o}} {\ '{U}} ry},
  title = {Теория интерактивного программирования},
  journal = {Acta Informatica},
  объем = {17},
  pages = {1–20},
  год = {1982},
  url = {https: // doi.org / 10.1007 / BF00262972},
  doi = {10.1007 / BF00262972},
  timestamp = {вс, 21 июня 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/acta/GergelyU82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / moreal / FutoG82,
  author = {Иван Фут {\ '{o}} и
               Там {\ '{a}} с Гергей},
  editor = {Horst F. Wedde},
  title = {Логический подход к моделированию {(TS-PROLOG)}},
  booktitle = {Адекватное моделирование систем, Труды международной работы
               Конференция по модельному реализму, Бад-Хоннеф, Германия, 20-23 апреля 1982 г.},
  pages = {25–46},
  publisher = {Springer},
  год = {1982},
  url = {https: // doi.org / 10.1007 / 978-3-642-69208-6 \ _4},
  doi = {10.1007 / 978-3-642-69208-6 \ _4},
  timestamp = {среда, 13 мая 2020 г., 12:07:29 +0200},
  biburl = {https://dblp.org/rec/conf/moreal/FutoG82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / Gergely82,
  author = {Там {\ '{a}} с Гергей},
  title = {Алгебраическое представление языковых иерархий},
  journal = {Acta Cybern.},
  объем = {5},
  число = {3},
  pages = {307–323},
  год = {1981},
  url = {https: // кибер.bibl.u-szeged.hu/index.php/actcybern/article/view/3221},
  timestamp = {среда, 16 сентября 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/Gergely82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / GergelyU80,
  author = {Там {\ '{a}} с Гергели и
               L {\ '{a}} szl {\' {o}} {\ '{U}} ry},
  title = {Недетерминированное программирование в рамках классического
               логика, часть 1},
  journal = {Acta Cybern.},
  объем = {4},
  число = {4},
  pages = {333–354},
  год = {1980},
  url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3196},
  timestamp = {среда, 16 сентября 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/GergelyU80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / GergelyU80a,
  author = {Там {\ '{a}} с Гергели и
               L {\ '{a}} szl {\' {o}} {\ '{U}} ry},
  title = {Недетерминированное программирование в рамках классического
               логика, часть 2},
  journal = {Acta Cybern.},
  объем = {4},
  число = {4},
  pages = {355–375},
  год = {1980},
  url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3197},
  timestamp = {среда, 16 сентября 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/GergelyU80a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / coling / AndrekaGN80,
  author = {Хайнал Андр {\ '{e}} ка и
               Там {\ '{a}} Гергели и
               Istv {\ '{a}} n N {\' {e}} meti},
  editor = {Бернар Вокуа},
  title = {Теоретическая семантика моделей для многоцелевых языков и языков
               Иерархии},
  booktitle = {Труды 8-й Международной конференции по компьютерной лингвистике,
               {COLING} '80, Токио, Япония, 30 сентября - 4 октября 1980 г.},
  pages = {213-219},
  год = {1980},
  url = {https: // www.aclweb.org/anthology/C80-1031/},
  timestamp = {Пн, 16 сен 2019 17:08:53 +0200},
  biburl = {https://dblp.org/rec/conf/coling/AndrekaGN80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / ifip / GergelyU80,
  author = {Там {\ '{a}} с Гергели и
               L {\ '{a}} szl {\' {o}} {\ '{U}} ry},
  editor = {Саймон Х. Лавингтон},
  title = {Спецификация поведения программы посредством явного учета времени},
  booktitle = {Обработка информации, Труды 8-го Конгресса {IFIP} 1980 г.,
               Токио, Япония - 6-9 октября 1980 г. и Мельбурн, Австралия - октябрь.
               14-17, 1980},
  pages = {107–111},
  publisher = {Северная Голландия / IFIP},
  год = {1980},
  timestamp = {пт, 26 июля 2019 22:58:40 +0200},
  biburl = {https: // dblp.org / rec / conf / ifip / GergelyU80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / GergelyS80,
  author = {Там {\ '{a}} с Гергели и
               Микл {\ '{o}} s Sz {\ "{o}} ts},
  title = {О неполноте доказательства частичной корректности},
  journal = {Acta Cybern.},
  объем = {4},
  число = {1},
  pages = {45–57},
  год = {1978},
  url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3165},
  timestamp = {среда, 16 сентября 2020 г., 01:00:00 +0200},
  biburl = {https: // dblp.org / rec / journals / actaC / GergelyS80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / ndjfl / GergelyV78,
  author = {Там {\ '{a}} с Гергели и
               Константин Вершинин},
  title = {Модельное теоретическое исследование методов доказательства теорем},
  journal = {Notre Dame J. Formal Log.},
  объем = {19},
  число = {4},
  pages = {523–542},
  год = {1978},
  url = {https://doi.org/10.1305/ndjfl/1093888501},
  doi = {10.1305 / ndjfl / 1093888501},
  timestamp = {Thu, 21 May 2020 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/ndjfl/GergelyV78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@article {DBLP: journals / actaC / GergelyN76,
  author = {Там {\ '{a}} с Гергели и
               Istv {\ '{a}} n N {\' {e}} meti},
  title = {Логические основы общей теории систем},
  journal = {Acta Cybern.},
  объем = {2},
  число = {3},
  pages = {261–276},
  год = {1975},
  url = {https: // кибер.bibl.u-szeged.hu/index.php/actcybern/article/view/3120},
  timestamp = {среда, 16 сентября 2020 г., 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/actaC/GergelyN76.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

@inproceedings {DBLP: conf / ijcai / AndrekaGN75,
  author = {Хайнал Андр {\ '{e}} ка и
               Там {\ '{a}} Гергели и
               Istv {\ '{a}} n N {\' {e}} meti},
  title = {О роли концепции математического языка в теории интеллектуального
               Системы},
  booktitle = {Предварительные доклады Четвертой Международной совместной конференции по искусственному
               Разведка, Тбилиси, Грузия, СССР, 3-8 сентября 1975 г.},
  pages = {9–14},
  год = {1975},
  url = {http: // ijcai.org / Proceedings / 75 / Papers / 002.pdf},
  timestamp = {Вт, 20 августа 2019 г. 16:17:24 +0200},
  biburl = {https://dblp.org/rec/conf/ijcai/AndrekaGN75.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
 

Долгопрудный, Россия Прогноз погоды на 14 дней