Delphine Demange
Delphine Demange publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Parallel Computing and Optimization Techniques.
- World rank
- #1,175,541 of 1,633,909 ranked researchers
- Rank in France
- #72,166 of 96,116
- Works
- 15
- Citations
- 37
- Citations per work
- 2.5
What does Delphine Demange research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence44% of their works
- 2Computational Theory and Mathematics22% of their works
- 3Hardware and Architecture22% of their works
- 4Computer Networks and Communications6% of their works
- 5Electrical and Electronic Engineering6% of their works
Research topics
- Logic, programming, and type systems
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Security and Verification in Computing
- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Embedded Systems Design Techniques
- Advanced Memory and Neural Computing
Which keywords describe Delphine Demange's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Parallel Computing, Performance Optimization and Security Policies.
- Reconfigurable Computing
- Memristor
- Fault Tolerance
- Autonomic Computing
- Security Policies
- Parallel Computing
- Satisfiability Modulo Theories
- Formal Verification
- Model Checking
- Static Analysis
- Symbolic Model Checker
- Performance Optimization
- Side-Channel Attacks
- Distributed Systems
- High-Level Synthesis
- Neuromorphic Computing
- Self-Adaptive Systems
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking92 topics
- Formal Verification51 topic
- Static Analysis51 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- Security Policies21 topic
- Side-Channel Attacks21 topic
- Autonomic Computing11 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- High-Level Synthesis11 topic
- Memristor11 topic
- Neuromorphic Computing11 topic
- Reconfigurable Computing11 topic
- Self-Adaptive Systems11 topic
Where does Delphine Demange work?
Delphine Demange's main affiliation in the publication record is Institut de Recherche en Informatique et Systèmes Aléatoires, France.
How many publications and citations does Delphine Demange have?
Science Explorer counts 15 works and 37 citations for Delphine Demange, ranking #1,175,541 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.