Science Explorer Interactive view Map
Researcher · Laboratoire Bordelais de Recherche en Informatique · France

Anca Muscholl

Anca Muscholl publishes mostly in Computational Theory and Mathematics, Computer Networks and Communications and Artificial Intelligence, on topics such as Formal Methods in Verification, semigroups and automata theory and Petri Nets in System Modeling.

ORCID 0000-0002-8214-204X OpenAlex
World rank
#463,606
of 1,633,909 ranked researchers
Rank in France
#27,707
of 96,116
Works
68
Citations
194
Citations per work
2.9

What does Anca Muscholl research?

Computational Theory and Mathematics: 51.6%Computer Networks and Communications: 14.3%Artificial Intelligence: 11.0%Molecular Biology: 5.5%other fields: 17.6%52%top field
Computational Theory and Mathematics51.6%Computer Networks and Communications14.3%Artificial Intelligence11.0%Molecular Biology5.5%other fields17.6%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics52% of their works
  2. 2Computer Networks and Communications14% of their works
  3. 3Artificial Intelligence11% of their works
  4. 4Molecular Biology6% of their works
  5. 5Hardware and Architecture6% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Anca Muscholl's research?

The keywords of their largest research topics: Automata, Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Languages, Regular Expressions, Deadlock Prevention and Petri Nets.

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 18 words, with their numbers
  1. Automata312 topics
  2. Model Checking182 topics
  3. Satisfiability Modulo Theories161 topic
  4. Symbolic Model Checker161 topic
  5. Formal Languages151 topic
  6. Regular Expressions151 topic
  7. Deadlock Prevention121 topic
  8. Petri Nets121 topic
  9. Distributed Systems71 topic
  10. Fault Tolerance71 topic
  11. Compression31 topic
  12. DNA Computing31 topic
  13. Molecular Computation31 topic
  14. Suffix Arrays31 topic
  15. Drug Discovery21 topic
  16. Formal Verification21 topic
  17. Peptide Synthesis21 topic
  18. Static Analysis21 topic

Where does Anca Muscholl work?

Anca Muscholl's main affiliation in the publication record is Laboratoire Bordelais de Recherche en Informatique, France.

How many publications and citations does Anca Muscholl have?

Science Explorer counts 68 works and 194 citations for Anca Muscholl, ranking #463,606 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.