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

Публикаций

804

Цитирований

15 996

Индекс Хирша

Публикаций

141

Цитирований

3 821

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

Lecture Notes in Computer Science (5127 цитирований)

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

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

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

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

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

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

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

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

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

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

Топ-3 стран

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Топ-100

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

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

	1000 2000 3000 4000 5000 6000 7000
Springer Nature	Springer Nature, 6905, 43.17% Springer Nature 6905 цитирований, 43.17%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 3134, 19.59% Institute of Electrical and Electronics Engineers (IEEE) 3134 цитирования, 19.59%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1802, 11.27% Association for Computing Machinery (ACM) 1802 цитирования, 11.27%
Elsevier	Elsevier, 1742, 10.89% Elsevier 1742 цитирования, 10.89%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 248, 1.55% electronic proceedings in theoretical computer science, eptcs 248 цитирований, 1.55%
Wiley	Wiley, 124, 0.78% Wiley 124 цитирования, 0.78%
MDPI	MDPI, 114, 0.71% MDPI 114 цитирований, 0.71%
World Scientific	World Scientific, 60, 0.38% World Scientific 60 цитирований, 0.38%
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.13% American Institute of Aeronautics and Astronautics (AIAA) 20 цитирований, 0.13%
Institute of Electronics, Information and Communications Engineers (IEICE)	Institute of Electronics, Information and Communications Engineers (IEICE), 20, 0.13% Institute of Electronics, Information and Communications Engineers (IEICE) 20 цитирований, 0.13%
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.08% De Gruyter Brill 12 цитирований, 0.08%
Trans Tech Publications	Trans Tech Publications, 12, 0.08% Trans Tech Publications 12 цитирований, 0.08%
The Royal Society	The Royal Society, 10, 0.06% The Royal Society 10 цитирований, 0.06%
Open Publishing Association	Open Publishing Association, 10, 0.06% Open Publishing Association 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.03% China Science Publishing & Media 4 цитирования, 0.03%
European Control Association	European Control Association, 4, 0.03% European Control Association 4 цитирования, 0.03%
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%
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%
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.72% Национальный институт исследований в информатике и автоматике 54 публикации, 6.72%
Технион - израильский технологический институт	Технион - израильский технологический институт, 37, 4.6% Технион - израильский технологический институт 37 публикаций, 4.6%
Университет Карнеги — Меллона	Университет Карнеги — Меллона, 35, 4.35% Университет Карнеги — Меллона 35 публикаций, 4.35%
Калифорнийский университет в Беркли	Калифорнийский университет в Беркли, 27, 3.36% Калифорнийский университет в Беркли 27 публикаций, 3.36%
Университет Гренобль-Альпы	Университет Гренобль-Альпы, 25, 3.11% Университет Гренобль-Альпы 25 публикаций, 3.11%
Венский технический университет	Венский технический университет, 25, 3.11% Венский технический университет 25 публикаций, 3.11%
Высшая педагогическая школа Париж-Сакле	Высшая педагогическая школа Париж-Сакле, 24, 2.99% Высшая педагогическая школа Париж-Сакле 24 публикации, 2.99%
Оксфордский университет	Оксфордский университет, 24, 2.99% Оксфордский университет 24 публикации, 2.99%
Стэнфордский университет	Стэнфордский университет, 22, 2.74% Стэнфордский университет 22 публикации, 2.74%
Университет Райса	Университет Райса, 18, 2.24% Университет Райса 18 публикаций, 2.24%
Техасский университет в Остине	Техасский университет в Остине, 17, 2.11% Техасский университет в Остине 17 публикаций, 2.11%
Пенсильванский университет	Пенсильванский университет, 16, 1.99% Пенсильванский университет 16 публикаций, 1.99%
Иллинойсский университет в Урбане-Шампейне	Иллинойсский университет в Урбане-Шампейне, 15, 1.87% Иллинойсский университет в Урбане-Шампейне 15 публикаций, 1.87%
Мюнхенский технический университет	Мюнхенский технический университет, 14, 1.74% Мюнхенский технический университет 14 публикаций, 1.74%
Уппсальский университет	Уппсальский университет, 14, 1.74% Уппсальский университет 14 публикаций, 1.74%
Университет Уотерлу	Университет Уотерлу, 14, 1.74% Университет Уотерлу 14 публикаций, 1.74%
Фрайбургский университет имени Альберта и Людвига	Фрайбургский университет имени Альберта и Людвига, 14, 1.74% Фрайбургский университет имени Альберта и Людвига 14 публикаций, 1.74%
Университет Париж-Сите	Университет Париж-Сите, 13, 1.62% Университет Париж-Сите 13 публикаций, 1.62%
Швейцарская высшая техническая школа Цюриха	Швейцарская высшая техническая школа Цюриха, 12, 1.49% Швейцарская высшая техническая школа Цюриха 12 публикаций, 1.49%
Университет Ольборга	Университет Ольборга, 12, 1.49% Университет Ольборга 12 публикаций, 1.49%
Нью-Йоркский университет	Нью-Йоркский университет, 12, 1.49% Нью-Йоркский университет 12 публикаций, 1.49%
Рейнско-Вестфальский технический университет Ахена	Рейнско-Вестфальский технический университет Ахена, 12, 1.49% Рейнско-Вестфальский технический университет Ахена 12 публикаций, 1.49%
Еврейский университет в Иерусалиме	Еврейский университет в Иерусалиме, 11, 1.37% Еврейский университет в Иерусалиме 11 публикаций, 1.37%
Университет Колорадо в Боулдере	Университет Колорадо в Боулдере, 11, 1.37% Университет Колорадо в Боулдере 11 публикаций, 1.37%
Институт науки и технологий Австрии	Институт науки и технологий Австрии, 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%
Университет Лугано	Университет Лугано, 8, 1% Университет Лугано 8 публикаций, 1%
Ньюкаслский университет	Ньюкаслский университет, 8, 1% Ньюкаслский университет 8 публикаций, 1%
Институт программных систем Общества Макса Планка	Институт программных систем Общества Макса Планка, 8, 1% Институт программных систем Общества Макса Планка 8 публикаций, 1%
Технический университет Чалмерса	Технический университет Чалмерса, 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.75% Индийский институт технологии в Мумбаи 6 публикаций, 0.75%
Университет Твенте	Университет Твенте, 6, 0.75% Университет Твенте 6 публикаций, 0.75%
Дрезденский технический университет	Дрезденский технический университет, 6, 0.75% Дрезденский технический университет 6 публикаций, 0.75%
Ливерпульский университет	Ливерпульский университет, 6, 0.75% Ливерпульский университет 6 публикаций, 0.75%
Технический университет Дании	Технический университет Дании, 6, 0.75% Технический университет Дании 6 публикаций, 0.75%
Иллинойсский университет в Чикаго	Иллинойсский университет в Чикаго, 6, 0.75% Иллинойсский университет в Чикаго 6 публикаций, 0.75%
Университет Париж-Сакле	Университет Париж-Сакле, 6, 0.75% Университет Париж-Сакле 6 публикаций, 0.75%
Университет Айовы	Университет Айовы, 6, 0.75% Университет Айовы 6 публикаций, 0.75%
Индийский институт технологии в Канпуре	Индийский институт технологии в Канпуре, 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%
Университет Конкордия	Университет Конкордия, 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%
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%
Университет Лотарингии	Университет Лотарингии, 3, 0.37% Университет Лотарингии 3 публикации, 0.37%
Неаполитанский университет имени Фридриха II	Неаполитанский университет имени Фридриха II, 3, 0.37% Неаполитанский университет имени Фридриха II 3 публикации, 0.37%
Туринский университет	Туринский университет, 3, 0.37% Туринский университет 3 публикации, 0.37%
Университет информационных технологий в Копенгагене	Университет информационных технологий в Копенгагене, 3, 0.37% Университет информационных технологий в Копенгагене 3 публикации, 0.37%

	10 20 30 40 50 60

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

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

	2 4 6 8 10 12

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

	50 100 150 200 250 300 350
США	США, 302, 37.56% США 302 публикации, 37.56%
Франция	Франция, 125, 15.55% Франция 125 публикаций, 15.55%
Германия	Германия, 112, 13.93% Германия 112 публикаций, 13.93%
Великобритания	Великобритания, 94, 11.69% Великобритания 94 публикации, 11.69%
Израиль	Израиль, 68, 8.46% Израиль 68 публикаций, 8.46%
Италия	Италия, 58, 7.21% Италия 58 публикаций, 7.21%
Австрия	Австрия, 49, 6.09% Австрия 49 публикаций, 6.09%
Канада	Канада, 32, 3.98% Канада 32 публикации, 3.98%
Швейцария	Швейцария, 30, 3.73% Швейцария 30 публикаций, 3.73%
Швеция	Швеция, 25, 3.11% Швеция 25 публикаций, 3.11%
Нидерланды	Нидерланды, 23, 2.86% Нидерланды 23 публикации, 2.86%
Дания	Дания, 22, 2.74% Дания 22 публикации, 2.74%
Бельгия	Бельгия, 21, 2.61% Бельгия 21 публикация, 2.61%
Индия	Индия, 14, 1.74% Индия 14 публикаций, 1.74%
Япония	Япония, 14, 1.74% Япония 14 публикаций, 1.74%
Испания	Испания, 13, 1.62% Испания 13 публикаций, 1.62%
Китай	Китай, 12, 1.49% Китай 12 публикаций, 1.49%
Чехия	Чехия, 12, 1.49% Чехия 12 публикаций, 1.49%
Австралия	Австралия, 11, 1.37% Австралия 11 публикаций, 1.37%
Мальта	Мальта, 7, 0.87% Мальта 7 публикаций, 0.87%
Финляндия	Финляндия, 7, 0.87% Финляндия 7 публикаций, 0.87%
Сингапур	Сингапур, 6, 0.75% Сингапур 6 публикаций, 0.75%
Новая Зеландия	Новая Зеландия, 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
США	США, 24, 17.02% США 24 публикации, 17.02%
Германия	Германия, 19, 13.48% Германия 19 публикаций, 13.48%
Великобритания	Великобритания, 17, 12.06% Великобритания 17 публикаций, 12.06%
Австрия	Австрия, 14, 9.93% Австрия 14 публикаций, 9.93%
Франция	Франция, 13, 9.22% Франция 13 публикаций, 9.22%
Израиль	Израиль, 9, 6.38% Израиль 9 публикаций, 6.38%
Италия	Италия, 9, 6.38% Италия 9 публикаций, 6.38%
Индия	Индия, 8, 5.67% Индия 8 публикаций, 5.67%
Канада	Канада, 5, 3.55% Канада 5 публикаций, 3.55%
Швеция	Швеция, 4, 2.84% Швеция 4 публикации, 2.84%
Нидерланды	Нидерланды, 3, 2.13% Нидерланды 3 публикации, 2.13%
Сингапур	Сингапур, 3, 2.13% Сингапур 3 публикации, 2.13%
Китай	Китай, 2, 1.42% Китай 2 публикации, 1.42%
Австралия	Австралия, 2, 1.42% Австралия 2 публикации, 1.42%
Дания	Дания, 2, 1.42% Дания 2 публикации, 1.42%
Новая Зеландия	Новая Зеландия, 2, 1.42% Новая Зеландия 2 публикации, 1.42%
Чехия	Чехия, 2, 1.42% Чехия 2 публикации, 1.42%
Швейцария	Швейцария, 2, 1.42% Швейцария 2 публикации, 1.42%
Россия	Россия, 1, 0.71% Россия 1 публикация, 0.71%
Аргентина	Аргентина, 1, 0.71% Аргентина 1 публикация, 0.71%
Бельгия	Бельгия, 1, 0.71% Бельгия 1 публикация, 0.71%
Ирландия	Ирландия, 1, 0.71% Ирландия 1 публикация, 0.71%
Исландия	Исландия, 1, 0.71% Исландия 1 публикация, 0.71%
Испания	Испания, 1, 0.71% Испания 1 публикация, 0.71%
Норвегия	Норвегия, 1, 0.71% Норвегия 1 публикация, 0.71%
ОАЭ	ОАЭ, 1, 0.71% ОАЭ 1 публикация, 0.71%
	5 10 15 20 25

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

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

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

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

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

	1000 2000 3000 4000 5000 6000
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 5127, 32.05% Lecture Notes in Computer Science 5127 цитирований, 32.05%
Formal Methods in System Design	Formal Methods in System Design, 346, 2.16% Formal Methods in System Design 346 цитирований, 2.16%
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, 254, 1.59% Electronic Proceedings in Theoretical Computer Science, EPTCS 254 цитирования, 1.59%
Theoretical Computer Science	Theoretical Computer Science, 222, 1.39% Theoretical Computer Science 222 цитирования, 1.39%
Science of Computer Programming	Science of Computer Programming, 217, 1.36% Science of Computer Programming 217 цитирований, 1.36%
Electronic Notes in Theoretical Computer Science	Electronic Notes in Theoretical Computer Science, 212, 1.33% Electronic Notes in Theoretical Computer Science 212 цитирований, 1.33%
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.98% IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 156 цитирований, 0.98%
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.84% Formal Aspects of Computing 134 цитирования, 0.84%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 129, 0.81% IEEE Transactions on Software Engineering 129 цитирований, 0.81%
IEEE Access	IEEE Access, 84, 0.53% IEEE Access 84 цитирования, 0.53%
Journal of Logical and Algebraic Methods in Programming	Journal of Logical and Algebraic Methods in Programming, 79, 0.49% Journal of Logical and Algebraic Methods in Programming 79 цитирований, 0.49%
Software and Systems Modeling	Software and Systems Modeling, 79, 0.49% Software and Systems Modeling 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%
Transactions on Embedded Computing Systems	Transactions on Embedded Computing Systems, 76, 0.48% Transactions on Embedded Computing Systems 76 цитирований, 0.48%
ACM Transactions on Software Engineering and Methodology	ACM Transactions on Software Engineering and Methodology, 69, 0.43% ACM Transactions on Software Engineering and Methodology 69 цитирований, 0.43%
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%
Communications in Computer and Information Science	Communications in Computer and Information Science, 52, 0.33% Communications in Computer and Information Science 52 цитирования, 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%
IFAC-PapersOnLine	IFAC-PapersOnLine, 46, 0.29% IFAC-PapersOnLine 46 цитирований, 0.29%
Automatica	Automatica, 44, 0.28% Automatica 44 цитирования, 0.28%
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.23% Information Processing Letters 36 цитирований, 0.23%
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%
Artificial Intelligence	Artificial Intelligence, 33, 0.21% Artificial Intelligence 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%