John Reif

John H. Reif (born 1951) is an American academic, and Professor of Computer Science at Duke University, who has made contributions to large number of fields in computer science: ranging from algorithms and computational complexity theory to robotics. He has also published in many other scientific fields including chemistry (in particular, nanoscience), optics (in particular optical computing and design of head-mounted displays), and mathematics (in particular graph theory and game theory). Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Reif, John H.', query time: 0.02s Refine Results
  1. 1
    The Propositional Dynamic Logic of Deterministic, Well-Structured Programs

    The Propositional Dynamic Logic of Deterministic, Well-Structured Programs by Halpern, Joseph Y., Reif, John H.

    Published 2023
    Get full text
  2. 2
    Randomness and Computation

    Randomness and Computation by Micali, Silvio, Preparata, Franco P., Boppana, Ravi B., Miller, Gary L., Reif, John H., Goldwasser, Shafi, Sipser, Michael, Ben-Or, Michael, Linial, Nathan, Ajtai, Miklós, Komlós, János, Steiger, William, Szemerédi, Ezra, Shamir, Eli, Hastad, John, Pippenger, Nicholas, Wigderson, Avi, Gács, Peter, Fortnow, Lance, Greenberg, Ronald L., Leiserson, Charles E., Kaltofen, Erich, Bentley, Jon L., Leighton, F. Thomas, Lepley, Margaret, Stanat, Donald F., Steele, J. Michael, Furer, Martin, Goldreich, Oded, Mansour, Yishay, Zachos, Stathis, Chor, Benny, Dwork, Cynthia, Alon, N., Ravin, M. O.

    Published 2023
    Get full text
    Book

Search Tools: