Joseph Halpern

Joseph Halpern at the [[EPFL]] in June 2008 Joseph Yehuda Halpern (born May 29, 1953) is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Halpern, Joseph', query time: 0.03s Refine Results
  1. 1
    On the Expressive Power of Dynamic Logic, II

    On the Expressive Power of Dynamic Logic, II by Halpern, Joseph Y.

    Published 2023
    Get full text
  2. 2
    Reasoning about uncertainty /

    Reasoning about uncertainty / by Halpern, Joseph Y., 1953-

    Published 2005
  3. 3
    Axiomatic Definitions of Programming Languages: A Theoretical Assessment

    Axiomatic Definitions of Programming Languages: A Theoretical Assessment by Meyer, Albert R., Halpern, Joseph Y.

    Published 2023
    Get full text
  4. 4
    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
  5. 5
    Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness

    Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness by Ben-Ari, Mordechai, Halpern, Joseph Y., Pnueli, Amir

    Published 2023
    Get full text
  6. 6
    From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview

    From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview by Trakhtenbrot, B.A., Halpern, Joseph Y., Meyer, Albert R.

    Published 2023
    Get full text
  7. 7
    The Semantics of Local Storage of What Makes The Free-list Free?

    The Semantics of Local Storage of What Makes The Free-list Free? by Halpern, Joseph Y., Meyer, Albert R., Trakhtenbrot, B.A.

    Published 2023
    Get full text
  8. 8
    In Defense of Liquid Democracy

    In Defense of Liquid Democracy by Halpern, Daniel, Halpern, Joseph, Jadbabaie, Ali, Mossel, Elchanan, Procaccia, Ariel, Revel, Manon

    Published 2023
    Get full text
    Article

Search Tools: