University, Subject, Country, Region, World
Max Planck Institut für Software Systeme Others Find a Professional
Find a Professional: Explore Experts Across 197 Disciplines in 220 Countries! Looking for the top professional in your field, anywhere in the world or your region? Discover our comprehensive directory of experts in engineering, medicine, law, business, arts, and more. Whether you need an architect, doctor, psychologist, mechanical engineer, economist, or lawyer, find the right professional ranked by excellence across 197 disciplines. Start your search today and connect with the best in their fields across 220 countries! Our Premium members gain greater visibility in the directory, ranking higher in search results and reaching a broader audience. With these advantages, you can: Secure more job and client opportunities, Stand out in your field and build a trusted professional image, Connect more easily with potential business partners and professionals. Stand out, make an impact, and seize opportunities! Highlight your expertise, increase your recognition in the industry, and connect with more opportunities by upgrading to Premium today. With Premium membership, you can rise above the competition and take one step closer to success! Upgrade to Premium Now and Showcase Yourself to the World!
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
Metrics
H-Index
i10 Index
Citation Counts
76
152
42,862
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
Metrics
H-Index
i10 Index
Citation Counts
36
57
4,066
Algorithmic Fairness
Interpretability
Ethical AI
Metrics
H-Index
i10 Index
Citation Counts
24
31
6,083
Systems
Networking
Metrics
H-Index
i10 Index
Citation Counts
19
21
3,959
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theory
Metrics
H-Index
i10 Index
Citation Counts
19
35
992
programming languages
verification
concurrency
operational semantics
Metrics
H-Index
i10 Index
Citation Counts
17
18
2,511
Formal Methods and Testing
Metrics
H-Index
i10 Index
Citation Counts
15
18
2,043
Computational Life Sciences
Social Computing
Metrics
H-Index
i10 Index
Citation Counts
15
16
1,306
Metrics
H-Index
i10 Index
Citation Counts
14
19
570
Programming languages
Formal methods
Concurrency
Parallelism
Metrics
H-Index
i10 Index
Citation Counts
13
15
1,425
Discover Leading Experts: Premium membership highlights you at the top, increasing your visibility and influence in 13 major fields and 197 disciplines. Be seen first!
Metrics
H-Index
i10 Index
Citation Counts
12
15
390
Autonomous Systems
Safe & Secure CPS
Safe Autonomy & AI
Data-Driven Control
Formal Methods
Metrics
H-Index
i10 Index
Citation Counts
11
14
385
Metrics
H-Index
i10 Index
Citation Counts
9
9
599
Formal Methods
Machine Learning
Artificial Intelligence
Metrics
H-Index
i10 Index
Citation Counts
9
8
224
formal methods
learning
robotic systems
Metrics
H-Index
i10 Index
Citation Counts
9
9
457
Programming languages
formal verification
semantics
Metrics
H-Index
i10 Index
Citation Counts
9
9
360
Real-Time Scheduling
Verification
Operating Systems
Metrics
H-Index
i10 Index
Citation Counts
7
7
285
Virtual Reality
User Interfaces
Software Systems
CAD
Metrics
H-Index
i10 Index
Citation Counts
7
7
230
sex work
human-computer interaction
Metrics
H-Index
i10 Index
Citation Counts
5
4
125
artificial intelligence
machine learning
LLMs
education
Metrics
H-Index
i10 Index
Citation Counts
5
3
140
Distributed Systems
Software Engineering
Metrics
H-Index
i10 Index
Citation Counts
5
4
107
Causality
Reinforcement Learning
Game Theory
Accountable Decision Making
Metrics
H-Index
i10 Index
Citation Counts
4
3
53
Reinforcement Learning
Preference-based Reinforcement Learning
Adversarial Corruption in RL
Metrics
H-Index
i10 Index
Citation Counts
4
2
54
Reinforcement Learning
Deep Learning
Machine Learning
Metrics
H-Index
i10 Index
Citation Counts
4
2
40
Approximate Computing
Program Analysis
Software Verification
Metrics
H-Index
i10 Index
Citation Counts
4
1
43
Krishna P. Gummadi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
76
152
42,862
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
Elissa M. Redmiles
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
36
57
4,066
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
Muhammad Bilal Zafar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
24
31
6,083
Keon Jang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
19
21
3,959
Georg Zetzsche
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
19
35
992
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theory
Ralf Jung
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
17
18
2,511
programming languages
verification
concurrency
operational semantics
Fuyuan Zhang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
15
18
2,043
Denzil Correa
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
15
16
1,306
Anne-Kathrin Schmuck
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
14
19
570
Aaron Turon
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
13
15
1,425
Programming languages
Formal methods
Concurrency
Parallelism
Discover Leading Experts: Premium membership highlights you at the top, increasing your visibility and influence in 13 major fields and 197 disciplines. Be seen first!
Moses Ganardi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
12
15
390
Ameneh Nejati|Ameneh Nejati
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
11
14
385
Autonomous Systems
Safe & Secure CPS
Safe Autonomy & AI
Data-Driven Control
Formal Methods
Michael Sammler
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
9
9
599
Rajarshi Roy
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
9
8
224
Ivan Gavran
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
9
9
457
Beta Ziliani
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
9
9
360
Felipe Cerqueira
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
7
7
285
Aman Shankar Mathur
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
7
7
230
Vaughn Hamilton
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
5
4
125
Victor-Alexandru Pădurean
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
5
3
140
Vaastav Anand
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
5
4
107
Stelios Triantafyllou
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
4
3
53
Causality
Reinforcement Learning
Game Theory
Accountable Decision Making
Andi Nika
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
4
2
54
Reinforcement Learning
Preference-based Reinforcement Learning
Adversarial Corruption in RL
Georgios Tzannetos
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
4
2
40
Debasmita Lohar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Metrics
H-Index
i10-Index
Citation Counts
4
1
43
Approximate Computing
Program Analysis
Software Verification