Theses most similar to those of author Hoest, Gunnar Waaler, 1972-

Towards a topological characterization of asynchronous complexity (1997) read it

Contributions to higher recursion theory

Marcus, Sherry Elizabeth, 1966- (1993)

  • Advisor: Gerald Enoch Sacks
  • Department of Mathematics
Read it

Subsystems of set theory and analysis

Friedman, Harvey Martin, 1948- (1967)

  • Advisor: Gerald E. Sacks
  • Department of Mathematics
Read it

Solving graph connectivity problems on JAGs

Husbands, Parry (1994)

  • Advisor: Mauricio Karchmer
  • Department of Electrical Engineering and Computer Science
Read it

Algorithms and lower bounds in finite automata size complexity

Kapoutsis, Christos, 1974- (2006)

  • Advisor: Michael Sipser
  • Department of Electrical Engineering and Computer Science
Read it

Principal typings and type inference

Jim, Trevor (1996)

  • Advisor: Albert R. Meyer
  • Department of Electrical Engineering and Computer Science
Read it

The theory of commuting Boolean algebras

Yan, Catherine Huafei (1997)

  • Advisor: Gian-Carlo Rota
  • Department of Mathematics
Read it

Virtual stationary timed automata for mobile networks

Nolte, Tina Ann, 1979- (2009)

  • Advisor: Nancy Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Symmetries in algebraic Property Testing

Grigorescu, Elena, Ph. D. (2010)

  • Advisor: Madhu Sudan
  • Department of Electrical Engineering and Computer Science
Read it

Computability, inference and modeling in probabilistic programming

Roy, Daniel Murphy (2011)

  • Advisor: Leslie P. Kaelbling
  • Department of Electrical Engineering and Computer Science
Read it

Contraction maps and applications to the analysis of iterative algorithms

Zampetakis, Emmanouil (2017)

  • Advisor: Constantinos Daskalakis
  • Department of Electrical Engineering and Computer Science
Read it