73
Publications
3.6K
Citations
33
H-Index
1984
Active since
Sheng Yü is an author at Western University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsComputational ComplexityLinguisticsLanguageSyntaxAutomated ReasoningComputational LinguisticsComplexity
Publications per year
1984–2024
73
73
Undecidability of CA classification schemes
Karel Čulík, Sheng Yü · Complex Systems · 1988 · 128 citations
A sharpening of the Parikh mapping
Alexandru Mateescu, Arto Salomaa, Kai Salomaa et al. · RAIRO - Theoretical Informatics and Applications · 2001 · 125 citations
Rows per page
1–5 of 73