Skip to content

Leopold Haller

    • 0ReadersNumber of instances of Leopold's publications in Mendeley libraries. Updated daily.
    • 3PublicationsNumber of items in Leopold's My Publications folder on Mendeley.

    Followers (2)

    • Roberto Bruttomesso

      Roberto BruttomessoDipartimento di scienze dell'informazione, Università degli Studi di Milano

    • May Chan

      May Chan

    Publications (3)

    • Verification, Model Checking, and Abstract Interpretation

      • Donaldson A
      • Haller L
      • Kroening D
      N/AReaders
      N/ACitations
      Get full text
    • A SAT Solver for Circuits Based on the Tableau Method

      • Egly U
      • Haller L
      N/AReaders
      N/ACitations
      Get full text
    • Theory and Applications of Satisfiability Testing - SAT 2009

      • Chebiryak Y
      • Wahl T
      • Kroening D
      • et al.
      N/AReaders
      N/ACitations
      Get full text