Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Association for Computing Machinery (ACM)
Вы ученый?
Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.
Войти с ORCID
Варианты названий
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Публикаций
1
Цитирований
15
Индекс Хирша
1
Публикаций
0
Цитирований
6
Топ-3 цитирующих журналов
Lecture Notes in Computer Science
(11 цитирований)
AI Communications
(2 цитирования)
Electronic Proceedings in Theoretical Computer Science, EPTCS
(1 цитирование)
Топ-3 организаций
Манчестерский университет
(1 публикация)
Технический университет Чалмерса
(1 публикация)
Топ-3 стран
Великобритания
(1 публикация)
Швеция
(1 публикация)
Топ-1 учёных по количеству статей
Наиболее цитируемые за 5 лет
Найдено
Ничего не найдено, попробуйте изменить настройки фильтра.
Найдено
Ничего не найдено, попробуйте изменить настройки фильтра.
Топ-100
Цитирующие журналы
|
2
4
6
8
10
12
|
|
|
Lecture Notes in Computer Science
11 цитирований, 73.33%
|
|
|
AI Communications
2 цитирования, 13.33%
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
1 цитирование, 6.67%
|
|
|
2
4
6
8
10
12
|
Цитирующие издатели
|
2
4
6
8
10
12
|
|
|
Springer Nature
11 цитирований, 73.33%
|
|
|
IOS Press
2 цитирования, 13.33%
|
|
|
Association for Computing Machinery (ACM)
1 цитирование, 6.67%
|
|
|
electronic proceedings in theoretical computer science, eptcs
1 цитирование, 6.67%
|
|
|
2
4
6
8
10
12
|
Публикующиеся организации
|
1
|
|
|
Технический университет Чалмерса
1 публикация, 100%
|
|
|
Манчестерский университет
1 публикация, 100%
|
|
|
1
|
Публикующиеся страны
|
1
|
|
|
Великобритания
|
Великобритания, 1, 100%
Великобритания
1 публикация, 100%
|
|
Швеция
|
Швеция, 1, 100%
Швеция
1 публикация, 100%
|
|
1
|