D-Index & Metrics Best Publications

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
Engineering and Technology D-index 34 Citations 7,993 112 World Ranking 5529 National Ranking 75

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Gene
  • Algorithm

His scientific interests lie mostly in Programming language, Automaton, Cell biology, Model checking and Algorithm. Alexandre David connects Programming language with Safety property in his study. His study in Automaton is interdisciplinary in nature, drawing from both Graphical user interface, Real-time operating system and Semantics.

In general Cell biology study, his work on Nucleologenesis often relates to the realm of Nuclear protein, thereby connecting several areas of interest. His work in Model checking addresses subjects such as Data structure, which are connected to disciplines such as Automata theory. His research investigates the link between Algorithm and topics such as Probabilistic logic that cross with problems in Partial order reduction.

His most cited work include:

  • A Tutorial on UPPAAL (1310 citations)
  • Innate immune and chemically triggered oxidative stress modifies translational fidelity (231 citations)
  • UPPAAL 4.0 (230 citations)

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

Alexandre David spends much of his time researching Automaton, Theoretical computer science, Model checking, Cell biology and Programming language. His Automaton study incorporates themes from Real-time computing, Undecidable problem and Temporal logic. His work on Statistical model checking as part of his general Theoretical computer science study is frequently connected to Rotation formalisms in three dimensions, thereby bridging the divide between different branches of science.

His study looks at the relationship between Model checking and fields such as Reachability, as well as how they intersect with chemical problems. His work deals with themes such as Translation, Eukaryotic Small Ribosomal Subunit, Immunology and Protein biosynthesis, which intersect with Cell biology. His studies deal with areas such as Regulation of gene expression, Messenger RNA and Ribosome as well as Protein biosynthesis.

He most often published in these fields:

  • Automaton (29.24%)
  • Theoretical computer science (19.30%)
  • Model checking (19.30%)

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

  • Translation (17.54%)
  • Cell biology (27.49%)
  • Ribosome (10.53%)

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

His primary areas of study are Translation, Cell biology, Ribosome, Regulation of gene expression and Protein biosynthesis. The study incorporates disciplines such as Cancer stem cell, Transcriptome, Bimolecular fluorescence complementation and Eukaryotic Large Ribosomal Subunit in addition to Translation. In general Cell biology, his work in Nucleologenesis is often linked to Nuclear protein linking many areas of study.

His Ribosome research is multidisciplinary, incorporating elements of Gene expression and Computational biology. Alexandre David has included themes like Cell culture, Cancer research, Eukaryotic initiation factor 4F, Protein kinase C and eIF4A in his Regulation of gene expression study. His Protein kinase C research is multidisciplinary, incorporating perspectives in Malignant transformation, TRNA Methyltransferase and Protein subunit.

Between 2015 and 2021, his most popular works were:

  • The cell proliferation antigen Ki-67 organises heterochromatin (117 citations)
  • The cell proliferation antigen Ki-67 organises heterochromatin (117 citations)
  • The cell proliferation antigen Ki-67 organises heterochromatin (117 citations)

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

  • Programming language
  • Gene
  • Algorithm

The scientist’s investigation covers issues in Cell biology, Gene expression, Translation, Immunology and Histone. His Cell biology research integrates issues from Stromal cell, T cell, Immune system, Memory T cell and Innate lymphoid cell. His Gene expression study integrates concerns from other disciplines, such as Phenotype, Cancer stem cell and Ribosome.

The concepts of his Translation study are interwoven with issues in Malignant transformation, TRNA Methyltransferase, Protein subunit, Protein biosynthesis and Protein kinase C. Alexandre David combines subjects such as Regulation of gene expression and Messenger RNA with his study of Immunology. The Histone study combines topics in areas such as Chromatin, Heterochromatin, Nucleologenesis and Gene silencing.

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

Uppaal SMC tutorial

Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikuăionis.
International Journal on Software Tools for Technology Transfer (2015)

459 Citations

Efficient on-the-fly algorithms for the analysis of timed games

Franck Cassez;Alexandre David;Emmanuel Fleury;Kim G. Larsen.
international conference on concurrency theory (2005)

359 Citations

UPPAAL-Tiga: time for playing games!

Gerd Behrmann;Agnès Cougnard;Alexandre David;Emmanuel Fleury.
computer aided verification (2007)

343 Citations

Nuclear translation visualized by ribosome-bound nascent chain puromycylation

Alexandre David;Brian P. Dolan;Heather D. Hickman;Jonathan J. Knowlton.
Journal of Cell Biology (2012)

253 Citations

Timed I/O automata: a complete specification theory for real-time systems

Alexandre David;Kim G. Larsen;Axel Legay;Ulrik Nyman.
acm international conference hybrid systems computation and control (2010)

228 Citations

Time for statistical model checking of real-time systems

Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis.
computer aided verification (2011)

181 Citations

Dendritic cell aggresome-like induced structures are dedicated areas for ubiquitination and storage of newly synthesized defective proteins

Hugues Lelouard;Vincent Ferrand;Didier Marguet;Jacek Bania.
Journal of Cell Biology (2004)

179 Citations

Statistical model checking for networks of priced timed automata

Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis.
formal modeling and analysis of timed systems (2011)

178 Citations

Formal Verification of UML Statecharts with Real-Time Extensions

Alexandre David;M. Oliver Möller;Wang Yi.
fundamental approaches to software engineering (2002)

170 Citations

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata ∗

Peter E. Bulychev;Alexandre David;Kim Guldstrand Larsen;Marius Mikucionis.
10th Workshop on Quantitative Aspects of Programming Languages and Systems (2012)

161 Citations

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

Contact us

Best Scientists Citing Alexandre David

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 148

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 111

Philippe Pierre

Philippe Pierre

Aix-Marseille University

Publications: 40

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 39

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 32

Saddek Bensalem

Saddek Bensalem

Grenoble Alpes University

Publications: 29

Evelina Gatti

Evelina Gatti

Aix-Marseille University

Publications: 29

Jonathan W. Yewdell

Jonathan W. Yewdell

National Institute of Allergy and Infectious Diseases

Publications: 27

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 26

Paul Pettersson

Paul Pettersson

Mälardalen University

Publications: 25

Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

Publications: 25

Patricia Bouyer

Patricia Bouyer

University of Paris-Saclay

Publications: 24

Frits W. Vaandrager

Frits W. Vaandrager

Radboud University Nijmegen

Publications: 22

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 22

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 22

Tao Pan

Tao Pan

Jinan University

Publications: 22

Something went wrong. Please try again later.