Concepedia

Anca Muscholl

AM

Statistics

Publications

30

Citations

1.3K

H-Index

21

Active since

1994

Affiliations

Université Paris Cité(Current)

Laboratoire Bordelais de Recherche en Informatique

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Université de Bordeaux

Centre National de la Recherche Scientifique

Anca Muscholl is an author at Université Paris Cité specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationData ScienceComputational ComplexityLinguisticsCommunication

Publications per year

1994–2020

30

Publications

30

Two-Variable Logic on Words with Data

Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick et al. · 2006 · 173 citations · Full text

Engineering, Reachability Problem, Petri Net Reachability +21

Two-variable logic on data trees and XML reasoning

Anca Muscholl, Thomas Schwentick, Luc Segoufin · Journal of the ACM · 2009 · 144 citations

Engineering, Data Science, Automated Reasoning +15

Two-variable logic on data words

Mikołaj Bojańczyk, Claire David, Anca Muscholl et al. · ACM Transactions on Computational Logic · 2011 · 140 citations · Full text

Engineering, Reachability Problem, Verification +23

Logical definability on infinite traces

W. Ebinger, Anca Muscholl · Theoretical Computer Science · 1996 · 79 citations

Engineering, Logical Definability, Computability Theory +4

Numerical document queries

Helmut Seidl, Thomas Schwentick, Anca Muscholl · 2003 · 70 citations

Numerical Analysis, Document Processing, Engineering +20

1–5 of 30