Repository Menu

University of Hertfordshire Research Archive

Home home About fingerprint Policies policy
  • Year calendar_month Author person Funder currency_pound Publication library_books Type interests Theses Archive menu_book Datasets biotech
  • Login login
    Items where Author is "<span class="person_name">Sinz, Carsten</span>"
    Number of items: 4.
    Article
  • Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema
  • Other
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina
  • Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011) Tamara Mendt, Olga Tveretina and Carsten Sinz
  • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema
  • arrow_upwardUp a level
    BibTeX OpenURL ContextObject Dublin Core EndNote HTML Citation Object IDs METS Reference Manager Refer ASCII Citation
    rss_feedAtom rss_feedRSS

    1. Article
    2. Other
    Lightbox
    Loading
    Close