Top1000 Scholar

Scholarly Index

Christel Baier

Technische Universität Dresden; 4,573 total citations; 173 total publications; best world rank #86

Technische Universität Dresden

4,573Total citations
173Total publications
35H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime86DE 598.79
Petri Nets in System ModelingLifetime98DE 1197.35
Model-Driven Software Engineering TechniquesLifetime128DE 1997.15
Logic, programming, and type systemsLifetime176DE 1597.36
Advanced Software Engineering MethodologiesLifetime363DE 4896.81
Software Reliability and Analysis ResearchLifetime595DE 2495.23
Logic, Reasoning, and KnowledgeLifetime744DE 4691.86
Safety Systems Engineering in AutonomyLifetime281DE 4386.13
Formal Methods in Verification2021-2025152DE 1386.29
semigroups and automata theory2021-2025303DE 2758.54
Advanced Software Engineering Methodologies2021-2025456DE 9757.36
Logic, Reasoning, and Knowledge2021-2025605DE 6653.55
Logic, programming, and type systems2021-2025993DE 8529.41