Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Association for Computing Machinery (ACM)
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
journal names
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Top-3 citing journals
Lecture Notes in Computer Science
(11 citations)
AI Communications
(2 citations)
Top-3 organizations
Chalmers University of Technology
(1 publication)
University of Manchester
(1 publication)
Top-3 countries
Sweden
(1 publication)
United Kingdom
(1 publication)
Top-1 researchers by articles count
Most cited in 5 years
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-100
Citing journals
|
2
4
6
8
10
12
|
|
|
Lecture Notes in Computer Science
11 citations, 73.33%
|
|
|
AI Communications
2 citations, 13.33%
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
1 citation, 6.67%
|
|
|
2
4
6
8
10
12
|
Citing publishers
|
2
4
6
8
10
12
|
|
|
Springer Nature
11 citations, 73.33%
|
|
|
IOS Press
2 citations, 13.33%
|
|
|
Association for Computing Machinery (ACM)
1 citation, 6.67%
|
|
|
electronic proceedings in theoretical computer science, eptcs
1 citation, 6.67%
|
|
|
2
4
6
8
10
12
|
Publishing organizations
|
1
|
|
|
Chalmers University of Technology
1 publication, 100%
|
|
|
University of Manchester
1 publication, 100%
|
|
|
1
|
Publishing countries
|
1
|
|
|
United Kingdom
|
United Kingdom, 1, 100%
United Kingdom
1 publication, 100%
|
|
Sweden
|
Sweden, 1, 100%
Sweden
1 publication, 100%
|
|
1
|