Ханс-Йорг Креовски

Ханс-Йорг Креовски
Ханс-Йорг Креовски
Рожденный	10 августа 1949 г. (75 лет)
Национальность	немецкий
Образование	Технический университет Берлина
Альма-матер	Технический университет Берлина
	Научная карьера
Поля	Теоретическая информатика
Учреждения	Бременский университет
Диссертация	Манипуляции с графическими манипуляциями (1978)
Докторантура	Хартмут Эриг

Ханс-Йорг Креовски (родился 10 августа 1949 г.) — профессор информатики на Бременского университета северо-западе Германии. Его основная область исследований — теоретическая информатика с упором на преобразование графов , алгебраическую спецификацию и синтаксическую обработку изображений. Он также является членом Форума компьютерных ученых за мир и социальную ответственность [ de ] (FIfF).

Образование и карьера

Ханс-Йорг Креовски изучал математику с 1969 по 1974 год в Берлинском техническом университете в Германии, получив стипендию Studienstiftung des deutschen Volkes . С 1974 по 1978 год он работал научным сотрудником на кафедре информатики Берлинского технического университета , где написал докторскую диссертацию по манипуляциям с преобразованиями графов , а затем занял должность доцента. Он получил докторскую степень был назначен профессором теоретической информатики в Бременском университете в 1982 году и в том же году в Германии. Там вместе с такими коллегами, как Фридер Наке , Вольфганг Кой, Клаус-Петер Лёр и Герман Геринг, он существенно повлиял на развитие кафедры информатики.

В 1985 году Креовски был приглашенным исследователем в Исследовательском центре IBM TJ Watson в Йорктаун-Хайтс (Нью-Йорк, США). Он основал рабочую группу IFIP 1.3 (Основы системных спецификаций) в 1992 году и был ее первым председателем до 1997 года. Он также является членом Европейской ассоциации теоретической информатики (EATCS), Gesellschaft für Informatik и Форума компьютерных технологий. «Учёные за мир и социальную ответственность», которую он возглавлял с 2003 по 2009 год. В 1996 году ему была присвоена награда Награда Международной федерации обработки информации за выдающиеся заслуги , а в 2001 году он был награжден Серебряным ядром ИФИП . ^{[ 1 ]}^{[ 2 ]} С 2013 года Ханс Йорг Креовски также является членом Научного общества Лейбница . ^{[ 3 ]}

Исследовать

Креовски является автором более 160 научных публикаций, внесших фундаментальный вклад в теорию и приложения преобразования графов , генерации синтаксических изображений и алгебраической спецификации . ^{[ 4 ]}^{[ 5 ]} Он был соредактором более 15 книг, в том числе двух руководств по преобразованию графов. ^{[ 6 ]}^{[ 7 ]} Отредактированные книги охватывают его основные области исследований и такие разнообразные темы, как информатика и общество, логистика и формальные методы программного обеспечения и системного моделирования. ^{[ 8 ]}^{[ 9 ]}^{[ 10 ]}^{[ 11 ]} В течение многих лет он был редактором рубрики «Вопросы образования» в Бюллетене Европейской ассоциации теоретической информатики .

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

Креовски, Ханс-Йорг; Куске, Сабина (2012). «Трансформируемость полиномиального графа» . Теоретическая информатика . 429 : 193–201. дои : 10.1016/j.tcs.2011.12.039 . .
Креовски, Ханс-Йорг; Куске, Сабина (2011). «Преобразование мультимножеств графов - новая основа для массово-параллельных вычислений, вдохновленная вычислениями ДНК». Естественные вычисления . 10 (2): 961–986. дои : 10.1007/s11047-010-9245-6 . S2CID 13576985 . .
Креовски, Ханс-Йорг; Куске, Сабина; фон Тотт, Кэролайн (2011). «Моделирование производственных сетей с дискретными процессами средствами сообществ автономных единиц». Логистические исследования . 3 (2–3): 159–175. CiteSeerX 10.1.1.221.821 . дои : 10.1007/s12159-011-0054-9 . S2CID 17050132 . .
Хёльшер, Карстен; Креовски, Ханс-Йорг; Куске, Сабина (2009). «Автономные устройства для моделирования взаимодействующих последовательных и параллельных процессов». Фундамента информатики . 92 (3): 233–257. дои : 10.3233/FI-2009-0073 . .
Куске, Сабина; Гоголла, Мартин; Креовски, Ханс-Йорг; Циманн, Пол (2009). «На пути к интегрированной семантике на основе графов для UML». Программное обеспечение и моделирование систем . 8 (3): 403–422. дои : 10.1007/s10270-008-0101-4 . S2CID 8866591 . .
Бусато, Джорджо; Креовски, Ханс-Йорг; Куске, Сабина (2005). «Преобразование абстрактного иерархического графа». Математические структуры в информатике . 15 (4): 773–819. CiteSeerX 10.1.1.164.7782 . дои : 10.1017/s0960129505004846 . S2CID 14709890 . .
Древес, Фрэнк; Клемпиен-Хинрикс, Рената; Креовски, Ханс-Йорг (2003). «Табличные и контекстно-зависимые языки коллажей». Журнал автоматов, языков и комбинаторики . 8 :5–24. .
Древес, Фрэнк; Эверт, Сигрид; Клемпиен-Хинрикс, Рената; Креовски, Ханс-Йорг (2003). «Вычисление растровых изображений на основе грамматик сеточных изображений». Журнал автоматов, языков и комбинаторики . 8 : 499–519. .
Креовски, Ханс-Йорг; Куске, Сабина (1999). «Единицы преобразования графов с семантикой чередования». Формальные аспекты вычислений . 11 (6): 690–723. CiteSeerX 10.1.1.57.1385 . дои : 10.1007/s001659970005 . S2CID 818602 . .
Хабель, Аннегрет; Креовски, Ханс-Йорг; Таубенбергер, Стефан (1993). «Коллажи и узоры, созданные путем замены Hyperedge». Языки дизайна . 1 : 125–145. .

Ссылки

^ «Информационный бюллетень ИФИП, декабрь 1996 г.» .
^ «Протокол Генеральной ассамблеи ИФИП, 2001 г.» (PDF) .
^ «Члены Общества Лейбница» .
^ Ханс-Йорг Креовски на DBLP библиографическом сервере
^ Древес, Фрэнк; Хабель, Аннегрет; Хоффманн, Бертольд; и др. (ред.). «Манипуляции с графиками, алгебрами и изображениями: очерки, посвященные Хансу-Йоргу Креовскому по случаю его 60-летия» (PDF) .
^ Эриг, Хатмут; Энгельс, Грегор; Креовски, Ханс-Йорг; и др., ред. (1999). Справочник по грамматикам графов и вычислениям путем преобразования графов, Vol. 2: Приложения, языки и инструменты . Сингапур: World Scientific.
^ Эриг, Хартмут; Креовски, Ханс-Йорг; Монтанари, Уго; и др., ред. (1999). Справочник по грамматикам графов и вычислениям путем преобразования графов, Vol. Глава 3: Параллелизм, параллелизм и распределение . Всемирная научная.
^ Астезиано, Эджидио; Креовски, Ханс-Йорг; Криг-Брюкнер, Бернд, ред. (1999). Алгебраические основы спецификации систем . Спрингер.
^ Креовски, Ханс-Йорг, изд. Информатика и общество . Издательство ЛИТ. ISBN 9783825887681 .
^ Креовски, Ханс-Йорг; Шольц-Рейтер, Бернд; Тобен, Клаус-Дитер, ред. (2013). Динамика в логистике, Третья международная конференция, LDIC 2012, Бремен, Германия, февраль/март 2012 г., материалы. Конспект лекций по логистике . Спрингер.
^ Креовски, Ханс-Йорг; Монтанари, Уго; Орехас, Фернандо; Розенберг, Гжегож; Тэнцер, Габриэле, ред. (2005). Формальные методы в моделировании программного обеспечения и систем. Том 3393 конспектов лекций по информатике . Спрингер.

Внешние ссылки

[1] «Информационный бюллетень ИФИП, декабрь 1996 г.» .

[2] «Протокол Генеральной ассамблеи ИФИП, 2001 г.» (PDF) .

[3] «Члены Общества Лейбница» .

[4] Ханс-Йорг Креовски на DBLP библиографическом сервере

[5] Древес, Фрэнк; Хабель, Аннегрет; Хоффманн, Бертольд; и др. (ред.). «Манипуляции с графиками, алгебрами и изображениями: очерки, посвященные Хансу-Йоргу Креовскому по случаю его 60-летия» (PDF) .

[6] Эриг, Хатмут; Энгельс, Грегор; Креовски, Ханс-Йорг; и др., ред. (1999). Справочник по грамматикам графов и вычислениям путем преобразования графов, Vol. 2: Приложения, языки и инструменты . Сингапур: World Scientific.

[7] Эриг, Хартмут; Креовски, Ханс-Йорг; Монтанари, Уго; и др., ред. (1999). Справочник по грамматикам графов и вычислениям путем преобразования графов, Vol. Глава 3: Параллелизм, параллелизм и распределение . Всемирная научная.

[8] Астезиано, Эджидио; Креовски, Ханс-Йорг; Криг-Брюкнер, Бернд, ред. (1999). Алгебраические основы спецификации систем . Спрингер.

[9] Креовски, Ханс-Йорг, изд. Информатика и общество . Издательство ЛИТ. ISBN 9783825887681 .

[10] Креовски, Ханс-Йорг; Шольц-Рейтер, Бернд; Тобен, Клаус-Дитер, ред. (2013). Динамика в логистике, Третья международная конференция, LDIC 2012, Бремен, Германия, февраль/март 2012 г., материалы. Конспект лекций по логистике . Спрингер.

[11] Креовски, Ханс-Йорг; Монтанари, Уго; Орехас, Фернандо; Розенберг, Гжегож; Тэнцер, Габриэле, ред. (2005). Формальные методы в моделировании программного обеспечения и систем. Том 3393 конспектов лекций по информатике . Спрингер.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Проект математической генеалогии ОРЦИД Скопус zbMATH
Другой	ИдРеф