Significance of extremely elevated ferritin level in medical inpatients

by Vardi Moshe, Hogerat Tahani, Cohen Sarit, Cohen Shai
Published 2014-02-01

Eliminating incoherence from subjective estimates of chance

by Tsavachidis, Spiridon
Published 2009

Explicit or Symbolic Translation of Linear Temporal Logic to Automata

by Rozier, Kristin Yvonne
Published 2013

BDD-based decision procedures for modal logic K

by Pan, Guoqiang
Published 2009

Experimental evaluation of explicit and symbolic automata-theoretic algorithms

by Tabakov, Deian
Published 2009

Structural heuristics for query optimization

by McMahan, Benjamin James
Published 2009

Complexity and structural heuristics for propositional and quantified satisfiability

by Pan, Guoqiang
Published 2009

Probabilistic phenomena in random combinatorial problems

by Demopoulos, Demetrios D.
Published 2009

Linear vs. branching time: A semantical perspective

Published 2011

Buchi containment and size-change termination

Published 2011

Dynamic Assertion-Based Verification for SystemC

Published 2013

Büchi Automata as Specifications for Reactive Systems

by Fogarty, Seth
Published 2013

Büchi Automata as Specifications for Reactive Systems

by Fogarty, Seth
Published 2013