Antoine B. Rauzy
Antoine B. Rauzy publishes mostly in Software, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Software Reliability and Analysis Research, Formal Methods in Verification and Risk and Safety Analysis.
- World rank
- #1,631,820 of 7,710,434 ranked researchers
- Rank in Norway
- #10,326 of 33,005
- Works
- 211
- Citations
- 3.3k
- Citations per work
- 15.8
What does Antoine B. Rauzy research?
Antoine B. Rauzy's work is mostly in Computer Science (43%), Decision Sciences (13%), Engineering (10%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences11252.9%
- Computer Science9042.7%
- Engineering2210.2%
- Everything else7234.3%
- Social Sciences2712.8%
- Decision Sciences2712.8%
- 1Software19% of their works
- 2Computational Theory and Mathematics13% of their works
- 3Artificial Intelligence11% of their works
- 4Safety, Risk, Reliability and Quality10% of their works
- 5Statistics, Probability and Uncertainty8% of their works
- 6Management Science and Operations Research4% of their works
Research topics
Which keywords describe Antoine B. Rauzy's research?
The keywords of their largest research topics: Architecture-Based Approach, Software Reliability Modeling, Model-Based Development, Model Checking, Symbolic Model Checker, Metamodeling, Bayesian Networks and Fault Tree Analysis.
- Self-Adaptive Systems
- Verification and Validation
- Reliability Engineering
- Model-Driven Engineering
- Safety Assurance
- Fault Tree Analysis
- Metamodeling
- Model Checking
- Software Reliability Modeling
- Architecture-Based Approach
- Model-Based Development
- Symbolic Model Checker
- Bayesian Networks
- Assurance Cases
- Domain-Specific Languages
- Maintenance Optimization
- Simulation Optimization
- Autonomic Computing
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- Architecture-Based Approach671 topic
- Software Reliability Modeling671 topic
- Model-Based Development582 topics
- Model Checking521 topic
- Symbolic Model Checker521 topic
- Metamodeling512 topics
- Bayesian Networks461 topic
- Fault Tree Analysis461 topic
- Assurance Cases391 topic
- Safety Assurance391 topic
- Domain-Specific Languages311 topic
- Model-Driven Engineering311 topic
- Maintenance Optimization201 topic
- Reliability Engineering201 topic
- Simulation Optimization201 topic
- Verification and Validation201 topic
- Autonomic Computing191 topic
- Self-Adaptive Systems191 topic
Where does Antoine B. Rauzy work?
Antoine B. Rauzy's main affiliation in the publication record is Norwegian University of Science and Technology, Norway.
How many publications and citations does Antoine B. Rauzy have?
OpenAlex counts 211 works and 3,327 citations for Antoine B. Rauzy, an h-index of 30, ranking #1,631,820 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Antoine B. Rauzy. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.