D-Index & Metrics Best Publications

Nicolas Halbwachs

Grenoble Alpes University
France

D-Index & Metrics 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.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 36 Citations 15,641 72 World Ranking 6949 National Ranking 172

Research.com Recognitions

Awards & Achievements

2010 - Member of Academia Europaea

Overview

What is he best known for?

The fields of study he is best known for:

Programming language
Algorithm
Operating system

Nicolas Halbwachs mainly investigates Programming language, Lustre, Finite-state machine, Esterel and Synchronous programming language. His studies in Formal semantics and Reactive system are all subfields of Programming language research. His Lustre research includes elements of Synchronous Data Flow, Data flow diagram, Automatic control, Fifth-generation programming language and Declarative programming.

His studies in Synchronous Data Flow integrate themes in fields like Dataflow, Synchronous language and Temporal logic. His work deals with themes such as Reachability problem, State space, Discrete system, Formal specification and Hybrid automaton, which intersect with Finite-state machine. Nicolas Halbwachs combines subjects such as Formal methods, High-level programming language, Natural language and Specification language with his study of Esterel.

His most cited work include:

The algorithmic analysis of hybrid systems (1707 citations)
Automatic discovery of linear restraints among variables of a program (1419 citations)
The synchronous data flow programming language LUSTRE (1290 citations)

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

The scientist’s investigation covers issues in Programming language, Lustre, Algorithm, Theoretical computer science and Abstract interpretation. His Programming language study combines topics from a wide range of disciplines, such as Data flow diagram and Synchronous Data Flow. His studies deal with areas such as Automatic control, Fifth-generation programming language, Esterel, Synchronous programming language and Declarative programming as well as Lustre.

His biological study spans a wide range of topics, including Linear temporal logic and Temporal logic. His study looks at the relationship between Algorithm and topics such as Invariant, which overlap with Parameterized complexity. His study in Abstract interpretation is interdisciplinary in nature, drawing from both Program analysis and Static analysis.

He most often published in these fields:

Programming language (35.90%)
Lustre (25.64%)
Algorithm (21.79%)

What were the highlights of his more recent work (between 2008-2019)?

Abstract interpretation (14.10%)
Program analysis (7.69%)
Library science (6.41%)

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

Abstract interpretation, Program analysis, Library science, Exploit and Workflow are his primary areas of study. His Abstract interpretation study results in a more complete grasp of Algorithm. His work in the fields of Computation overlaps with other areas such as Implicit function.

His Library science research integrates issues from Systems design, Honor and Embedded software. Among his TRACE studies, there is a synthesis of other scientific areas such as Linear relation, Path, Auxiliary variables and Programming language. His work investigates the relationship between Discrete mathematics and topics such as Static analysis that intersect with problems in Cyclic permutation, Branch predictor and Pipeline.

Between 2008 and 2019, his most popular works were:

When the decreasing sequence fails (29 citations)
Engineering functional requirements of reactive systems using synchronous languages (9 citations)
Synchronous Modeling and Validation of Priority Inheritance Schedulers (9 citations)

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

Programming language
Algorithm
Operating system

Nicolas Halbwachs focuses on Projection, Program analysis, Fixed point, Limit and Abstract interpretation. His Projection research includes themes of Algorithm and Computation.

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.