References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Sotudeh, Gholamreza; Movaghar, Ali: Abstraction and approximation in fuzzy temporal logics and models (2015)
  2. Goré, Rajeev; Thomson, Jimmy: An improved BDD method for intuitionistic propositional logic: BDDIntKt system description (2013)
  3. Micalizio, Roberto: Action failure recovery via model-based diagnosis and conformant planning (2013)
  4. Andersen, Henrik Reif; Hadzic, Tarik; Pisinger, David: Interactive cost configuration over decision diagrams (2010)
  5. Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice: Hierarchical set decision diagrams and automatic saturation (2008)
  6. Jensen, Rune M.; Veloso, Manuela M.; Bryant, Randal E.: State-set branching: leveraging BDDs for heuristic search (2008)
  7. Plyasunov, Sergey; Arkin, Adam P.: Efficient stochastic sensitivity analysis of discrete event systems (2007)
  8. Xiong, Haiyan; Curzon, Paul; Tahar, Sofiène; Blandford, Ann: Providing a formal linkage between MDG and HOL (2007)
  9. Zhang, Xiangyu; Gupta, Neelam; Gupta, Rajiv: A study of effectiveness of dynamic slicing in locating real faults (2007) ioport
  10. Hymans, Charles: Verification of an error correcting code by abstract interpretation (2005)
  11. Subbarayan, Sathiamoorthy: Integrating CSP decomposition techniques and BDDs for compiling configuration problems (2005)
  12. Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S.: Using datalog with binary decision diagrams for program analysis (2005)
  13. Haddad, Serge; Ilié, Jean-Michel; Klai, Kais: Design and evaluation of a symbolic and abstraction-based model checker (2004)
  14. Edelkamp, S.: Taming numbers and durations in the model checking integrated planning system (2003)
  15. Hill, Patricia M.; Spoto, Fausto: Logic programs as compact denotations. (2003)
  16. Ginsberg, M. L.: GIB: Imperfect information in a computationally challenging game (2001)
  17. Lind-Nielsen, Jørn; Andersen, Henrik Reif; Hulgaard, Henrik; Behrmann, Gerd; Kristoffersen, Kåre; Larsen, Kim G.: Verification of large state/event systems using compositionality and dependency analysis (2001)
  18. Andersen, Henrik Reif; Lind-Nielsen, Jørn: Partial model checking of modal equations: a survey (1999)