Boolean Programs with Unbounded Thread Creation, Cook, Byron, Kroening, Daniel and Sharygina, Natasha, Theoretical Computer Science (TCS), Vol. 388, pages 227—242. 2007. References External links Private home page (ancient and outdated) Personal research home page University home page Living people German computer scientists Saarland University alumni Academics of the University of Oxford 1975 births