Concepedia

JEFFREY SHALLIT

JS

Statistics

Publications

10

Citations

449

H-Index

10

Active since

1994

Affiliations

University of Waterloo(Current)

JEFFREY SHALLIT is an author at University of Waterloo specializing in formal methods, engineering, and computational complexity.

Top concepts

EngineeringFormal MethodsComputational ComplexityComputer ScienceLinguisticsAutomated ReasoningDiscrete MathematicsLanguageComputational LinguisticsFormal Verification

Publications per year

1994–2018

10

Publications

10

UNARY LANGUAGE OPERATIONS, STATE COMPLEXITY AND JACOBSTHAL'S FUNCTION

Giovanni Pighizzini, JEFFREY SHALLIT · International Journal of Foundations of Computer Science · 2002 · 141 citations

Basic Operations, Combinatorics On Word, Engineering +13

Numeration Systems, Linear Recurrences, and Regular Sets

JEFFREY SHALLIT · Information and Computation · 1994 · 102 citations

Combinatorics On Word, Discrete Mathematics, Numeration Systems +2

ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES

Émilie Charlier, Narad Rampersad, JEFFREY SHALLIT · International Journal of Foundations of Computer Science · 2012 · 67 citations

Combinatorics On Word, K-automatic Sequences, Engineering +12

FINDING THE GROWTH RATE OF A REGULAR OR CONTEXT-FREE LANGUAGE IN POLYNOMIAL TIME

Paweł Gawrychowski, Dalia Krieger, Narad Rampersad et al. · International Journal of Foundations of Computer Science · 2010 · 33 citations

Context-free Grammars, Engineering, Chomsky Hierarchy +23

SIMULTANEOUS AVOIDANCE OF LARGE SQUARES AND FRACTIONAL POWERS IN INFINITE BINARY WORDS

JEFFREY SHALLIT · International Journal of Foundations of Computer Science · 2004 · 27 citations

Combinatorics On Word, Computational Complexity Theory, Subtle Hierarchy +8

1–5 of 10