D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 38 Citations 6,033 125 World Ranking 5125 National Ranking 42

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Operating system

His primary areas of investigation include Formal specification, Automaton, Theoretical computer science, Algorithm and Programming language. His Formal specification research incorporates elements of Computational complexity theory, Arbiter, Property and Rank. The concepts of his Automaton study are interwoven with issues in Time complexity, Graphical user interface, Word, Mathematical optimization and Finite-state machine.

Roderick Bloem interconnects Scalability and Computer Aided Design in the investigation of issues within Theoretical computer science. His Algorithm research integrates issues from Range, Software and Reference implementation. His work in the fields of Programming language, such as Liveness, Implementation and Requirements analysis, intersects with other areas such as Successor cardinal.

His most cited work include:

  • Synthesis of Reactive(1) designs (315 citations)
  • Efficient Büchi Automata from LTL Formulae (277 citations)
  • Program repair as a game (196 citations)

What are the main themes of his work throughout his whole career to date?

Programming language, Algorithm, Theoretical computer science, Model checking and Automaton are his primary areas of study. The Debugging, Formal specification and Symbolic execution research he does as part of his general Programming language study is frequently linked to other disciplines of science, such as Hardware description language, therefore creating a link between diverse domains of science. In his research on the topic of Algorithm, Deterministic automaton is strongly related with ω-automaton.

His Theoretical computer science study incorporates themes from Reactive system, Construct and Reduction. His work in Reactive system addresses issues such as Temporal logic, which are connected to fields such as Reinforcement learning. As a member of one scientific family, Roderick Bloem mostly works in the field of Model checking, focusing on Computation and, on occasion, State space.

He most often published in these fields:

  • Programming language (20.54%)
  • Algorithm (20.54%)
  • Theoretical computer science (19.46%)

What were the highlights of his more recent work (between 2015-2021)?

  • Temporal logic (10.81%)
  • Reactive system (12.97%)
  • Reactive synthesis (11.89%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Temporal logic, Reactive system, Reactive synthesis, Competition and Reinforcement learning. The Temporal logic study combines topics in areas such as Automaton, Distributed computing and Arithmetic. Roderick Bloem conducts interdisciplinary study in the fields of Automaton and Register through his research.

His Reactive system research is multidisciplinary, incorporating elements of Theoretical computer science, Binary decision diagram and Robustness. His research in Theoretical computer science intersects with topics in MQTT, Reduction, Counterexample, Server and Implementation. His research investigates the link between Liveness and topics such as Distributed algorithm that cross with problems in Formal specification.

Between 2015 and 2021, his most popular works were:

  • Safe Reinforcement Learning via Shielding (146 citations)
  • Handbook of Model Checking (103 citations)
  • Model-Based Testing IoT Communication via Active Automata Learning (38 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Operating system

The scientist’s investigation covers issues in Temporal logic, Reactive synthesis, Competition, Benchmark and Reactive system. The study incorporates disciplines such as Queue, Automaton and Reinforcement learning in addition to Temporal logic. His Reactive system research incorporates elements of Theoretical computer science and Distributed computing.

Roderick Bloem combines subjects such as Graph, Protocol and Server with his study of Theoretical computer science. His Distributed computing research integrates issues from Formal methods, System model and Formal specification. Roderick Bloem interconnects Model checking and Formal verification in the investigation of issues within Robot.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Efficient Büchi Automata from LTL Formulae

Fabio Somenzi;Roderick Bloem.
computer aided verification (2000)

460 Citations

Synthesis of Reactive(1) designs

Roderick Bloem;Barbara Jobstmann;Nir Piterman;Amir Pnueli.
Journal of Computer and System Sciences (2012)

335 Citations

Program repair as a game

Barbara Jobstmann;Andreas Griesmayer;Roderick Bloem.
computer aided verification (2005)

250 Citations

Handbook of Model Checking

Edmund M. Clarke;Thomas A. Henzinger;Helmut Veith;Roderick Bloem.
(2018)

250 Citations

Optimizations for LTL Synthesis

B. Jobstmann;R. Bloem.
formal methods in computer-aided design (2006)

192 Citations

Better Quality in Synthesis through Quantitative Objectives

Roderick Bloem;Krishnendu Chatterjee;Thomas A. Henzinger;Barbara Jobstmann.
computer aided verification (2009)

188 Citations

Safe Reinforcement Learning via Shielding

Mohammed Alshiekh;Roderick Bloem;Rüdiger Ehlers;Bettina Könighofer.
national conference on artificial intelligence (2018)

166 Citations

An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps

Roderick Bloem;Harold N. Gabow;Fabio Somenzi.
formal methods (2006)

163 Citations

Synthesizing robust systems

Roderick Bloem;Krishnendu Chatterjee;Karin Greimel;Thomas A. Henzinger.
Acta Informatica (2014)

143 Citations

Automatic Hardware Synthesis from Specifications: A Case Study

R. Bloem;S. Galler;B. Jobstmann;N. Piterman.
design, automation, and test in europe (2007)

139 Citations

Best Scientists Citing Roderick Bloem

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 78

Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Publications: 69

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 58

Ufuk Topcu

Ufuk Topcu

The University of Texas at Austin

Publications: 51

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 40

Jean-François Raskin

Jean-François Raskin

Université Libre de Bruxelles

Publications: 38

Richard M. Murray

Richard M. Murray

California Institute of Technology

Publications: 36

Paulo Tabuada

Paulo Tabuada

University of California, Los Angeles

Publications: 25

Javier Esparza

Javier Esparza

Technical University of Munich

Publications: 24

Rolf Drechsler

Rolf Drechsler

University of Bremen

Publications: 23

Sandeep Kulkarni

Sandeep Kulkarni

Michigan State University

Publications: 23

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 21

Joost Engelfriet

Joost Engelfriet

Leiden University

Publications: 20

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 18

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 17

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 17

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us
Something went wrong. Please try again later.