Concepedia

Hendrik Jan Hoogeboom

HJ

Statistics

Publications

26

Citations

1K

H-Index

17

Active since

1989

Affiliations

Leiden University(Current)

Transnational University Limburg

Hasselt University

Huazhong University of Science and Technology

University of Colorado Boulder

Hendrik Jan Hoogeboom is an author at Leiden University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningGraph TheoryFormal VerificationVerificationDiscrete MathematicsLinguisticsGenetics

Publications per year

1989–2020

26

Publications

26

MSO definable string transductions and two-way finite-state transducers

Joost Engelfriet, Hendrik Jan Hoogeboom · ACM Transactions on Computational Logic · 2001 · 147 citations

Abstract Machine, Engineering, Automated Reasoning +14

Spiking Neural P Systems with Weights

Jun Wang, Hendrik Jan Hoogeboom, Linqiang Pan et al. · Neural Computation · 2010 · 141 citations · Full text

Engineering, Computational Neuroscience, Neuron Fire +11

Spiking Neural P Systems with Astrocytes

Linqiang Pan, Jun Wang, Hendrik Jan Hoogeboom · Neural Computation · 2011 · 131 citations

Engineering, Simple Neurons, Neural Systems +19

TETRIS IS HARD, EVEN TO APPROXIMATE

Ron Breukelaar, Erik D. Demaine, Susan Hohenberger et al. · International Journal of Computational Geometry & Applications · 2004 · 87 citations

Player Agility, Simultaneous Game, Engineering +15

X-automata on ω-words

Joost Engelfriet, Hendrik Jan Hoogeboom · Theoretical Computer Science · 1993 · 67 citations

Logical Automaton, Engineering, Automated Reasoning +4

1–5 of 26