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.
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.
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.
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.
Uppaal SMC tutorial
Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikuăionis.
International Journal on Software Tools for Technology Transfer (2015)
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)
UPPAAL-Tiga: time for playing games!
Gerd Behrmann;Agnès Cougnard;Alexandre David;Emmanuel Fleury.
computer aided verification (2007)
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)
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)
Time for statistical model checking of real-time systems
Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis.
computer aided verification (2011)
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)
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)
Formal Verification of UML Statecharts with Real-Time Extensions
Alexandre David;M. Oliver Möller;Wang Yi.
fundamental approaches to software engineering (2002)
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)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Aalborg University
Université Catholique de Louvain
Uppsala University
National Institute of Allergy and Infectious Diseases
Mälardalen University
Aix-Marseille University
National Institute of Allergy and Infectious Diseases
Aix-Marseille University
Jinan University
Centre national de la recherche scientifique, CNRS