Нахум Дершовиц - Nachum Dershowitz

Нахум Дершовиц
ИзвестенЗаказ Дершовица – Манна
НаградыПремия Herbrand 2011[1]
Научная карьера
ПоляИзменение срока
ТезисЭволюция программ (1979)
ДокторантЗохар Манна
Интернет сайтhttp://www.cs.tau.ac.il/~nachumd/Homepage.html

Нахум Дершовиц Израильский ученый-компьютерщик, известный, например, для Заказ Дершовица – Манна используется, чтобы доказать прекращение действия систем перезаписи терминов.

Он получил степень бакалавра наук. с отличием в 1974 г. по информатике и прикладной математике от Университет Бар-Илан, и его докторская степень. в 1979 г. по специальности «Прикладная математика» Институт науки Вейцмана С 1978 года работал на кафедре компьютерных наук Иллинойсский университет в Урбана-Шампейн, пока он не стал полный профессор из Тель-авивский университет (Школа компьютерных наук) в 1998 году. Он был приглашенным исследователем в Институт Вейцмана, INRIA, ENS Cachan, Microsoft Research, и университеты Стэнфорд, Париж, Иерусалим, Чикаго, и Пекин,.[2]

Избранные публикации

  • Нахум Дершовиц и Зохар Манна (1977). «Эволюция программ: система автоматической модификации программ» (PDF). Proc. POPL. С. 144–154.
  • Нахум Дершовиц и Зохар Манна (Август 1979 г.). «Доказательство завершения с помощью множественных порядков» (PDF). Коммуникации ACM. 22 (8): 465–476. CiteSeerX  10.1.1.1013.432. Дои:10.1145/359138.359142.
  • Н. Дершовиц (октябрь 1979 г.). «Заказы на системы перезаписи терминов». Proc. 20-й симпозиум по основам информатики (FOCS). С. 123–131.
  • Н. Дершовиц (1981). «Прекращение линейных систем перезаписи: предварительная версия». В Шимоне Эвен; Одед Карив (ред.). Proc. ИКАЛП. LNCS. 115. Springer. С. 448–458.
  • Н. Дершовиц (1982). "Заказы на системы перезаписи терминов" (PDF). Теорет. Comput. Sci. 17 (3): 279–301. Дои:10.1016/0304-3975(82)90026-3.
  • Дершовиц, Н. (1985). «Прекращение действия» (PDF). В Жан-Пьер Жуанно (ред.). Методы перезаписи и приложения, 1st Int. Конф., РТА-85. LNCS. 202. Springer. С. 180–224.
  • Бахмэр, Л., Дершовиц, Н. и Сян, Дж. (Июнь 1986 г.). «Заказы на уравнительные доказательства». Proc. Симпозиум IEEE по логике в компьютерных науках (LICS). Кембридж / Массачусетс. С. 346–357.CS1 maint: несколько имен: список авторов (связь)
  • Бахмар, Л. и Дершовиц, Н. (1987). «Дополнение для переписывания по модулю конгруэнтности». В Lescanne, Пьер (ред.). Методы перезаписи и приложения, 2nd Int. Конф., РТА-87. LNCS. 256. Springer. С. 192–203.
  • Нахум Дершовиц (1987). «Прекращение перезаписи» (PDF). J. Symbolic Comput. 3 (1–2): 69–116. Дои:10.1016 / s0747-7171 (87) 80022-6.
  • Н. Дершовиц и М. Окада (1988). "Теоретико-доказательные методы теории перезаписи термов". Proc. 3-й симпозиум IEEE. по логике в компьютерных науках (PDF). С. 104–111.
  • Н. Дершовиц и Г. Сивакумар (1988). «Решение задач в равноправных языках». Proc. 1-й Int. Семинар по системам условной перезаписи терминов. LNCS. 308. Springer. С. 45–55.
  • Дершовиц, Начум, изд. (1989). Методы перезаписи и приложения, 3-е Int. Конф., РТА-89. LNCS. 355. Springer.
  • Н. Дершовиц и Ж.-П. Жуанно (1990). «Системы перезаписи». В Ян ван Леувен (ред.). Формальные модели и семантика. Справочник по теоретической информатике. B. Эльзевир. С. 243–320.
  • Н. Дершовиц и Ж.-П. Жуанно (1990). «Обозначения для перезаписи». Цитировать журнал требует | журнал = (помощь)
  • Дершовиц, Н. и Жуано, Ж.-П. и Ян Виллем Клоп (1991). «Открытые проблемы перезаписи». В Рональд В. Книга (ред.). Методы перезаписи и приложения, 4th Int. Конф., РТА-91. LNCS. 488. Springer. С. 445–456.CS1 maint: несколько имен: список авторов (связь)
  • Дершовиц, Н. и Жуано, Ж.-П. и Клоп, Дж. (1993). «Больше проблем при перезаписи». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93. LNCS. 690. Springer. С. 468–487.CS1 maint: несколько имен: список авторов (связь)
  • Нахум Дершовиц (апрель 1993 г.). «Деревья, ординалы и прекращение». Proc. CAAP / TAPSOFT (PDF). LNCS. 668. Springer. С. 243–250.
  • Дершовиц, Н. и Хут, К. (1993). «Темы в увольнении». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93. LNCS. 690. Springer. С. 198–212.
  • Дершовиц, Н. (1997). «Безобидные комбинации конструктора и совместного использования». В Comon, Hubert (ред.). Методы переписывания и приложения, 8-е межд. Конф., РТА-97. LNCS. 1232. Springer. С. 202–216.
  • Дершовиц, Нахум и Рейнгольд, Эдвард М., Календарные расчеты, Издательство Кембриджского университета, ISBN  0521702380, 1997
  • Дершовиц, Н. и Трейнен, Р. (1998). «Он-лайн база данных проблем». В Тобиас Нипков (ред.). Методы перезаписи и приложения, 9-е Int. Конф., РТА-98. LNCS. 1379. Springer. С. 332–342.
  • Дершовиц, Н. и Митра, С. (1999). «Опасность». В Нарендран, Палиат и Русинович, Михаэль (ред.). Методы перезаписи и приложения, 10-е Int. Конф., РТА-99. LNCS. 1631. Springer. С. 16–29.
  • Нахум Дершовиц и Дэвид А. Плейстед (2001). «Переписывание (Глава 9)». В Алан Робинсон; Андрей Воронков (ред.). Справочник по автоматическому мышлению. MIT Press + Elsevier. С. 535–610.
  • Дершовиц, Н. (2005). «Перезапись терминов и приложения». В Giesl, J. (ред.). Изменение сроков и заявки, 16-е межд. Конф., РТА-05. LNCS. 3467. Springer. С. 376–393. ISBN  978-3-540-25596-3.
  • Дершовиц, Н. и Кастедо Эллерман, Э. (2005). «Наименьшие квазиупорядочения». В Giesl, J. (ред.). Изменение сроков и заявки, 16-е Int. Конф., РТА-05. LNCS. 3467. Springer. С. 32–45. ISBN  978-3-540-25596-3.
  • Дершовиц, Начум 2005. Четыре сына Пенроуза, в Материалы одиннадцатой конференции по Логика для программирования, искусственного интеллекта и рассуждений (LPAR; Ямайка), Г. Сатклифф и А. Воронков, ред., Лекционные заметки по информатике, т. 3835, Springer-Verlag, Берлин, стр. 125–138.

Рекомендации

  1. ^ Адрес награды Herbrand
  2. ^ Vita в Academia Europaea

внешняя ссылка