D-Index & Metrics Best Publications
Computer Science
France
2023

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 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 48 Citations 7,771 155 World Ranking 4070 National Ranking 85

Research.com Recognitions

Awards & Achievements

2023 - Research.com Computer Science in France Leader Award

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Theoretical computer science

Ahmed Bouajjani mostly deals with Theoretical computer science, Model checking, Automaton, Reachability and Algorithm. Ahmed Bouajjani combines subjects such as Programming language and Computation with his study of Theoretical computer science. Ahmed Bouajjani works mostly in the field of Model checking, limiting it down to topics relating to Data structure and, in certain cases, Linked list and Heap.

His Automaton research is multidisciplinary, relying on both Program analysis, Word, Temporal logic and Symbolic trajectory evaluation. His study in Reachability is interdisciplinary in nature, drawing from both Finite-state machine and Discrete mathematics. His work in Algorithm addresses issues such as Lossy compression, which are connected to fields such as Regular expression, Time complexity, Vector addition and Computation tree logic.

His most cited work include:

  • Reachability Analysis of Pushdown Automata: Application to Model-Checking (624 citations)
  • Property preserving abstractions for the verification of concurrent systems (332 citations)
  • Regular Model Checking (233 citations)

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

His scientific interests lie mostly in Theoretical computer science, Reachability, Decidability, Model checking and Algorithm. In his study, Pointer is strongly linked to Data structure, which falls under the umbrella field of Theoretical computer science. The Reachability study combines topics in areas such as Discrete mathematics, Petri net, Concurrency, Finite-state machine and Computation.

As part of the same scientific family, Ahmed Bouajjani usually focuses on Decidability, concentrating on Correctness and intersecting with Distributed computing. As a part of the same scientific family, Ahmed Bouajjani mostly works in the field of Model checking, focusing on Temporal logic and, on occasion, Timed automaton and Linear temporal logic. His Tree study in the realm of Algorithm interacts with subjects such as Parametric statistics.

He most often published in these fields:

  • Theoretical computer science (63.59%)
  • Reachability (32.31%)
  • Decidability (28.21%)

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

  • Theoretical computer science (63.59%)
  • Reachability (32.31%)
  • Reachability problem (17.95%)

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

Ahmed Bouajjani mainly focuses on Theoretical computer science, Reachability, Reachability problem, Correctness and Decidability. Ahmed Bouajjani incorporates Theoretical computer science and Bounded function in his research. In his research on the topic of Reachability, Reduction and Automaton is strongly related with Programming language.

His work in Correctness covers topics such as Distributed computing which are related to areas like Event and Static program analysis. His Decidability research incorporates elements of Semantics, State, Task and Extension. His Model checking study combines topics from a wide range of disciplines, such as Abstract interpretation, Optimistic replication and Feature.

Between 2013 and 2021, his most popular works were:

  • Verifying eventual consistency of optimistic replication systems (39 citations)
  • Tractable Refinement Checking for Concurrent Objects (37 citations)
  • On verifying causal consistency (27 citations)

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

  • Programming language
  • Algorithm
  • Theoretical computer science

The scientist’s investigation covers issues in Theoretical computer science, Reachability, Correctness, Bounded function and Decidability. His Theoretical computer science study combines topics in areas such as Memory model, Thread and Concurrency. His biological study spans a wide range of topics, including Distributed computing and Shared memory.

Ahmed Bouajjani studied Correctness and Data structure that intersect with Reference implementation, Mathematical proof and Consistency. His Decidability study integrates concerns from other disciplines, such as Semantics and State. His work focuses on many connections between Reachability problem and other disciplines, such as Model checking, that overlap with his field of interest in Causal consistency.

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

Reachability Analysis of Pushdown Automata: Application to Model-Checking

Ahmed Bouajjani;Javier Esparza;Oded Maler.
international conference on concurrency theory (1997)

852 Citations

Property preserving abstractions for the verification of concurrent systems

C. Loiseaux;S. Graf;J. Sifakis;A. Bouajjani.
computer aided verification (1995)

550 Citations

Regular model checking

A. Bouajjani;B. Jonsson;M. Nilsson;T. Touili.
Lecture Notes in Computer Science (2000)

447 Citations

Abstract regular model checking

Ahmed Bouajjani;Peter Habermehl;Tomas Vojnar.
Lecture Notes in Computer Science (2004)

221 Citations

A generic approach to the static analysis of concurrent programs with procedures

Ahmed Bouajjani;Javier Esparza;Tayssir Touili.
symposium on principles of programming languages (2003)

208 Citations

On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels

Parosh Aziz Abdulla;Ahmed Bouajjani;Bengt Jonsson.
computer aided verification (1998)

206 Citations

Minimal Model Generation

Ahmed Bouajjani;Jean-Claude Fernandez;Nicolas Halbwachs.
computer aided verification (1990)

203 Citations

On the verification problem for weak memory models

Mohamed Faouzi Atig;Ahmed Bouajjani;Sebastian Burckhardt;Madanlal Musuvathi.
symposium on principles of programming languages (2010)

177 Citations

Abstract regular tree model checking of complex dynamic data structures

Ahmed Bouajjani;Peter Habermehl;Adam Rogalewicz;Tomáš Vojnar.
static analysis symposium (2006)

159 Citations

TReX: A Tool for Reachability Analysis of Complex Systems

Aurore Annichini;Ahmed Bouajjani;Mihaela Sighireanu.
computer aided verification (2001)

156 Citations

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

Contact us

Best Scientists Citing Ahmed Bouajjani

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 96

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 56

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 44

Javier Esparza

Javier Esparza

Technical University of Munich

Publications: 42

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 39

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 37

Jean-François Raskin

Jean-François Raskin

Université Libre de Bruxelles

Publications: 35

Marius Bozga

Marius Bozga

Grenoble Alpes University

Publications: 35

P. Madhusudan

P. Madhusudan

University of Illinois at Urbana-Champaign

Publications: 33

Bengt Jonsson

Bengt Jonsson

Uppsala University

Publications: 31

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 28

Antonín Kučera

Antonín Kučera

Masaryk University

Publications: 26

Orna Grumberg

Orna Grumberg

Technion – Israel Institute of Technology

Publications: 25

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 25

Oscar H. Ibarra

Oscar H. Ibarra

University of California, Santa Barbara

Publications: 24

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 24

Trending Scientists

Tuomas Aura

Tuomas Aura

Aalto University

Xiaoyi Jiang

Xiaoyi Jiang

University of Münster

Wayne B. Thomas

Wayne B. Thomas

University of Oklahoma

Wenzhong Shi

Wenzhong Shi

Hong Kong Polytechnic University

Charles Byrne

Charles Byrne

University of Massachusetts Lowell

Massimo Olivucci

Massimo Olivucci

University of Siena

Marvin Edelman

Marvin Edelman

Weizmann Institute of Science

Francesco Brancati

Francesco Brancati

University of L'Aquila

Danielle Malo

Danielle Malo

McGill University

Olga I. Lavrik

Olga I. Lavrik

Russian Academy of Sciences

Peter J. Baxter

Peter J. Baxter

University of Cambridge

Fernando Roberto Martins

Fernando Roberto Martins

State University of Campinas

Kyle R. Cave

Kyle R. Cave

University of Massachusetts Amherst

John M. Gardiner

John M. Gardiner

University of Sussex

Glenn Flores

Glenn Flores

University of Miami

Gideon Rahat

Gideon Rahat

Hebrew University of Jerusalem

Something went wrong. Please try again later.