76
Publications
3.4K
Citations
33
H-Index
1968
Active since
Karel Čulík is an author at University of Waterloo specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningLinguisticsFormal VerificationComputational ComplexityLanguageImage AnalysisDiscrete Mathematics
Publications per year
1968–2002
76
76
A note on some tree similarity measures
Karel Čulík, Derick Wood · Information Processing Letters · 1982 · 155 citations
Splicing semigroups of dominoes and DNA
Karel Čulík, Tero Harju · Discrete Applied Mathematics · 1991 · 133 citations
Undecidability of CA classification schemes
Karel Čulík, Sheng Yü · Complex Systems · 1988 · 128 citations
Rows per page
1–5 of 76