World

Citiation Rankings
Highly Cited Researchers

Max Planck Institut für Software Systeme Scientists Citation Rankings 2024

Citation Rankings (Highly Cited Researchers) 2024 and list of influential and most cited researchers in Agriculture and Forestry, Art, Design and Architecture, Business and Management, Economics and Econometrics, Education, Engineering and Technology, History, Philosophy, Theology, Law, Medicine and Health Sciences, Natural Sciences and Social Sciences and their 256 sub-branches is a unique service offered only by “AD Scientific Index”. You can see the most cited and influential researchers in the country and region. See also for more specific citation analyses: "last 6 years citation index" Universities Rankings 2024 (Sort by: Total Citations) and Universities Rankings 2024 (Sort by : Last 6 Years Citations)

search
×
Total 72 scientist
Peter Druschel
Peter Druschel
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Distributed systems
Citation Rankings
University / Institution:
# 1
Country:
# 445
Region:
# 3,451
World:
# 10,869
Citation
Total:
45,897
Last 6 Year:
4,502
Last 6 Year/Total:
0.098
i10 Index
Total:
130
Last 6 Year:
62
Last 6 Year/Total:
0.477
H-Index
Total:
69
Last 6 Year:
32
Last 6 Year/Total:
0.464
Krishna P. Gummadi
Krishna P. Gummadi
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
Citation Rankings
University / Institution:
# 2
Country:
# 546
Region:
# 4,115
World:
# 12,897
Citation
Total:
41,298
Last 6 Year:
14,915
Last 6 Year/Total:
0.361
i10 Index
Total:
147
Last 6 Year:
128
Last 6 Year/Total:
0.871
H-Index
Total:
74
Last 6 Year:
54
Last 6 Year/Total:
0.730
Utkarsh Upadhyay
Utkarsh Upadhyay
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Machine learning
Graph Theory
Modeling
Point Processes
Citation Rankings
University / Institution:
# 3
Country:
# 971
Region:
# 7,054
World:
# 21,784
Citation
Total:
29,578
Last 6 Year:
29,068
Last 6 Year/Total:
0.983
i10 Index
Total:
16
Last 6 Year:
13
Last 6 Year/Total:
0.813
H-Index
Total:
13
Last 6 Year:
12
Last 6 Year/Total:
0.923
Rupak Majumdar
Rupak Majumdar
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
verification
model checking
automated reasoning
Citation Rankings
University / Institution:
# 4
Country:
# 1,944
Region:
# 14,919
World:
# 45,107
Citation
Total:
17,924
Last 6 Year:
4,974
Last 6 Year/Total:
0.278
i10 Index
Total:
205
Last 6 Year:
130
Last 6 Year/Total:
0.634
H-Index
Total:
62
Last 6 Year:
35
Last 6 Year/Total:
0.565
Manuel Gomez Rodriguez
Manuel Gomez Rodriguez
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Machine Learning
Artificial Intelligence
Temporal Point Processes
Citation Rankings
University / Institution:
# 5
Country:
# 3,326
Region:
# 25,507
World:
# 75,684
Citation
Total:
12,065
Last 6 Year:
8,205
Last 6 Year/Total:
0.680
i10 Index
Total:
65
Last 6 Year:
61
Last 6 Year/Total:
0.938
H-Index
Total:
41
Last 6 Year:
38
Last 6 Year/Total:
0.927
Joel Ouaknine
Joel Ouaknine
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
Citation Rankings
University / Institution:
# 6
Country:
# 6,532
Region:
# 53,878
World:
# 155,176
Citation
Total:
6,381
Last 6 Year:
2,263
Last 6 Year/Total:
0.355
i10 Index
Total:
111
Last 6 Year:
68
Last 6 Year/Total:
0.613
H-Index
Total:
43
Last 6 Year:
26
Last 6 Year/Total:
0.605
Viktor Vafeiadis
Viktor Vafeiadis
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
Citation Rankings
University / Institution:
# 7
Country:
# 6,550
Region:
# 54,013
World:
# 155,531
Citation
Total:
6,368
Last 6 Year:
3,251
Last 6 Year/Total:
0.511
i10 Index
Total:
76
Last 6 Year:
66
Last 6 Year/Total:
0.868
H-Index
Total:
46
Last 6 Year:
35
Last 6 Year/Total:
0.761
Derek Dreyer
Derek Dreyer
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Programming languages
type systems
semantics
verification
Citation Rankings
University / Institution:
# 8
Country:
# 6,917
Region:
# 57,131
World:
# 164,251
Citation
Total:
6,035
Last 6 Year:
3,870
Last 6 Year/Total:
0.641
i10 Index
Total:
65
Last 6 Year:
55
Last 6 Year/Total:
0.846
H-Index
Total:
41
Last 6 Year:
33
Last 6 Year/Total:
0.805
Muhammad Bilal Zafar
Muhammad Bilal Zafar
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
Algorithmic Fairness
Interpretability
Ethical AI
Citation Rankings
University / Institution:
# 9
Country:
# 7,474
Region:
# 62,614
World:
# 179,422
Citation
Total:
5,520
Last 6 Year:
4,850
Last 6 Year/Total:
0.879
i10 Index
Total:
29
Last 6 Year:
29
Last 6 Year/Total:
1.000
H-Index
Total:
23
Last 6 Year:
22
Last 6 Year/Total:
0.957
Björn B. Brandenburg
Björn B. Brandenburg
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Electrical & Electronic Engineering
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
Citation Rankings
University / Institution:
# 10
Country:
# 8,137
Region:
# 69,689
World:
# 199,114
Citation
Total:
4,959
Last 6 Year:
2,062
Last 6 Year/Total:
0.416
i10 Index
Total:
69
Last 6 Year:
54
Last 6 Year/Total:
0.783
H-Index
Total:
39
Last 6 Year:
25
Last 6 Year/Total:
0.641
Adscientificindex
Adscientificindex

Click for INSTITUTIONAL BULK REGISTRATION and PREMIUM MEMBERSHIP advantages

Adish Singla
Adish Singla
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
Citation Rankings
University / Institution:
# 11
Country:
# 9,490
Region:
# 83,366
World:
# 237,307
Citation
Total:
4,112
Last 6 Year:
3,224
Last 6 Year/Total:
0.784
i10 Index
Total:
79
Last 6 Year:
71
Last 6 Year/Total:
0.899
H-Index
Total:
32
Last 6 Year:
28
Last 6 Year/Total:
0.875
Keon Jang
Keon Jang
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
Systems
Networking
Citation Rankings
University / Institution:
# 12
Country:
# 10,178
Region:
# 90,527
World:
# 257,363
Citation
Total:
3,762
Last 6 Year:
1,911
Last 6 Year/Total:
0.508
i10 Index
Total:
21
Last 6 Year:
15
Last 6 Year/Total:
0.714
H-Index
Total:
19
Last 6 Year:
15
Last 6 Year/Total:
0.789
Elissa M. Redmiles
Elissa M. Redmiles
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
Citation Rankings
University / Institution:
# 13
Country:
# 10,761
Region:
# 96,628
World:
# 274,503
Citation
Total:
3,491
Last 6 Year:
3,340
Last 6 Year/Total:
0.957
i10 Index
Total:
53
Last 6 Year:
53
Last 6 Year/Total:
1.000
H-Index
Total:
33
Last 6 Year:
32
Last 6 Year/Total:
0.970
Deepak Garg
Deepak Garg
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Formal Logic
Security
Privacy
Programming Languages
Citation Rankings
University / Institution:
# 14
Country:
# 11,309
Region:
# 102,155
World:
# 290,139
Citation
Total:
3,271
Last 6 Year:
1,787
Last 6 Year/Total:
0.546
i10 Index
Total:
61
Last 6 Year:
50
Last 6 Year/Total:
0.820
H-Index
Total:
35
Last 6 Year:
24
Last 6 Year/Total:
0.686
Ali Zarezade
Ali Zarezade
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Machine Learning
Complex Networks
Visual Tracking
Citation Rankings
University / Institution:
# 15
Country:
# 13,315
Region:
# 123,814
World:
# 350,847
Citation
Total:
2,596
Last 6 Year:
1,683
Last 6 Year/Total:
0.648
i10 Index
Total:
10
Last 6 Year:
9
Last 6 Year/Total:
0.900
H-Index
Total:
10
Last 6 Year:
9
Last 6 Year/Total:
0.900
Ralf Jung
Ralf Jung
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
programming languages
verification
concurrency
operational semantics
Citation Rankings
University / Institution:
# 16
Country:
# 14,884
Region:
# 141,262
World:
# 400,133
Citation
Total:
2,185
Last 6 Year:
1,908
Last 6 Year/Total:
0.873
i10 Index
Total:
17
Last 6 Year:
17
Last 6 Year/Total:
1.000
H-Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
Daniel Neider
Daniel Neider
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Logic
Machine Learning
Verification
Artificial Intelligence
Citation Rankings
University / Institution:
# 17
Country:
# 16,357
Region:
# 157,962
World:
# 448,209
Citation
Total:
1,869
Last 6 Year:
1,470
Last 6 Year/Total:
0.787
i10 Index
Total:
43
Last 6 Year:
41
Last 6 Year/Total:
0.953
H-Index
Total:
21
Last 6 Year:
20
Last 6 Year/Total:
0.952
Fuyuan Zhang
Fuyuan Zhang
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
Formal Methods and Testing
Citation Rankings
University / Institution:
# 18
Country:
# 16,667
Region:
# 161,544
World:
# 458,763
Citation
Total:
1,809
Last 6 Year:
1,693
Last 6 Year/Total:
0.936
i10 Index
Total:
17
Last 6 Year:
17
Last 6 Year/Total:
1.000
H-Index
Total:
14
Last 6 Year:
13
Last 6 Year/Total:
0.929
Maria Christakis
Maria Christakis
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Software engineering
Formal methods
Program analysis
Test generation
Citation Rankings
University / Institution:
# 19
Country:
# 18,278
Region:
# 179,545
World:
# 511,032
Citation
Total:
1,542
Last 6 Year:
1,180
Last 6 Year/Total:
0.765
i10 Index
Total:
31
Last 6 Year:
27
Last 6 Year/Total:
0.871
H-Index
Total:
20
Last 6 Year:
17
Last 6 Year/Total:
0.850
Damien Zufferey
Damien Zufferey
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
programming languages
verification
Citation Rankings
University / Institution:
# 20
Country:
# 18,339
Region:
# 180,196
World:
# 512,880
Citation
Total:
1,534
Last 6 Year:
767
Last 6 Year/Total:
0.500
i10 Index
Total:
28
Last 6 Year:
19
Last 6 Year/Total:
0.679
H-Index
Total:
20
Last 6 Year:
15
Last 6 Year/Total:
0.750
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
Citation Rankings
University / Institution:
# 21
Country:
# 18,371
Region:
# 180,453
World:
# 513,664
Citation
Total:
1,530
Last 6 Year:
1,270
Last 6 Year/Total:
0.830
i10 Index
Total:
20
Last 6 Year:
18
Last 6 Year/Total:
0.900
H-Index
Total:
15
Last 6 Year:
14
Last 6 Year/Total:
0.933
Goran Radanović
Goran Radanović
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Artificial Intelligence
Citation Rankings
University / Institution:
# 22
Country:
# 18,573
Region:
# 183,155
World:
# 521,538
Citation
Total:
1,495
Last 6 Year:
1,289
Last 6 Year/Total:
0.862
i10 Index
Total:
23
Last 6 Year:
23
Last 6 Year/Total:
1.000
H-Index
Total:
19
Last 6 Year:
18
Last 6 Year/Total:
0.947
Nina Grgić-Hlača
Nina Grgić-Hlača
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Algorithmic Fairness
AI-Assisted Decision-Making
Human-Centered AI
Human-AI Collaboration
Citation Rankings
University / Institution:
# 23
Country:
# 18,727
Region:
# 184,875
World:
# 526,546
Citation
Total:
1,473
Last 6 Year:
1,439
Last 6 Year/Total:
0.977
i10 Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
H-Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
Paarijaat Aditya
Paarijaat Aditya
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Engineering & Technology / Computer Science
Computer Science
Distributed Systems
Citation Rankings
University / Institution:
# 24
Country:
# 18,811
Region:
# 185,749
World:
# 529,168
Citation
Total:
1,462
Last 6 Year:
890
Last 6 Year/Total:
0.609
i10 Index
Total:
12
Last 6 Year:
11
Last 6 Year/Total:
0.917
H-Index
Total:
12
Last 6 Year:
10
Last 6 Year/Total:
0.833
Aaron Turon
Aaron Turon
Max Planck Institut für Software Systeme
Max Planck Institut für Software Systeme
Germany
Others
Programming languages
Formal methods
Concurrency
Parallelism
Citation Rankings
University / Institution:
# 25
Country:
# 19,547
Region:
# 194,280
World:
# 553,970
Citation
Total:
1,359
Last 6 Year:
602
Last 6 Year/Total:
0.443
i10 Index
Total:
15
Last 6 Year:
7
Last 6 Year/Total:
0.467
H-Index
Total:
13
Last 6 Year:
8
Last 6 Year/Total:
0.615
AD Scientific Index - World Citation Ranking - 2024 CITATION H INDEX i10 INDEX
University Country Region World Name Country University / Institution Subject Total Last 6 Year Last 6 year/total Total Last 6 year Last 6 year/total Total Last 6 year Last 6 year/total
1 445 3,451 10,869
Peter DruschelPeter Druschel
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Distributed systems |

45,897 4,502 0.098 69 32 0.464 130 62 0.477
2 546 4,115 12,897
Krishna P. GummadiKrishna P. Gummadi
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

Distributed Systems | Networking | Social Networks | Information Retrieval | Security and Privacy |

41,298 14,915 0.361 74 54 0.730 147 128 0.871
3 971 7,054 21,784
Utkarsh UpadhyayUtkarsh Upadhyay
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Machine learning | Graph Theory | Modeling | Point Processes |

29,578 29,068 0.983 13 12 0.923 16 13 0.813
4 1,944 14,919 45,107
Rupak MajumdarRupak Majumdar
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

verification | model checking | automated reasoning |

17,924 4,974 0.278 62 35 0.565 205 130 0.634
5 3,326 25,507 75,684
Manuel Gomez RodriguezManuel Gomez Rodriguez
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Machine Learning | Artificial Intelligence | Temporal Point Processes |

12,065 8,205 0.680 41 38 0.927 65 61 0.938
6 6,532 53,878 155,176
Joel OuaknineJoel Ouaknine
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Foundations of algorithmic verification | linear dynamical systems | model checking | logic | theoretical computer science |

6,381 2,263 0.355 43 26 0.605 111 68 0.613
7 6,550 54,013 155,531
Viktor VafeiadisViktor Vafeiadis
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Software Verification | Program Logic | Concurrency | Weak Memory Models | Interactive Theorem Proving |

6,368 3,251 0.511 46 35 0.761 76 66 0.868
8 6,917 57,131 164,251
Derek DreyerDerek Dreyer
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Programming languages | type systems | semantics | verification |

6,035 3,870 0.641 41 33 0.805 65 55 0.846
9 7,474 62,614 179,422
Muhammad Bilal ZafarMuhammad Bilal Zafar
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

Algorithmic Fairness | Interpretability | Ethical AI |

5,520 4,850 0.879 23 22 0.957 29 29 1.000
10 8,137 69,689 199,114
Björn B. BrandenburgBjörn B. Brandenburg
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Electrical & Electronic Engineering

real-time systems | operating systems | embedded systems | cyber-physical systems | verification |

4,959 2,062 0.416 39 25 0.641 69 54 0.783
Adscientificindex

Click for INSTITUTIONAL BULK REGISTRATION and PREMIUM MEMBERSHIP advantages

 Adscientificindex
11 9,490 83,366 237,307
Adish SinglaAdish Singla
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Machine Teaching | AI for Education | Programming Education | Reinforcement Learning |

4,112 3,224 0.784 32 28 0.875 79 71 0.899
12 10,178 90,527 257,363
Keon JangKeon Jang
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

Systems | Networking |

3,762 1,911 0.508 19 15 0.789 21 15 0.714
13 10,761 96,628 274,503
Elissa M. RedmilesElissa M. Redmiles
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

Security and Privacy | Digital Inequity | Sex Work | Algorithmic Fairness | Survey Methodology |

3,491 3,340 0.957 33 32 0.970 53 53 1.000
14 11,309 102,155 290,139
Deepak GargDeepak Garg
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Formal Logic | Security | Privacy | Programming Languages |

3,271 1,787 0.546 35 24 0.686 61 50 0.820
15 13,315 123,814 350,847
Ali ZarezadeAli Zarezade
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Machine Learning | Complex Networks | Visual Tracking |

2,596 1,683 0.648 10 9 0.900 10 9 0.900
16 14,884 141,262 400,133
Ralf JungRalf Jung
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

programming languages | verification | concurrency | operational semantics |

2,185 1,908 0.873 15 15 1.000 17 17 1.000
17 16,357 157,962 448,209
Daniel NeiderDaniel Neider
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Logic | Machine Learning | Verification | Artificial Intelligence |

1,869 1,470 0.787 21 20 0.952 43 41 0.953
18 16,667 161,544 458,763
Fuyuan ZhangFuyuan Zhang
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

Formal Methods and Testing |

1,809 1,693 0.936 14 13 0.929 17 17 1.000
19 18,278 179,545 511,032
Maria ChristakisMaria Christakis
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Software engineering | Formal methods | Program analysis | Test generation |

1,542 1,180 0.765 20 17 0.850 31 27 0.871
20 18,339 180,196 512,880
Damien ZuffereyDamien Zufferey
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

programming languages | verification |

1,534 767 0.500 20 15 0.750 28 19 0.679
21 18,371 180,453 513,664
Johnnatan Messias|Johnnatan Messias Peixoto AfonsoJohnnatan Messias|Johnnatan Messias Peixoto Afonso
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Computer Science | Socially disruptive technologies | Blockchains | Data Analysis | Social Computing |

1,530 1,270 0.830 15 14 0.933 20 18 0.900
22 18,573 183,155 521,538
Goran RadanovićGoran Radanović
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Artificial Intelligence |

1,495 1,289 0.862 19 18 0.947 23 23 1.000
23 18,727 184,875 526,546
Nina Grgić-HlačaNina Grgić-Hlača
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Algorithmic Fairness | AI-Assisted Decision-Making | Human-Centered AI | Human-AI Collaboration |

1,473 1,439 0.977 13 13 1.000 13 13 1.000
24 18,811 185,749 529,168
Paarijaat AdityaPaarijaat Aditya
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Engineering & Technology / Computer Science

Computer Science | Distributed Systems |

1,462 890 0.609 12 10 0.833 12 11 0.917
25 19,547 194,280 553,970
Aaron TuronAaron Turon
Germany Germany Max Planck Institut für Software Systeme Max Planck Institut für Software Systeme Others

Programming languages | Formal methods | Concurrency | Parallelism |

1,359 602 0.443 13 8 0.615 15 7 0.467