World

i10 Productivity
Rankings

Rheinisch Westfalische Technische Hochschule Aachen Scientists i10 Productivity Rankings 2024

Productivity Rankings is a unique service offered only by “AD Scientific Index”. This is a ranking system derived from the i10 index in order to show the productivity of the scientist in publishing scientific articles of value. Productivity Rankings is an instrument that lists productive scientists in a given area, discipline, university, and country and can guide the development of meaningful incentives and academic policies. The world rankings, regional rankings, and university rankings of scientists in this table are developed based on the total i10 index. Click for "last 6 years' i10 index". Also see: Universities Rankings 2024 (Sort by : Total i10 Index)  and Universities Rankings 2024 (Sort by : Last 6 Years i10 Index)

search
×
Total 1,534 scientist
Heiko Topol
Heiko Topol
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
contunuum mechanics
nonlinear mechanics
biomechanics
soft tisse remodeling
wave propagation
i10 Productivity Rankings
University / Institution:
# 476
Country:
# 24,002
Region:
# 256,644
World:
# 716,861
i10 Index
Total:
16
Last 6 Year:
15
Last 6 Year/Total:
0.938
H-Index
Total:
12
Last 6 Year:
12
Last 6 Year/Total:
1.000
Citation
Total:
363
Last 6 Year:
297
Last 6 Year/Total:
0.818
Simon Koppers
Simon Koppers
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Computer Science
Diffusion Imaging
Deep Learning
i10 Productivity Rankings
University / Institution:
# 477
Country:
# 24,074
Region:
# 257,240
World:
# 718,793
i10 Index
Total:
16
Last 6 Year:
14
Last 6 Year/Total:
0.875
H-Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
Citation
Total:
2,717
Last 6 Year:
2,658
Last 6 Year/Total:
0.978
Fabien Georget
Fabien Georget
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Civil Engineering
Cement
Durability
Reactive transport
Thermodynamics
Image analysis
i10 Productivity Rankings
University / Institution:
# 478
Country:
# 24,102
Region:
# 257,504
World:
# 719,746
i10 Index
Total:
16
Last 6 Year:
14
Last 6 Year/Total:
0.875
H-Index
Total:
12
Last 6 Year:
12
Last 6 Year/Total:
1.000
Citation
Total:
718
Last 6 Year:
700
Last 6 Year/Total:
0.975
Ryan Kurniawan Santoso
Ryan Kurniawan Santoso
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
THMC processes in Porous Media
Uncertainty Quantification
Reduced-Order Modeling
Distributed
i10 Productivity Rankings
University / Institution:
# 479
Country:
# 24,108
Region:
# 257,563
World:
# 719,918
i10 Index
Total:
16
Last 6 Year:
14
Last 6 Year/Total:
0.875
H-Index
Total:
12
Last 6 Year:
12
Last 6 Year/Total:
1.000
Citation
Total:
442
Last 6 Year:
434
Last 6 Year/Total:
0.982
Michael Roscher
Michael Roscher
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
Batterie
i10 Productivity Rankings
University / Institution:
# 480
Country:
# 24,125
Region:
# 257,655
World:
# 720,240
i10 Index
Total:
16
Last 6 Year:
13
Last 6 Year/Total:
0.813
H-Index
Total:
15
Last 6 Year:
12
Last 6 Year/Total:
0.800
Citation
Total:
1,673
Last 6 Year:
688
Last 6 Year/Total:
0.411
Okyay Altay
Okyay Altay
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Civil Engineering
structural dynamics
machine learning
system identification
structural control
real-time hybrid simulation
i10 Productivity Rankings
University / Institution:
# 481
Country:
# 24,196
Region:
# 258,462
World:
# 722,669
i10 Index
Total:
16
Last 6 Year:
13
Last 6 Year/Total:
0.813
H-Index
Total:
12
Last 6 Year:
11
Last 6 Year/Total:
0.917
Citation
Total:
382
Last 6 Year:
325
Last 6 Year/Total:
0.851
Klaus Baier
Klaus Baier
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
mega urbanization
land use change
water management
urban-environment-interaction
agent-based modelling
i10 Productivity Rankings
University / Institution:
# 482
Country:
# 24,242
Region:
# 258,918
World:
# 724,132
i10 Index
Total:
16
Last 6 Year:
12
Last 6 Year/Total:
0.750
H-Index
Total:
13
Last 6 Year:
11
Last 6 Year/Total:
0.846
Citation
Total:
831
Last 6 Year:
587
Last 6 Year/Total:
0.706
Markus Neubert
Markus Neubert
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Electrical & Electronic Engineering
Power Electronics and Electrical Drives
i10 Productivity Rankings
University / Institution:
# 483
Country:
# 24,244
Region:
# 258,924
World:
# 724,139
i10 Index
Total:
16
Last 6 Year:
12
Last 6 Year/Total:
0.750
H-Index
Total:
13
Last 6 Year:
11
Last 6 Year/Total:
0.846
Citation
Total:
825
Last 6 Year:
611
Last 6 Year/Total:
0.741
Sandra Geisler
Sandra Geisler
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Computer Science
Data Streams
Data Lakes
Data Quality
Health Informatics
Data Integration
i10 Productivity Rankings
University / Institution:
# 484
Country:
# 24,256
Region:
# 259,105
World:
# 724,671
i10 Index
Total:
16
Last 6 Year:
12
Last 6 Year/Total:
0.750
H-Index
Total:
12
Last 6 Year:
11
Last 6 Year/Total:
0.917
Citation
Total:
1,082
Last 6 Year:
806
Last 6 Year/Total:
0.745
Michael Ummels
Michael Ummels
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Aerospace Engineering
Model Checking
Game Theory
Optimization
i10 Productivity Rankings
University / Institution:
# 485
Country:
# 24,288
Region:
# 259,443
World:
# 725,674
i10 Index
Total:
16
Last 6 Year:
11
Last 6 Year/Total:
0.688
H-Index
Total:
14
Last 6 Year:
11
Last 6 Year/Total:
0.786
Citation
Total:
829
Last 6 Year:
341
Last 6 Year/Total:
0.411
Adscientificindex
Adscientificindex

Click for INSTITUTIONAL BULK REGISTRATION and PREMIUM MEMBERSHIP advantages

GAH Schober
GAH Schober
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
i10 Productivity Rankings
University / Institution:
# 486
Country:
# 24,298
Region:
# 259,535
World:
# 725,929
i10 Index
Total:
16
Last 6 Year:
11
Last 6 Year/Total:
0.688
H-Index
Total:
14
Last 6 Year:
10
Last 6 Year/Total:
0.714
Citation
Total:
527
Last 6 Year:
269
Last 6 Year/Total:
0.510
Abhinav Sadu
Abhinav Sadu
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
Automation of distribution grids
i10 Productivity Rankings
University / Institution:
# 487
Country:
# 24,312
Region:
# 259,821
World:
# 726,728
i10 Index
Total:
16
Last 6 Year:
11
Last 6 Year/Total:
0.688
H-Index
Total:
12
Last 6 Year:
10
Last 6 Year/Total:
0.833
Citation
Total:
752
Last 6 Year:
409
Last 6 Year/Total:
0.544
Marco Jeub
Marco Jeub
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
Speech enhancement
noise reduction
dereverberation
active noise control
ANC
i10 Productivity Rankings
University / Institution:
# 488
Country:
# 24,328
Region:
# 260,024
World:
# 727,343
i10 Index
Total:
16
Last 6 Year:
10
Last 6 Year/Total:
0.625
H-Index
Total:
14
Last 6 Year:
10
Last 6 Year/Total:
0.714
Citation
Total:
1,437
Last 6 Year:
528
Last 6 Year/Total:
0.367
Thomas Kittsteiner
Thomas Kittsteiner
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
i10 Productivity Rankings
University / Institution:
# 489
Country:
# 24,393
Region:
# 260,973
World:
# 729,999
i10 Index
Total:
16
Last 6 Year:
9
Last 6 Year/Total:
0.563
H-Index
Total:
12
Last 6 Year:
9
Last 6 Year/Total:
0.750
Citation
Total:
670
Last 6 Year:
199
Last 6 Year/Total:
0.297
Nico Ketteniss
Nico Ketteniss
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
i10 Productivity Rankings
University / Institution:
# 490
Country:
# 24,459
Region:
# 262,106
World:
# 732,834
i10 Index
Total:
16
Last 6 Year:
6
Last 6 Year/Total:
0.375
H-Index
Total:
14
Last 6 Year:
7
Last 6 Year/Total:
0.500
Citation
Total:
591
Last 6 Year:
181
Last 6 Year/Total:
0.306
Markus Nussbaum Thom
Markus Nussbaum Thom
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Computer Science
Automatic Speech Recognition
Pattern Recognition
Machine Learning
Discriminative Training
i10 Productivity Rankings
University / Institution:
# 491
Country:
# 24,476
Region:
# 262,480
World:
# 733,862
i10 Index
Total:
16
Last 6 Year:
5
Last 6 Year/Total:
0.313
H-Index
Total:
13
Last 6 Year:
7
Last 6 Year/Total:
0.538
Citation
Total:
550
Last 6 Year:
227
Last 6 Year/Total:
0.413
Michael Lübben
Michael Lübben
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
i10 Productivity Rankings
University / Institution:
# 492
Country:
# 24,527
Region:
# 263,429
World:
# 736,013
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
15
Last 6 Year:
14
Last 6 Year/Total:
0.933
Citation
Total:
1,613
Last 6 Year:
1,230
Last 6 Year/Total:
0.763
Justus Schock
Justus Schock
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Computer Science
Machine Learning
Deep Learning
i10 Productivity Rankings
University / Institution:
# 493
Country:
# 24,620
Region:
# 264,044
World:
# 738,165
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
Citation
Total:
1,693
Last 6 Year:
1,690
Last 6 Year/Total:
0.998
Martin Lewin
Martin Lewin
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Electrical & Electronic Engineering
electronic device and systems packaging
lifetime testing
infrared spectroscopy
resistive switching
plasmonics
i10 Productivity Rankings
University / Institution:
# 494
Country:
# 24,631
Region:
# 264,069
World:
# 738,252
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
Citation
Total:
1,377
Last 6 Year:
1,087
Last 6 Year/Total:
0.789
Joby Sebastian
Joby Sebastian
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Natural Sciences / Chemical Sciences
Heterogeneous catalysis
Biomass valorization
CO2 utilization
Polymerization
i10 Productivity Rankings
University / Institution:
# 495
Country:
# 24,660
Region:
# 264,282
World:
# 738,994
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
13
Last 6 Year:
12
Last 6 Year/Total:
0.923
Citation
Total:
625
Last 6 Year:
522
Last 6 Year/Total:
0.835
Yu Ji
Yu Ji
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Natural Sciences / Biological Science
Protein Engineering Biocatalysis
i10 Productivity Rankings
University / Institution:
# 496
Country:
# 24,673
Region:
# 264,383
World:
# 739,337
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
Citation
Total:
482
Last 6 Year:
399
Last 6 Year/Total:
0.828
Julian Pries
Julian Pries
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
Crystallization Kinetics
Glass Dynamics
i10 Productivity Rankings
University / Institution:
# 497
Country:
# 24,681
Region:
# 264,404
World:
# 739,397
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
13
Last 6 Year:
13
Last 6 Year/Total:
1.000
Citation
Total:
456
Last 6 Year:
455
Last 6 Year/Total:
0.998
Can Huang
Can Huang
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Engineering & Technology / Mechanical Engineering
Chemical kinetics
Model-Based Fuel Design
ML in experimental design
i10 Productivity Rankings
University / Institution:
# 498
Country:
# 24,730
Region:
# 264,639
World:
# 740,251
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
12
Last 6 Year:
12
Last 6 Year/Total:
1.000
Citation
Total:
386
Last 6 Year:
368
Last 6 Year/Total:
0.953
Stefan Sterlepper
Stefan Sterlepper
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
i10 Productivity Rankings
University / Institution:
# 499
Country:
# 24,736
Region:
# 264,648
World:
# 740,293
i10 Index
Total:
15
Last 6 Year:
15
Last 6 Year/Total:
1.000
H-Index
Total:
12
Last 6 Year:
12
Last 6 Year/Total:
1.000
Citation
Total:
357
Last 6 Year:
350
Last 6 Year/Total:
0.980
Christian Dehnert
Christian Dehnert
Rheinisch Westfalische Technische Hochschule Aachen
Rheinisch Westfalische Technische Hochschule Aachen
Others
Verification
Model Checking
Quantitative Systems
i10 Productivity Rankings
University / Institution:
# 500
Country:
# 24,754
Region:
# 264,744
World:
# 740,661
i10 Index
Total:
15
Last 6 Year:
14
Last 6 Year/Total:
0.933
H-Index
Total:
15
Last 6 Year:
13
Last 6 Year/Total:
0.867
Citation
Total:
1,598
Last 6 Year:
1,255
Last 6 Year/Total:
0.785
AD Scientific Index - World Scientists i10 Productivity Rankings - 2024 i10 INDEX H INDEX CITATION
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
476 24,002 256,644 716,861
Heiko TopolHeiko Topol
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

contunuum mechanics | nonlinear mechanics | biomechanics | soft tisse remodeling | wave propagation |

16 15 0.938 12 12 1.000 363 297 0.818
477 24,074 257,240 718,793
Simon KoppersSimon Koppers
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Computer Science

Diffusion Imaging | Deep Learning |

16 14 0.875 13 13 1.000 2,717 2,658 0.978
478 24,102 257,504 719,746
Fabien GeorgetFabien Georget
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Civil Engineering

Cement | Durability | Reactive transport | Thermodynamics | Image analysis |

16 14 0.875 12 12 1.000 718 700 0.975
479 24,108 257,563 719,918
Ryan Kurniawan SantosoRyan Kurniawan Santoso
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

THMC processes in Porous Media | Uncertainty Quantification | Reduced-Order Modeling | Distributed |

16 14 0.875 12 12 1.000 442 434 0.982
480 24,125 257,655 720,240
Michael RoscherMichael Roscher
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

Batterie |

16 13 0.813 15 12 0.800 1,673 688 0.411
481 24,196 258,462 722,669
Okyay AltayOkyay Altay
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Civil Engineering

structural dynamics | machine learning | system identification | structural control | real-time hybrid simulation |

16 13 0.813 12 11 0.917 382 325 0.851
482 24,242 258,918 724,132
Klaus BaierKlaus Baier
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

mega urbanization | land use change | water management | urban-environment-interaction | agent-based modelling |

16 12 0.750 13 11 0.846 831 587 0.706
483 24,244 258,924 724,139
Markus NeubertMarkus Neubert
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Electrical & Electronic Engineering

Power Electronics and Electrical Drives |

16 12 0.750 13 11 0.846 825 611 0.741
484 24,256 259,105 724,671
Sandra GeislerSandra Geisler
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Computer Science

Data Streams | Data Lakes | Data Quality | Health Informatics | Data Integration |

16 12 0.750 12 11 0.917 1,082 806 0.745
485 24,288 259,443 725,674
Michael UmmelsMichael Ummels
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Aerospace Engineering

Model Checking | Game Theory | Optimization |

16 11 0.688 14 11 0.786 829 341 0.411
Adscientificindex

Click for INSTITUTIONAL BULK REGISTRATION and PREMIUM MEMBERSHIP advantages

 Adscientificindex
486 24,298 259,535 725,929
GAH SchoberGAH Schober
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

16 11 0.688 14 10 0.714 527 269 0.510
487 24,312 259,821 726,728
Abhinav SaduAbhinav Sadu
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

Automation of distribution grids |

16 11 0.688 12 10 0.833 752 409 0.544
488 24,328 260,024 727,343
Marco JeubMarco Jeub
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

Speech enhancement | noise reduction | dereverberation | active noise control | ANC |

16 10 0.625 14 10 0.714 1,437 528 0.367
489 24,393 260,973 729,999
Thomas KittsteinerThomas Kittsteiner
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

16 9 0.563 12 9 0.750 670 199 0.297
490 24,459 262,106 732,834
Nico KettenissNico Ketteniss
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

16 6 0.375 14 7 0.500 591 181 0.306
491 24,476 262,480 733,862
Markus Nussbaum ThomMarkus Nussbaum Thom
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Computer Science

Automatic Speech Recognition | Pattern Recognition | Machine Learning | Discriminative Training |

16 5 0.313 13 7 0.538 550 227 0.413
492 24,527 263,429 736,013
Michael LübbenMichael Lübben
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

15 15 1.000 15 14 0.933 1,613 1,230 0.763
493 24,620 264,044 738,165
Justus SchockJustus Schock
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Computer Science

Machine Learning | Deep Learning |

15 15 1.000 13 13 1.000 1,693 1,690 0.998
494 24,631 264,069 738,252
Martin LewinMartin Lewin
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Electrical & Electronic Engineering

electronic device and systems packaging | lifetime testing | infrared spectroscopy | resistive switching | plasmonics |

15 15 1.000 13 13 1.000 1,377 1,087 0.789
495 24,660 264,282 738,994
Joby SebastianJoby Sebastian
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Natural Sciences / Chemical Sciences

Heterogeneous catalysis | Biomass valorization | CO2 utilization | Polymerization |

15 15 1.000 13 12 0.923 625 522 0.835
496 24,673 264,383 739,337
Yu JiYu Ji
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Natural Sciences / Biological Science

Protein Engineering Biocatalysis |

15 15 1.000 13 13 1.000 482 399 0.828
497 24,681 264,404 739,397
Julian PriesJulian Pries
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

Crystallization Kinetics | Glass Dynamics |

15 15 1.000 13 13 1.000 456 455 0.998
498 24,730 264,639 740,251
Can HuangCan Huang
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Engineering & Technology / Mechanical Engineering

Chemical kinetics | Model-Based Fuel Design | ML in experimental design |

15 15 1.000 12 12 1.000 386 368 0.953
499 24,736 264,648 740,293
Stefan SterlepperStefan Sterlepper
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

15 15 1.000 12 12 1.000 357 350 0.980
500 24,754 264,744 740,661
Christian DehnertChristian Dehnert
Germany Rheinisch Westfalische Technische Hochschule Aachen Rheinisch Westfalische Technische Hochschule Aachen Others

Verification | Model Checking | Quantitative Systems |

15 14 0.933 15 13 0.867 1,598 1,255 0.785