LICS: Logic in Computer Science

Published by: IEEE  

Groups

  1. Chatterjee Group (16)
  2. Henzinger Group (15)
  3. IST Fellow (2)

Results (24)

  • Concurrent omega-regular games
    Conference paper
  • Real-time logics: Complexity and expressiveness
    Conference paper
  • Finitary fairness
    Conference paper
  • Reactive modules
    Conference paper
  • Mean-payoff parity games
    Conference paper
  • The theory of hybrid automata
    Conference paper
  • LICS: Logic in Computer Science – authorized name for:

    Name ISSN/ISBN Publisher
    Lics Logic in Computer Science IEEE
    Lics Logic in Computer Science 0-7695-2192-4 IEEE
    LICS: Logic in Computer Science IEEE
    LICS: Logic in Computer Science IEEE
    LICS: Logic in Computer Science 0-8186-2073-0 IEEE
    LICS: Logic in Computer Science 0-8186-2735-2 IEEE
    LICS: Logic in Computer Science 0-8186-6310-3 IEEE
    LICS: Logic in Computer Science 978-0-7695-3746-7 IEEE
    LICS: Logic in Computer Science 0-8186-7463-6 IEEE
    LICS: Logic in Computer Science 0-7695-2266-1 IEEE
    LICS: Logic in Computer Science 0-7695-2192-4 IEEE
    LICS: Logic in Computer Science 0-7695-1281-X IEEE
    LICS: Logic in Computer Science 0-7695-0725-5 IEEE
    LICS: Logic in Computer Science 978-076954769-5 IEEE
    LICS: Logic in Computer Science 978-1-4799-0413-6 IEEE
    LICS: Logic in Computer Science 978-1-4799-0413-6 IEEE
    LICS: Logic in Computer Science 978-1-4673-2263-8 IEEE
    LICS: Logic in Computer Science 978-147998875-4 IEEE
    LICS: Logic in Computer Science 978-147998875-4 IEEE
    LICS: Logic in Computer Science 978-147998875-4 IEEE
    LICS: Logic in Computer Science 978-145034391-6 IEEE
    LICS: Logics in Computer Science 978-1-4577-0451-2 IEEE
    LICS: Logics in Computer Science 978-1-4577-0451-2 IEEE
    Logic in Computer Science (LICS) 2009 IEEE
    Logic in Computer Science (LICS) 2009 IEEE