Formal Methods in System Design

Springer Nature

ISSN: 09259856, 15728102

Публикации журнала в Cobalt

Вы ученый?

Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.

Войти с ORCID

SCImago

WOS

БС

БС2

Impact factor

SJR

0.29

CiteScore

2.1

Предметные категории

Hardware and Architecture

Software

Theoretical Computer Science

Предметные области

Computer Science

Mathematics

Годы выпуска

1992-2026

Варианты названий

Formal Methods in System Design

Страница журнала в БС

Сайт журнала

за всё время с 2021

Публикаций

806

Цитирований

16 056

Индекс Хирша

Публикаций

143

Цитирований

3 874

Топ-3 цитирующих журналов

Lecture Notes in Computer Science (5131 цитирование)

Formal Methods in System Design (349 цитирований)

International Journal on Software Tools for Technology Transfer (298 цитирований)

Топ-3 организаций

за всё время за 5 лет

Национальный институт исследований в информатике и автоматике (54 публикации)

Технион - израильский технологический институт (37 публикаций)

Университет Карнеги — Меллона (35 публикаций)

Национальный институт исследований в информатике и автоматике (12 публикаций)

Венский технический университет (8 публикаций)

Фрайбургский университет имени Альберта и Людвига (6 публикаций)

Топ-3 стран

за всё время за 5 лет

США (302 публикации)

Франция (125 публикаций)

Германия (112 публикаций)

США (22 публикации)

Германия (18 публикаций)

Великобритания (17 публикаций)

Топ-1 учёных по количеству статей

1 публикация в журнале

Шлехубер-Кессье Филипп

6 публикаций, 80 цитирований

Индекс Хирша 3

Политехнический институт Парижа

Наиболее цитируемые за 5 лет

Название публикации

Топ-100

Цитирующие журналы

Цитирующие издатели

	1000 2000 3000 4000 5000 6000 7000
Springer Nature	Springer Nature, 6913, 43.06% Springer Nature 6913 цитирований, 43.06%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 3148, 19.61% Institute of Electrical and Electronics Engineers (IEEE) 3148 цитирований, 19.61%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1814, 11.3% Association for Computing Machinery (ACM) 1814 цитирований, 11.3%
Elsevier	Elsevier, 1755, 10.93% Elsevier 1755 цитирований, 10.93%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 248, 1.54% electronic proceedings in theoretical computer science, eptcs 248 цитирований, 1.54%
Wiley	Wiley, 124, 0.77% Wiley 124 цитирования, 0.77%
MDPI	MDPI, 118, 0.73% MDPI 118 цитирований, 0.73%
World Scientific	World Scientific, 60, 0.37% World Scientific 60 цитирований, 0.37%
Hindawi Limited	Hindawi Limited, 51, 0.32% Hindawi Limited 51 цитирование, 0.32%
Institution of Engineering and Technology (IET)	Institution of Engineering and Technology (IET), 45, 0.28% Institution of Engineering and Technology (IET) 45 цитирований, 0.28%
Cambridge University Press	Cambridge University Press, 43, 0.27% Cambridge University Press 43 цитирования, 0.27%
Oxford University Press	Oxford University Press, 43, 0.27% Oxford University Press 43 цитирования, 0.27%
IGI Global	IGI Global, 43, 0.27% IGI Global 43 цитирования, 0.27%
Taylor & Francis	Taylor & Francis, 39, 0.24% Taylor & Francis 39 цитирований, 0.24%
SAGE	SAGE, 26, 0.16% SAGE 26 цитирований, 0.16%
Pleiades Publishing	Pleiades Publishing, 23, 0.14% Pleiades Publishing 23 цитирования, 0.14%
American Institute of Aeronautics and Astronautics (AIAA)	American Institute of Aeronautics and Astronautics (AIAA), 20, 0.12% American Institute of Aeronautics and Astronautics (AIAA) 20 цитирований, 0.12%
Institute of Electronics, Information and Communications Engineers (IEICE)	Institute of Electronics, Information and Communications Engineers (IEICE), 20, 0.12% Institute of Electronics, Information and Communications Engineers (IEICE) 20 цитирований, 0.12%
EDP Sciences	EDP Sciences, 17, 0.11% EDP Sciences 17 цитирований, 0.11%
IOS Press	IOS Press, 16, 0.1% IOS Press 16 цитирований, 0.1%
Science in China Press	Science in China Press, 14, 0.09% Science in China Press 14 цитирований, 0.09%
De Gruyter Brill	De Gruyter Brill, 12, 0.07% De Gruyter Brill 12 цитирований, 0.07%
Trans Tech Publications	Trans Tech Publications, 12, 0.07% Trans Tech Publications 12 цитирований, 0.07%
Open Publishing Association	Open Publishing Association, 12, 0.07% Open Publishing Association 12 цитирований, 0.07%
The Royal Society	The Royal Society, 10, 0.06% The Royal Society 10 цитирований, 0.06%
Frontiers Media S.A.	Frontiers Media S.A., 9, 0.06% Frontiers Media S.A. 9 цитирований, 0.06%
Morgan & Claypool Publishers	Morgan & Claypool Publishers, 9, 0.06% Morgan & Claypool Publishers 9 цитирований, 0.06%
Society for Industrial and Applied Mathematics (SIAM)	Society for Industrial and Applied Mathematics (SIAM), 9, 0.06% Society for Industrial and Applied Mathematics (SIAM) 9 цитирований, 0.06%
Information Processing Society of Japan	Information Processing Society of Japan, 9, 0.06% Information Processing Society of Japan 9 цитирований, 0.06%
IOP Publishing	IOP Publishing, 9, 0.06% IOP Publishing 9 цитирований, 0.06%
P.G. Demidov Yaroslavl State University	P.G. Demidov Yaroslavl State University, 9, 0.06% P.G. Demidov Yaroslavl State University 9 цитирований, 0.06%
Emerald	Emerald, 8, 0.05% Emerald 8 цитирований, 0.05%
Public Library of Science (PLoS)	Public Library of Science (PLoS), 7, 0.04% Public Library of Science (PLoS) 7 цитирований, 0.04%
Technischen Universitat Braunschweig	Technischen Universitat Braunschweig, 7, 0.04% Technischen Universitat Braunschweig 7 цитирований, 0.04%
	, 6, 0.04% 6 цитирований, 0.04%
proceedings - international conference on software engineering	proceedings - international conference on software engineering, 6, 0.04% proceedings - international conference on software engineering 6 цитирований, 0.04%
PeerJ	PeerJ, 6, 0.04% PeerJ 6 цитирований, 0.04%
Annual Reviews	Annual Reviews, 6, 0.04% Annual Reviews 6 цитирований, 0.04%
AIP Publishing	AIP Publishing, 5, 0.03% AIP Publishing 5 цитирований, 0.03%
Chinese Academy of Sciences	Chinese Academy of Sciences, 5, 0.03% Chinese Academy of Sciences 5 цитирований, 0.03%
International Academy Publishing (IAP)	International Academy Publishing (IAP), 5, 0.03% International Academy Publishing (IAP) 5 цитирований, 0.03%
China Science Publishing & Media	China Science Publishing & Media, 4, 0.02% China Science Publishing & Media 4 цитирования, 0.02%
European Control Association	European Control Association, 4, 0.02% European Control Association 4 цитирования, 0.02%
American Institute of Mathematical Sciences (AIMS)	American Institute of Mathematical Sciences (AIMS), 3, 0.02% American Institute of Mathematical Sciences (AIMS) 3 цитирования, 0.02%
Zhejiang University Press	Zhejiang University Press, 3, 0.02% Zhejiang University Press 3 цитирования, 0.02%
American Physical Society (APS)	American Physical Society (APS), 3, 0.02% American Physical Society (APS) 3 цитирования, 0.02%
Science Publications	Science Publications, 3, 0.02% Science Publications 3 цитирования, 0.02%
midwest symposium on circuits and systems	midwest symposium on circuits and systems, 3, 0.02% midwest symposium on circuits and systems 3 цитирования, 0.02%
proceedings of the international symposium on multiple-valued logic	proceedings of the international symposium on multiple-valued logic, 3, 0.02% proceedings of the international symposium on multiple-valued logic 3 цитирования, 0.02%
Scientific Research Publishing	Scientific Research Publishing, 3, 0.02% Scientific Research Publishing 3 цитирования, 0.02%
MIT Press	MIT Press, 2, 0.01% MIT Press 2 цитирования, 0.01%
The Research Council of Norway	The Research Council of Norway, 2, 0.01% The Research Council of Norway 2 цитирования, 0.01%
proceedings of the vldb endowment	proceedings of the vldb endowment, 2, 0.01% proceedings of the vldb endowment 2 цитирования, 0.01%
Wuhan University	Wuhan University, 2, 0.01% Wuhan University 2 цитирования, 0.01%
Science Alert	Science Alert, 2, 0.01% Science Alert 2 цитирования, 0.01%
Now Publishers	Now Publishers, 2, 0.01% Now Publishers 2 цитирования, 0.01%
SciELO	SciELO, 2, 0.01% SciELO 2 цитирования, 0.01%
Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften	Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften, 2, 0.01% Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften 2 цитирования, 0.01%
SAE International	SAE International, 2, 0.01% SAE International 2 цитирования, 0.01%
Hans Publishers	Hans Publishers, 2, 0.01% Hans Publishers 2 цитирования, 0.01%
American Society for Microbiology	American Society for Microbiology, 1, 0.01% American Society for Microbiology 1 цитирование, 0.01%
Proceedings of the National Academy of Sciences (PNAS)	Proceedings of the National Academy of Sciences (PNAS), 1, 0.01% Proceedings of the National Academy of Sciences (PNAS) 1 цитирование, 0.01%
American Association for the Advancement of Science (AAAS)	American Association for the Advancement of Science (AAAS), 1, 0.01% American Association for the Advancement of Science (AAAS) 1 цитирование, 0.01%
Mary Ann Liebert	Mary Ann Liebert, 1, 0.01% Mary Ann Liebert 1 цитирование, 0.01%
Asian Network for Scientific Information	Asian Network for Scientific Information, 1, 0.01% Asian Network for Scientific Information 1 цитирование, 0.01%
University of Szeged, Institute of Informatics	University of Szeged, Institute of Informatics, 1, 0.01% University of Szeged, Institute of Informatics 1 цитирование, 0.01%
American Scientific Publishers	American Scientific Publishers, 1, 0.01% American Scientific Publishers 1 цитирование, 0.01%
Institute for Operations Research and the Management Sciences (INFORMS)	Institute for Operations Research and the Management Sciences (INFORMS), 1, 0.01% Institute for Operations Research and the Management Sciences (INFORMS) 1 цитирование, 0.01%
Japan Society of Applied Physics	Japan Society of Applied Physics, 1, 0.01% Japan Society of Applied Physics 1 цитирование, 0.01%
Academic Publication Council - Kuwait University	Academic Publication Council - Kuwait University, 1, 0.01% Academic Publication Council - Kuwait University 1 цитирование, 0.01%
Fuji Technology Press	Fuji Technology Press, 1, 0.01% Fuji Technology Press 1 цитирование, 0.01%
Beijing University of Posts and Telecommunications	Beijing University of Posts and Telecommunications, 1, 0.01% Beijing University of Posts and Telecommunications 1 цитирование, 0.01%
Rocky Mountain Mathematics Consortium	Rocky Mountain Mathematics Consortium, 1, 0.01% Rocky Mountain Mathematics Consortium 1 цитирование, 0.01%
Shanghai Jiaotong University Press	Shanghai Jiaotong University Press, 1, 0.01% Shanghai Jiaotong University Press 1 цитирование, 0.01%
Lviv Polytechnic National University	Lviv Polytechnic National University, 1, 0.01% Lviv Polytechnic National University 1 цитирование, 0.01%
National Institute of Informatics	National Institute of Informatics, 1, 0.01% National Institute of Informatics 1 цитирование, 0.01%
proceedings of the american control conference	proceedings of the american control conference, 1, 0.01% proceedings of the american control conference 1 цитирование, 0.01%
Acta Physica Sinica, Chinese Physical Society and Institute of Physics, Chinese Academy of Sciences	Acta Physica Sinica, Chinese Physical Society and Institute of Physics, Chinese Academy of Sciences, 1, 0.01% Acta Physica Sinica, Chinese Physical Society and Institute of Physics, Chinese Academy of Sciences 1 цитирование, 0.01%
ComSIS Consortium	ComSIS Consortium, 1, 0.01% ComSIS Consortium 1 цитирование, 0.01%
Polish Maintenance Society	Polish Maintenance Society, 1, 0.01% Polish Maintenance Society 1 цитирование, 0.01%
parallel architectures and compilation techniques - conference proceedings, pact	parallel architectures and compilation techniques - conference proceedings, pact, 1, 0.01% parallel architectures and compilation techniques - conference proceedings, pact 1 цитирование, 0.01%
ASME International	ASME International, 1, 0.01% ASME International 1 цитирование, 0.01%
American Psychological Association (APA)	American Psychological Association (APA), 1, 0.01% American Psychological Association (APA) 1 цитирование, 0.01%
S. Karger AG	S. Karger AG, 1, 0.01% S. Karger AG 1 цитирование, 0.01%
American Society of Civil Engineers (ASCE)	American Society of Civil Engineers (ASCE), 1, 0.01% American Society of Civil Engineers (ASCE) 1 цитирование, 0.01%
SPIE-Intl Soc Optical Eng	SPIE-Intl Soc Optical Eng, 1, 0.01% SPIE-Intl Soc Optical Eng 1 цитирование, 0.01%
Inderscience Publishers	Inderscience Publishers, 1, 0.01% Inderscience Publishers 1 цитирование, 0.01%
F1000 Research	F1000 Research, 1, 0.01% F1000 Research 1 цитирование, 0.01%
Cellule MathDoc/Centre Mersenne	Cellule MathDoc/Centre Mersenne, 1, 0.01% Cellule MathDoc/Centre Mersenne 1 цитирование, 0.01%
IntechOpen	IntechOpen, 1, 0.01% IntechOpen 1 цитирование, 0.01%
Uniwersytet Lodzki (University of Lodz)	Uniwersytet Lodzki (University of Lodz), 1, 0.01% Uniwersytet Lodzki (University of Lodz) 1 цитирование, 0.01%
Apex Publishing	Apex Publishing, 1, 0.01% Apex Publishing 1 цитирование, 0.01%
openRxiv	openRxiv, 1, 0.01% openRxiv 1 цитирование, 0.01%

	1000 2000 3000 4000 5000 6000 7000

Публикующиеся организации

	10 20 30 40 50 60
Национальный институт исследований в информатике и автоматике	Национальный институт исследований в информатике и автоматике, 54, 6.7% Национальный институт исследований в информатике и автоматике 54 публикации, 6.7%
Технион - израильский технологический институт	Технион - израильский технологический институт, 37, 4.59% Технион - израильский технологический институт 37 публикаций, 4.59%
Университет Карнеги — Меллона	Университет Карнеги — Меллона, 35, 4.34% Университет Карнеги — Меллона 35 публикаций, 4.34%
Калифорнийский университет в Беркли	Калифорнийский университет в Беркли, 27, 3.35% Калифорнийский университет в Беркли 27 публикаций, 3.35%
Университет Гренобль-Альпы	Университет Гренобль-Альпы, 25, 3.1% Университет Гренобль-Альпы 25 публикаций, 3.1%
Высшая педагогическая школа Париж-Сакле	Высшая педагогическая школа Париж-Сакле, 25, 3.1% Высшая педагогическая школа Париж-Сакле 25 публикаций, 3.1%
Оксфордский университет	Оксфордский университет, 25, 3.1% Оксфордский университет 25 публикаций, 3.1%
Венский технический университет	Венский технический университет, 25, 3.1% Венский технический университет 25 публикаций, 3.1%
Стэнфордский университет	Стэнфордский университет, 22, 2.73% Стэнфордский университет 22 публикации, 2.73%
Университет Райса	Университет Райса, 18, 2.23% Университет Райса 18 публикаций, 2.23%
Техасский университет в Остине	Техасский университет в Остине, 17, 2.11% Техасский университет в Остине 17 публикаций, 2.11%
Пенсильванский университет	Пенсильванский университет, 16, 1.99% Пенсильванский университет 16 публикаций, 1.99%
Уппсальский университет	Уппсальский университет, 15, 1.86% Уппсальский университет 15 публикаций, 1.86%
Иллинойсский университет в Урбане-Шампейне	Иллинойсский университет в Урбане-Шампейне, 15, 1.86% Иллинойсский университет в Урбане-Шампейне 15 публикаций, 1.86%
Фрайбургский университет имени Альберта и Людвига	Фрайбургский университет имени Альберта и Людвига, 15, 1.86% Фрайбургский университет имени Альберта и Людвига 15 публикаций, 1.86%
Мюнхенский технический университет	Мюнхенский технический университет, 14, 1.74% Мюнхенский технический университет 14 публикаций, 1.74%
Университет Уотерлу	Университет Уотерлу, 14, 1.74% Университет Уотерлу 14 публикаций, 1.74%
Университет Париж-Сите	Университет Париж-Сите, 13, 1.61% Университет Париж-Сите 13 публикаций, 1.61%
Рейнско-Вестфальский технический университет Ахена	Рейнско-Вестфальский технический университет Ахена, 13, 1.61% Рейнско-Вестфальский технический университет Ахена 13 публикаций, 1.61%
Швейцарская высшая техническая школа Цюриха	Швейцарская высшая техническая школа Цюриха, 12, 1.49% Швейцарская высшая техническая школа Цюриха 12 публикаций, 1.49%
Университет Ольборга	Университет Ольборга, 12, 1.49% Университет Ольборга 12 публикаций, 1.49%
Нью-Йоркский университет	Нью-Йоркский университет, 12, 1.49% Нью-Йоркский университет 12 публикаций, 1.49%
Еврейский университет в Иерусалиме	Еврейский университет в Иерусалиме, 11, 1.36% Еврейский университет в Иерусалиме 11 публикаций, 1.36%
Университет Колорадо в Боулдере	Университет Колорадо в Боулдере, 11, 1.36% Университет Колорадо в Боулдере 11 публикаций, 1.36%
Институт науки и технологий Австрии	Институт науки и технологий Австрии, 10, 1.24% Институт науки и технологий Австрии 10 публикаций, 1.24%
Политехнический институт Гренобля	Политехнический институт Гренобля, 10, 1.24% Политехнический институт Гренобля 10 публикаций, 1.24%
Федеральная политехническая школа Лозанны	Федеральная политехническая школа Лозанны, 9, 1.12% Федеральная политехническая школа Лозанны 9 публикаций, 1.12%
Технический университет Эйндховена	Технический университет Эйндховена, 9, 1.12% Технический университет Эйндховена 9 публикаций, 1.12%
Кембриджский университет	Кембриджский университет, 9, 1.12% Кембриджский университет 9 публикаций, 1.12%
Институт программных систем Общества Макса Планка	Институт программных систем Общества Макса Планка, 9, 1.12% Институт программных систем Общества Макса Планка 9 публикаций, 1.12%
Грацский технический университет	Грацский технический университет, 9, 1.12% Грацский технический университет 9 публикаций, 1.12%
Саарский университет	Саарский университет, 9, 1.12% Саарский университет 9 публикаций, 1.12%
Университет Иоганна Кеплера в Линце	Университет Иоганна Кеплера в Линце, 9, 1.12% Университет Иоганна Кеплера в Линце 9 публикаций, 1.12%
Университет Торонто	Университет Торонто, 9, 1.12% Университет Торонто 9 публикаций, 1.12%
Исследовательский центр Эймса	Исследовательский центр Эймса, 9, 1.12% Исследовательский центр Эймса 9 публикаций, 1.12%
Университет Лугано	Университет Лугано, 8, 0.99% Университет Лугано 8 публикаций, 0.99%
Ньюкаслский университет	Ньюкаслский университет, 8, 0.99% Ньюкаслский университет 8 публикаций, 0.99%
Технический университет Чалмерса	Технический университет Чалмерса, 7, 0.87% Технический университет Чалмерса 7 публикаций, 0.87%
Туринский политехнический университет	Туринский политехнический университет, 7, 0.87% Туринский политехнический университет 7 публикаций, 0.87%
Лондонский университет королевы Марии	Лондонский университет королевы Марии, 7, 0.87% Лондонский университет королевы Марии 7 публикаций, 0.87%
Университет Сорбонна	Университет Сорбонна, 7, 0.87% Университет Сорбонна 7 публикаций, 0.87%
Манчестерский университет	Манчестерский университет, 7, 0.87% Манчестерский университет 7 публикаций, 0.87%
Брюссельский свободный университет	Брюссельский свободный университет, 7, 0.87% Брюссельский свободный университет 7 публикаций, 0.87%
Калифорнийский технологический институт	Калифорнийский технологический институт, 7, 0.87% Калифорнийский технологический институт 7 публикаций, 0.87%
Ольденбургский университет имени Карла фон Осецкого	Ольденбургский университет имени Карла фон Осецкого, 7, 0.87% Ольденбургский университет имени Карла фон Осецкого 7 публикаций, 0.87%
Университет Висконсин в Мадисоне	Университет Висконсин в Мадисоне, 7, 0.87% Университет Висконсин в Мадисоне 7 публикаций, 0.87%
Университет Юты	Университет Юты, 7, 0.87% Университет Юты 7 публикаций, 0.87%
Университет Париж-Сакле	Университет Париж-Сакле, 7, 0.87% Университет Париж-Сакле 7 публикаций, 0.87%
Университет Мальты	Университет Мальты, 7, 0.87% Университет Мальты 7 публикаций, 0.87%
Индийский институт технологии в Мумбаи	Индийский институт технологии в Мумбаи, 6, 0.74% Индийский институт технологии в Мумбаи 6 публикаций, 0.74%
Университет Твенте	Университет Твенте, 6, 0.74% Университет Твенте 6 публикаций, 0.74%
Университет Бордо	Университет Бордо, 6, 0.74% Университет Бордо 6 публикаций, 0.74%
Дрезденский технический университет	Дрезденский технический университет, 6, 0.74% Дрезденский технический университет 6 публикаций, 0.74%
Ливерпульский университет	Ливерпульский университет, 6, 0.74% Ливерпульский университет 6 публикаций, 0.74%
Технический университет Дании	Технический университет Дании, 6, 0.74% Технический университет Дании 6 публикаций, 0.74%
Массачусетский технологический институт	Массачусетский технологический институт, 6, 0.74% Массачусетский технологический институт 6 публикаций, 0.74%
Иллинойсский университет в Чикаго	Иллинойсский университет в Чикаго, 6, 0.74% Иллинойсский университет в Чикаго 6 публикаций, 0.74%
Брненский технический университет	Брненский технический университет, 6, 0.74% Брненский технический университет 6 публикаций, 0.74%
Университет Айовы	Университет Айовы, 6, 0.74% Университет Айовы 6 публикаций, 0.74%
Индийский институт технологии в Канпуре	Индийский институт технологии в Канпуре, 5, 0.62% Индийский институт технологии в Канпуре 5 публикаций, 0.62%
Институт Вейцмана	Институт Вейцмана, 5, 0.62% Институт Вейцмана 5 публикаций, 0.62%
Льежский университет	Льежский университет, 5, 0.62% Льежский университет 5 публикаций, 0.62%
Гётеборгский университет	Гётеборгский университет, 5, 0.62% Гётеборгский университет 5 публикаций, 0.62%
Университет Осло	Университет Осло, 5, 0.62% Университет Осло 5 публикаций, 0.62%
Национальная лаборатория имени Лоуренса в Беркли	Национальная лаборатория имени Лоуренса в Беркли, 5, 0.62% Национальная лаборатория имени Лоуренса в Беркли 5 публикаций, 0.62%
Национальный университет Сингапура	Национальный университет Сингапура, 5, 0.62% Национальный университет Сингапура 5 публикаций, 0.62%
Университет Стоуни-Брук	Университет Стоуни-Брук, 5, 0.62% Университет Стоуни-Брук 5 публикаций, 0.62%
Корнеллский университет	Корнеллский университет, 5, 0.62% Корнеллский университет 5 публикаций, 0.62%
Бирмингемский университет	Бирмингемский университет, 5, 0.62% Бирмингемский университет 5 публикаций, 0.62%
Пизанский университет	Пизанский университет, 5, 0.62% Пизанский университет 5 публикаций, 0.62%
Принстонский университет	Принстонский университет, 5, 0.62% Принстонский университет 5 публикаций, 0.62%
Йоркский университет	Йоркский университет, 5, 0.62% Йоркский университет 5 публикаций, 0.62%
Университет Кента	Университет Кента, 5, 0.62% Университет Кента 5 публикаций, 0.62%
Университет Ренн	Университет Ренн, 5, 0.62% Университет Ренн 5 публикаций, 0.62%
Университет Конкордия	Университет Конкордия, 5, 0.62% Университет Конкордия 5 публикаций, 0.62%
Исследовательский центр Уотсона	Исследовательский центр Уотсона, 5, 0.62% Исследовательский центр Уотсона 5 публикаций, 0.62%
Университет Тель-Авива	Университет Тель-Авива, 4, 0.5% Университет Тель-Авива 4 публикации, 0.5%
Университет им. Бар-Илана	Университет им. Бар-Илана, 4, 0.5% Университет им. Бар-Илана 4 публикации, 0.5%
Технологический институт Карлсруэ	Технологический институт Карлсруэ, 4, 0.5% Технологический институт Карлсруэ 4 публикации, 0.5%
Университет Неймегена	Университет Неймегена, 4, 0.5% Университет Неймегена 4 публикации, 0.5%
Имперский колледж Лондона	Имперский колледж Лондона, 4, 0.5% Имперский колледж Лондона 4 публикации, 0.5%
Университетский колледж Лондона	Университетский колледж Лондона, 4, 0.5% Университетский колледж Лондона 4 публикации, 0.5%
Университет информационных технологий в Копенгагене	Университет информационных технологий в Копенгагене, 4, 0.5% Университет информационных технологий в Копенгагене 4 публикации, 0.5%
Университет Орхуса	Университет Орхуса, 4, 0.5% Университет Орхуса 4 публикации, 0.5%
Королевский колледж Лондона	Королевский колледж Лондона, 4, 0.5% Королевский колледж Лондона 4 публикации, 0.5%
Трентский университет	Трентский университет, 4, 0.5% Трентский университет 4 публикации, 0.5%
Университет Глазго	Университет Глазго, 4, 0.5% Университет Глазго 4 публикации, 0.5%
Колумбийский университет	Колумбийский университет, 4, 0.5% Колумбийский университет 4 публикации, 0.5%
Институт информатики Общества Макса Планка	Институт информатики Общества Макса Планка, 4, 0.5% Институт информатики Общества Макса Планка 4 публикации, 0.5%
Лаборатория реактивного движения	Лаборатория реактивного движения, 4, 0.5% Лаборатория реактивного движения 4 публикации, 0.5%
Siemens	Siemens, 4, 0.5% Siemens 4 публикации, 0.5%
Университет Пердью	Университет Пердью, 4, 0.5% Университет Пердью 4 публикации, 0.5%
Австрийский технологический институт	Австрийский технологический институт, 4, 0.5% Австрийский технологический институт 4 публикации, 0.5%
Университет Сорбонна Париж Север	Университет Сорбонна Париж Север, 4, 0.5% Университет Сорбонна Париж Север 4 публикации, 0.5%
Мадридский университет Комплутенсе	Мадридский университет Комплутенсе, 4, 0.5% Мадридский университет Комплутенсе 4 публикации, 0.5%
Университет им. Бен-Гуриона	Университет им. Бен-Гуриона, 3, 0.37% Университет им. Бен-Гуриона 3 публикации, 0.37%
Университет Генуи	Университет Генуи, 3, 0.37% Университет Генуи 3 публикации, 0.37%
Университет Лотарингии	Университет Лотарингии, 3, 0.37% Университет Лотарингии 3 публикации, 0.37%
Неаполитанский университет имени Фридриха II	Неаполитанский университет имени Фридриха II, 3, 0.37% Неаполитанский университет имени Фридриха II 3 публикации, 0.37%
Туринский университет	Туринский университет, 3, 0.37% Туринский университет 3 публикации, 0.37%

	10 20 30 40 50 60

Публикующиеся организации за 5 лет

	2 4 6 8 10 12
Национальный институт исследований в информатике и автоматике	Национальный институт исследований в информатике и автоматике, 12, 8.39% Национальный институт исследований в информатике и автоматике 12 публикаций, 8.39%
Венский технический университет	Венский технический университет, 8, 5.59% Венский технический университет 8 публикаций, 5.59%
Фрайбургский университет имени Альберта и Людвига	Фрайбургский университет имени Альберта и Людвига, 6, 4.2% Фрайбургский университет имени Альберта и Людвига 6 публикаций, 4.2%
Индийский институт технологии в Канпуре	Индийский институт технологии в Канпуре, 5, 3.5% Индийский институт технологии в Канпуре 5 публикаций, 3.5%
Рейнско-Вестфальский технический университет Ахена	Рейнско-Вестфальский технический университет Ахена, 5, 3.5% Рейнско-Вестфальский технический университет Ахена 5 публикаций, 3.5%
Университет Иоганна Кеплера в Линце	Университет Иоганна Кеплера в Линце, 5, 3.5% Университет Иоганна Кеплера в Линце 5 публикаций, 3.5%
Технион - израильский технологический институт	Технион - израильский технологический институт, 4, 2.8% Технион - израильский технологический институт 4 публикации, 2.8%
Университет Гренобль-Альпы	Университет Гренобль-Альпы, 4, 2.8% Университет Гренобль-Альпы 4 публикации, 2.8%
Оксфордский университет	Оксфордский университет, 4, 2.8% Оксфордский университет 4 публикации, 2.8%
Ливерпульский университет	Ливерпульский университет, 4, 2.8% Ливерпульский университет 4 публикации, 2.8%
Грацский технический университет	Грацский технический университет, 4, 2.8% Грацский технический университет 4 публикации, 2.8%
Университет Торонто	Университет Торонто, 4, 2.8% Университет Торонто 4 публикации, 2.8%
Университет Париж-Сакле	Университет Париж-Сакле, 4, 2.8% Университет Париж-Сакле 4 публикации, 2.8%
Уппсальский университет	Уппсальский университет, 3, 2.1% Уппсальский университет 3 публикации, 2.1%
Университет Бордо	Университет Бордо, 3, 2.1% Университет Бордо 3 публикации, 2.1%
Технический университет Эйндховена	Технический университет Эйндховена, 3, 2.1% Технический университет Эйндховена 3 публикации, 2.1%
Высшая педагогическая школа Париж-Сакле	Высшая педагогическая школа Париж-Сакле, 3, 2.1% Высшая педагогическая школа Париж-Сакле 3 публикации, 2.1%
Манчестерский университет	Манчестерский университет, 3, 2.1% Манчестерский университет 3 публикации, 2.1%
Калифорнийский университет в Беркли	Калифорнийский университет в Беркли, 3, 2.1% Калифорнийский университет в Беркли 3 публикации, 2.1%
Институт программных систем Общества Макса Планка	Институт программных систем Общества Макса Планка, 3, 2.1% Институт программных систем Общества Макса Планка 3 публикации, 2.1%
Университет Ренн	Университет Ренн, 3, 2.1% Университет Ренн 3 публикации, 2.1%
Политехнический институт Гренобля	Политехнический институт Гренобля, 3, 2.1% Политехнический институт Гренобля 3 публикации, 2.1%
Индийский институт технологии в Мумбаи	Индийский институт технологии в Мумбаи, 2, 1.4% Индийский институт технологии в Мумбаи 2 публикации, 1.4%
Индийский институт технологии в Бхубанешваре	Индийский институт технологии в Бхубанешваре, 2, 1.4% Индийский институт технологии в Бхубанешваре 2 публикации, 1.4%
Университет Тель-Авива	Университет Тель-Авива, 2, 1.4% Университет Тель-Авива 2 публикации, 1.4%
Университет им. Бен-Гуриона	Университет им. Бен-Гуриона, 2, 1.4% Университет им. Бен-Гуриона 2 публикации, 1.4%
Мюнхенский технический университет	Мюнхенский технический университет, 2, 1.4% Мюнхенский технический университет 2 публикации, 1.4%
Университет Неймегена	Университет Неймегена, 2, 1.4% Университет Неймегена 2 публикации, 1.4%
Университет Лотарингии	Университет Лотарингии, 2, 1.4% Университет Лотарингии 2 публикации, 1.4%
Дрезденский технический университет	Дрезденский технический университет, 2, 1.4% Дрезденский технический университет 2 публикации, 1.4%
Университет Лугано	Университет Лугано, 2, 1.4% Университет Лугано 2 публикации, 1.4%
Университет Ольборга	Университет Ольборга, 2, 1.4% Университет Ольборга 2 публикации, 1.4%
Университет Осло	Университет Осло, 2, 1.4% Университет Осло 2 публикации, 1.4%
Королевский колледж Лондона	Королевский колледж Лондона, 2, 1.4% Королевский колледж Лондона 2 публикации, 1.4%
Университет Вероны	Университет Вероны, 2, 1.4% Университет Вероны 2 публикации, 1.4%
Эдинбургский университет	Эдинбургский университет, 2, 1.4% Эдинбургский университет 2 публикации, 1.4%
Университет Райса	Университет Райса, 2, 1.4% Университет Райса 2 публикации, 1.4%
Национальный университет Сингапура	Национальный университет Сингапура, 2, 1.4% Национальный университет Сингапура 2 публикации, 1.4%
Университет Стоуни-Брук	Университет Стоуни-Брук, 2, 1.4% Университет Стоуни-Брук 2 публикации, 1.4%
Корнеллский университет	Корнеллский университет, 2, 1.4% Корнеллский университет 2 публикации, 1.4%
Карлов университет	Карлов университет, 2, 1.4% Карлов университет 2 публикации, 1.4%
Стэнфордский университет	Стэнфордский университет, 2, 1.4% Стэнфордский университет 2 публикации, 1.4%
Нью-Йоркский университет	Нью-Йоркский университет, 2, 1.4% Нью-Йоркский университет 2 публикации, 1.4%
Ньюкаслский университет	Ньюкаслский университет, 2, 1.4% Ньюкаслский университет 2 публикации, 1.4%
Центр информационной безопасности имени Гельмгольца	Центр информационной безопасности имени Гельмгольца, 2, 1.4% Центр информационной безопасности имени Гельмгольца 2 публикации, 1.4%
Мичиганский университет	Мичиганский университет, 2, 1.4% Мичиганский университет 2 публикации, 1.4%
Университет Уотерлу	Университет Уотерлу, 2, 1.4% Университет Уотерлу 2 публикации, 1.4%
Саарский университет	Саарский университет, 2, 1.4% Саарский университет 2 публикации, 1.4%
Ольденбургский университет имени Карла фон Осецкого	Ольденбургский университет имени Карла фон Осецкого, 2, 1.4% Ольденбургский университет имени Карла фон Осецкого 2 публикации, 1.4%
Университет Висконсин в Мадисоне	Университет Висконсин в Мадисоне, 2, 1.4% Университет Висконсин в Мадисоне 2 публикации, 1.4%
Университет Сорбонна Париж Север	Университет Сорбонна Париж Север, 2, 1.4% Университет Сорбонна Париж Север 2 публикации, 1.4%
Paris Sciences et Lettres	Paris Sciences et Lettres, 2, 1.4% Paris Sciences et Lettres 2 публикации, 1.4%
Национальный исследовательский университет «Высшая школа экономики»	Национальный исследовательский университет «Высшая школа экономики», 1, 0.7% Национальный исследовательский университет «Высшая школа экономики» 1 публикация, 0.7%
Институт системного программирования им. В.П. Иванникова РАН	Институт системного программирования им. В.П. Иванникова РАН, 1, 0.7% Институт системного программирования им. В.П. Иванникова РАН 1 публикация, 0.7%
Американский университет в Шардже	Американский университет в Шардже, 1, 0.7% Американский университет в Шардже 1 публикация, 0.7%
Институт фундаментальных исследований Тата	Институт фундаментальных исследований Тата, 1, 0.7% Институт фундаментальных исследований Тата 1 публикация, 0.7%
Еврейский университет в Иерусалиме	Еврейский университет в Иерусалиме, 1, 0.7% Еврейский университет в Иерусалиме 1 публикация, 0.7%
Университет им. Бар-Илана	Университет им. Бар-Илана, 1, 0.7% Университет им. Бар-Илана 1 публикация, 0.7%
Открытый университет Израиля	Открытый университет Израиля, 1, 0.7% Открытый университет Израиля 1 публикация, 0.7%
Университет Генуи	Университет Генуи, 1, 0.7% Университет Генуи 1 публикация, 0.7%
Университет Твенте	Университет Твенте, 1, 0.7% Университет Твенте 1 публикация, 0.7%
Технический университет Чалмерса	Технический университет Чалмерса, 1, 0.7% Технический университет Чалмерса 1 публикация, 0.7%
Королевский технологический институт	Королевский технологический институт, 1, 0.7% Королевский технологический институт 1 публикация, 0.7%
Академический колледж ОРТ им. Брауде	Академический колледж ОРТ им. Брауде, 1, 0.7% Академический колледж ОРТ им. Брауде 1 публикация, 0.7%
Нанкинский университет аэронавтики и астронавтики	Нанкинский университет аэронавтики и астронавтики, 1, 0.7% Нанкинский университет аэронавтики и астронавтики 1 публикация, 0.7%
Нанкинский университет	Нанкинский университет, 1, 0.7% Нанкинский университет 1 публикация, 0.7%
Швейцарская высшая техническая школа Цюриха	Швейцарская высшая техническая школа Цюриха, 1, 0.7% Швейцарская высшая техническая школа Цюриха 1 публикация, 0.7%
Гётеборгский университет	Гётеборгский университет, 1, 0.7% Гётеборгский университет 1 публикация, 0.7%
Столичный педагогический университет	Столичный педагогический университет, 1, 0.7% Столичный педагогический университет 1 публикация, 0.7%
Восточно-Китайский педагогический университет	Восточно-Китайский педагогический университет, 1, 0.7% Восточно-Китайский педагогический университет 1 публикация, 0.7%
Туринский политехнический университет	Туринский политехнический университет, 1, 0.7% Туринский политехнический университет 1 публикация, 0.7%
Наньянский технологический университет	Наньянский технологический университет, 1, 0.7% Наньянский технологический университет 1 публикация, 0.7%
Имперский колледж Лондона	Имперский колледж Лондона, 1, 0.7% Имперский колледж Лондона 1 публикация, 0.7%
Университетский колледж Лондона	Университетский колледж Лондона, 1, 0.7% Университетский колледж Лондона 1 публикация, 0.7%
Кембриджский университет	Кембриджский университет, 1, 0.7% Кембриджский университет 1 публикация, 0.7%
Университет информационных технологий в Копенгагене	Университет информационных технологий в Копенгагене, 1, 0.7% Университет информационных технологий в Копенгагене 1 публикация, 0.7%
Падуанский университет	Падуанский университет, 1, 0.7% Падуанский университет 1 публикация, 0.7%
Лондонский Королевский университет Холлоуэя	Лондонский Королевский университет Холлоуэя, 1, 0.7% Лондонский Королевский университет Холлоуэя 1 публикация, 0.7%
Университет Сорбонна	Университет Сорбонна, 1, 0.7% Университет Сорбонна 1 публикация, 0.7%
Университет штата Флорида	Университет штата Флорида, 1, 0.7% Университет штата Флорида 1 публикация, 0.7%
Массачусетский технологический институт	Массачусетский технологический институт, 1, 0.7% Массачусетский технологический институт 1 публикация, 0.7%
Университет штата Мичиган	Университет штата Мичиган, 1, 0.7% Университет штата Мичиган 1 публикация, 0.7%
Университет Карнеги — Меллона	Университет Карнеги — Меллона, 1, 0.7% Университет Карнеги — Меллона 1 публикация, 0.7%
Брюссельский свободный университет	Брюссельский свободный университет, 1, 0.7% Брюссельский свободный университет 1 публикация, 0.7%
Университет Флоренции	Университет Флоренции, 1, 0.7% Университет Флоренции 1 публикация, 0.7%
Трентский университет	Трентский университет, 1, 0.7% Трентский университет 1 публикация, 0.7%
Калифорнийский технологический институт	Калифорнийский технологический институт, 1, 0.7% Калифорнийский технологический институт 1 публикация, 0.7%
Университет Удине	Университет Удине, 1, 0.7% Университет Удине 1 публикация, 0.7%
Университет штата Айова	Университет штата Айова, 1, 0.7% Университет штата Айова 1 публикация, 0.7%
Свободный университет Больцано	Свободный университет Больцано, 1, 0.7% Свободный университет Больцано 1 публикация, 0.7%
Технический университет Дортмунда	Технический университет Дортмунда, 1, 0.7% Технический университет Дортмунда 1 публикация, 0.7%
Оклендский университет	Оклендский университет, 1, 0.7% Оклендский университет 1 публикация, 0.7%
Университет Уэйкато	Университет Уэйкато, 1, 0.7% Университет Уэйкато 1 публикация, 0.7%
Квинслендский университет	Квинслендский университет, 1, 0.7% Квинслендский университет 1 публикация, 0.7%
Университет Маккуори	Университет Маккуори, 1, 0.7% Университет Маккуори 1 публикация, 0.7%
Колумбийский университет	Колумбийский университет, 1, 0.7% Колумбийский университет 1 публикация, 0.7%
Университет Рейкьявика	Университет Рейкьявика, 1, 0.7% Университет Рейкьявика 1 публикация, 0.7%
Университет Вашингтона в Сент-Луисе	Университет Вашингтона в Сент-Луисе, 1, 0.7% Университет Вашингтона в Сент-Луисе 1 публикация, 0.7%
Университет Западной Виргинии	Университет Западной Виргинии, 1, 0.7% Университет Западной Виргинии 1 публикация, 0.7%
Вашингтонский университет	Вашингтонский университет, 1, 0.7% Вашингтонский университет 1 публикация, 0.7%

	2 4 6 8 10 12

Публикующиеся страны

	50 100 150 200 250 300 350
США	США, 302, 37.47% США 302 публикации, 37.47%
Франция	Франция, 125, 15.51% Франция 125 публикаций, 15.51%
Германия	Германия, 112, 13.9% Германия 112 публикаций, 13.9%
Великобритания	Великобритания, 94, 11.66% Великобритания 94 публикации, 11.66%
Израиль	Израиль, 68, 8.44% Израиль 68 публикаций, 8.44%
Италия	Италия, 58, 7.2% Италия 58 публикаций, 7.2%
Австрия	Австрия, 49, 6.08% Австрия 49 публикаций, 6.08%
Канада	Канада, 32, 3.97% Канада 32 публикации, 3.97%
Швейцария	Швейцария, 30, 3.72% Швейцария 30 публикаций, 3.72%
Швеция	Швеция, 25, 3.1% Швеция 25 публикаций, 3.1%
Нидерланды	Нидерланды, 23, 2.85% Нидерланды 23 публикации, 2.85%
Дания	Дания, 22, 2.73% Дания 22 публикации, 2.73%
Бельгия	Бельгия, 21, 2.61% Бельгия 21 публикация, 2.61%
Индия	Индия, 14, 1.74% Индия 14 публикаций, 1.74%
Япония	Япония, 14, 1.74% Япония 14 публикаций, 1.74%
Испания	Испания, 13, 1.61% Испания 13 публикаций, 1.61%
Китай	Китай, 12, 1.49% Китай 12 публикаций, 1.49%
Чехия	Чехия, 12, 1.49% Чехия 12 публикаций, 1.49%
Австралия	Австралия, 11, 1.36% Австралия 11 публикаций, 1.36%
Мальта	Мальта, 7, 0.87% Мальта 7 публикаций, 0.87%
Финляндия	Финляндия, 7, 0.87% Финляндия 7 публикаций, 0.87%
Сингапур	Сингапур, 6, 0.74% Сингапур 6 публикаций, 0.74%
Новая Зеландия	Новая Зеландия, 4, 0.5% Новая Зеландия 4 публикации, 0.5%
Норвегия	Норвегия, 4, 0.5% Норвегия 4 публикации, 0.5%
Республика Корея	Республика Корея, 4, 0.5% Республика Корея 4 публикации, 0.5%
Португалия	Португалия, 3, 0.37% Португалия 3 публикации, 0.37%
Греция	Греция, 3, 0.37% Греция 3 публикации, 0.37%
Люксембург	Люксембург, 3, 0.37% Люксембург 3 публикации, 0.37%
Россия	Россия, 2, 0.25% Россия 2 публикации, 0.25%
Аргентина	Аргентина, 2, 0.25% Аргентина 2 публикации, 0.25%
Бразилия	Бразилия, 2, 0.25% Бразилия 2 публикации, 0.25%
Венгрия	Венгрия, 2, 0.25% Венгрия 2 публикации, 0.25%
Ирландия	Ирландия, 2, 0.25% Ирландия 2 публикации, 0.25%
Исландия	Исландия, 2, 0.25% Исландия 2 публикации, 0.25%
Ливан	Ливан, 2, 0.25% Ливан 2 публикации, 0.25%
Тунис	Тунис, 2, 0.25% Тунис 2 публикации, 0.25%
Турция	Турция, 2, 0.25% Турция 2 публикации, 0.25%
Вьетнам	Вьетнам, 1, 0.12% Вьетнам 1 публикация, 0.12%
Египет	Египет, 1, 0.12% Египет 1 публикация, 0.12%
Иран	Иран, 1, 0.12% Иран 1 публикация, 0.12%
ОАЭ	ОАЭ, 1, 0.12% ОАЭ 1 публикация, 0.12%
Польша	Польша, 1, 0.12% Польша 1 публикация, 0.12%
Сербия	Сербия, 1, 0.12% Сербия 1 публикация, 0.12%
Югославия	Югославия, 1, 0.12% Югославия 1 публикация, 0.12%

	50 100 150 200 250 300 350

Публикующиеся страны за 5 лет

	5 10 15 20 25
США	США, 22, 15.38% США 22 публикации, 15.38%
Германия	Германия, 18, 12.59% Германия 18 публикаций, 12.59%
Великобритания	Великобритания, 17, 11.89% Великобритания 17 публикаций, 11.89%
Австрия	Австрия, 14, 9.79% Австрия 14 публикаций, 9.79%
Франция	Франция, 13, 9.09% Франция 13 публикаций, 9.09%
Италия	Италия, 9, 6.29% Италия 9 публикаций, 6.29%
Израиль	Израиль, 8, 5.59% Израиль 8 публикаций, 5.59%
Индия	Индия, 8, 5.59% Индия 8 публикаций, 5.59%
Канада	Канада, 4, 2.8% Канада 4 публикации, 2.8%
Швеция	Швеция, 4, 2.8% Швеция 4 публикации, 2.8%
Нидерланды	Нидерланды, 3, 2.1% Нидерланды 3 публикации, 2.1%
Сингапур	Сингапур, 3, 2.1% Сингапур 3 публикации, 2.1%
Китай	Китай, 2, 1.4% Китай 2 публикации, 1.4%
Австралия	Австралия, 2, 1.4% Австралия 2 публикации, 1.4%
Дания	Дания, 2, 1.4% Дания 2 публикации, 1.4%
Новая Зеландия	Новая Зеландия, 2, 1.4% Новая Зеландия 2 публикации, 1.4%
Чехия	Чехия, 2, 1.4% Чехия 2 публикации, 1.4%
Швейцария	Швейцария, 2, 1.4% Швейцария 2 публикации, 1.4%
Россия	Россия, 1, 0.7% Россия 1 публикация, 0.7%
Аргентина	Аргентина, 1, 0.7% Аргентина 1 публикация, 0.7%
Бельгия	Бельгия, 1, 0.7% Бельгия 1 публикация, 0.7%
Ирландия	Ирландия, 1, 0.7% Ирландия 1 публикация, 0.7%
Исландия	Исландия, 1, 0.7% Исландия 1 публикация, 0.7%
Испания	Испания, 1, 0.7% Испания 1 публикация, 0.7%
Норвегия	Норвегия, 1, 0.7% Норвегия 1 публикация, 0.7%
ОАЭ	ОАЭ, 1, 0.7% ОАЭ 1 публикация, 0.7%
	5 10 15 20 25

1 публикация в журнале

Шлехубер-Кессье Филипп

6 публикаций, 80 цитирований

Индекс Хирша 3

Политехнический институт Парижа

	1000 2000 3000 4000 5000 6000
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 5131, 31.96% Lecture Notes in Computer Science 5131 цитирование, 31.96%
Formal Methods in System Design	Formal Methods in System Design, 349, 2.17% Formal Methods in System Design 349 цитирований, 2.17%
International Journal on Software Tools for Technology Transfer	International Journal on Software Tools for Technology Transfer, 298, 1.86% International Journal on Software Tools for Technology Transfer 298 цитирований, 1.86%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 256, 1.59% Electronic Proceedings in Theoretical Computer Science, EPTCS 256 цитирований, 1.59%
Theoretical Computer Science	Theoretical Computer Science, 222, 1.38% Theoretical Computer Science 222 цитирования, 1.38%
Science of Computer Programming	Science of Computer Programming, 217, 1.35% Science of Computer Programming 217 цитирований, 1.35%
Electronic Notes in Theoretical Computer Science	Electronic Notes in Theoretical Computer Science, 212, 1.32% Electronic Notes in Theoretical Computer Science 212 цитирований, 1.32%
Proceedings of the ACM on Programming Languages	Proceedings of the ACM on Programming Languages, 191, 1.19% Proceedings of the ACM on Programming Languages 191 цитирование, 1.19%
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 156, 0.97% IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 156 цитирований, 0.97%
Information and Computation	Information and Computation, 151, 0.94% Information and Computation 151 цитирование, 0.94%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 141, 0.88% ACM SIGPLAN Notices 141 цитирование, 0.88%
Formal Aspects of Computing	Formal Aspects of Computing, 134, 0.83% Formal Aspects of Computing 134 цитирования, 0.83%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 129, 0.8% IEEE Transactions on Software Engineering 129 цитирований, 0.8%
Journal of Logical and Algebraic Methods in Programming	Journal of Logical and Algebraic Methods in Programming, 84, 0.52% Journal of Logical and Algebraic Methods in Programming 84 цитирования, 0.52%
IEEE Access	IEEE Access, 84, 0.52% IEEE Access 84 цитирования, 0.52%
Software and Systems Modeling	Software and Systems Modeling, 80, 0.5% Software and Systems Modeling 80 цитирований, 0.5%
Transactions on Embedded Computing Systems	Transactions on Embedded Computing Systems, 79, 0.49% Transactions on Embedded Computing Systems 79 цитирований, 0.49%
Acta Informatica	Acta Informatica, 78, 0.49% Acta Informatica 78 цитирований, 0.49%
IEEE Transactions on Automatic Control	IEEE Transactions on Automatic Control, 78, 0.49% IEEE Transactions on Automatic Control 78 цитирований, 0.49%
ACM Transactions on Software Engineering and Methodology	ACM Transactions on Software Engineering and Methodology, 72, 0.45% ACM Transactions on Software Engineering and Methodology 72 цитирования, 0.45%
Journal of Automated Reasoning	Journal of Automated Reasoning, 67, 0.42% Journal of Automated Reasoning 67 цитирований, 0.42%
Journal of Systems and Software	Journal of Systems and Software, 64, 0.4% Journal of Systems and Software 64 цитирования, 0.4%
ACM Transactions on Computational Logic	ACM Transactions on Computational Logic, 63, 0.39% ACM Transactions on Computational Logic 63 цитирования, 0.39%
ACM Transactions on Design Automation of Electronic Systems	ACM Transactions on Design Automation of Electronic Systems, 58, 0.36% ACM Transactions on Design Automation of Electronic Systems 58 цитирований, 0.36%
ACM Computing Surveys	ACM Computing Surveys, 53, 0.33% ACM Computing Surveys 53 цитирования, 0.33%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 51, 0.32% ACM Transactions on Programming Languages and Systems 51 цитирование, 0.32%
Communications in Computer and Information Science	Communications in Computer and Information Science, 50, 0.31% Communications in Computer and Information Science 50 цитирований, 0.31%
IFAC-PapersOnLine	IFAC-PapersOnLine, 46, 0.29% IFAC-PapersOnLine 46 цитирований, 0.29%
Automatica	Automatica, 44, 0.27% Automatica 44 цитирования, 0.27%
IFAC Proceedings Volumes	IFAC Proceedings Volumes, 39, 0.24% IFAC Proceedings Volumes 39 цитирований, 0.24%
IEEE Transactions on Computers	IEEE Transactions on Computers, 38, 0.24% IEEE Transactions on Computers 38 цитирований, 0.24%
Information Processing Letters	Information Processing Letters, 36, 0.22% Information Processing Letters 36 цитирований, 0.22%
Artificial Intelligence	Artificial Intelligence, 34, 0.21% Artificial Intelligence 34 цитирования, 0.21%
Discrete Event Dynamic Systems: Theory and Applications	Discrete Event Dynamic Systems: Theory and Applications, 34, 0.21% Discrete Event Dynamic Systems: Theory and Applications 34 цитирования, 0.21%
Journal of the ACM	Journal of the ACM, 33, 0.21% Journal of the ACM 33 цитирования, 0.21%
Innovations in Systems and Software Engineering	Innovations in Systems and Software Engineering, 33, 0.21% Innovations in Systems and Software Engineering 33 цитирования, 0.21%
Proceedings of the IEEE	Proceedings of the IEEE, 31, 0.19% Proceedings of the IEEE 31 цитирование, 0.19%
Nonlinear Analysis: Hybrid Systems	Nonlinear Analysis: Hybrid Systems, 30, 0.19% Nonlinear Analysis: Hybrid Systems 30 цитирований, 0.19%
IEEE International Conference on Robotics and Automation (ICRA)	IEEE International Conference on Robotics and Automation (ICRA), 30, 0.19% IEEE International Conference on Robotics and Automation (ICRA) 30 цитирований, 0.19%