C2 - Ed. Board
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
Linear-time algorithms for computing maximum-density sequence segments with bioinformatics applications
On paging with locality of reference
A probabilistic model of computing with words
Delay-insensitive computation in asynchronous cellular automata
Attribute grammars for unranked trees as a query language for structured documents
A local approach for temporal model checking of Java bytecode
Papers to Appear
C4 - TOC