• On the power of one-way bounded cellular time computers 

      Buchholz, Thomas; Kutrib, Martin (1996)
      Comparisons of different cellular devices and the investigation of their computing power can be made in terms of their capabilities to time­construct and time­compute functions. Time­construction means that a distinguished ...
    • On time computability of functions in one-way cellular automata 

      Buchholz, Thomas; Kutrib, Martin (1995)
      The capability of one­way (space­bounded) cellular automata (OCA) to time­compute functions is investigated. That means given an constant input of length n a distinguished cell has to enter a distinguished state exactly ...
    • Some relations between massively parallel arrays 

      Buchholz, Thomas; Kutrib, Martin (1996)
      Relations between various models for massively parallel computers are investigated. These are arrays of finite­state machines -- eventually augmented by pushdown storage -- operating synchronously. The architectures differ ...