Julien Narboux
Julien Narboux publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology, on topics such as Logic, programming, and type systems, Mathematics and Applications and History and Theory of Mathematics.
- World rank
- #2,537,655 of 7,710,434 ranked researchers
- Rank in France
- #108,438 of 324,115
- Works
- 76
- Citations
- 536
- Citations per work
- 7.1
What does Julien Narboux research?
Julien Narboux's work is mostly in Computer Science (45%), Mathematics (24%), Engineering (3%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences5571.9%
- Computer Science3444.6%
- Mathematics1824.3%
- Engineering23.0%
- Everything else2128.1%
- 1Artificial Intelligence27% of their works
- 2Computational Theory and Mathematics14% of their works
- 3Geometry and Topology13% of their works
- 4Theoretical Computer Science11% of their works
- 5Software4% of their works
- 6Industrial and Manufacturing Engineering3% of their works
Research topics
Which keywords describe Julien Narboux's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Geometry, Historical Sources, Hyperbolic, Mathematics Education and Math Search.
- NURBS
- Symbolic Model Checker
- Model-Driven Engineering
- Modal Logic
- Temporal Logic
- Math Search
- Hyperbolic
- Geometry
- Formal Verification
- Model Checking
- Static Analysis
- Historical Sources
- Mathematics Education
- Mathematical Information Retrieval
- Answer Set Programming
- Domain-Specific Languages
- Satisfiability Modulo Theories
- Finite Elements
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- Model Checking533 topics
- Formal Verification381 topic
- Static Analysis381 topic
- Geometry231 topic
- Historical Sources231 topic
- Hyperbolic231 topic
- Mathematics Education231 topic
- Math Search171 topic
- Mathematical Information Retrieval171 topic
- Temporal Logic152 topics
- Answer Set Programming91 topic
- Modal Logic91 topic
- Domain-Specific Languages71 topic
- Model-Driven Engineering71 topic
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Finite Elements51 topic
- NURBS51 topic
Where does Julien Narboux work?
Julien Narboux's main affiliation in the publication record is Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie, France.
How many publications and citations does Julien Narboux have?
OpenAlex counts 76 works and 536 citations for Julien Narboux, an h-index of 14, ranking #2,537,655 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Julien Narboux. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.