Stem announc$ (all stems)
3 papers:
- PEPM-2015-VerstoepH #analysis #functional #higher-order #strict
- Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
- CASE-2014-LuXJ #markov #process
- A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
- ICALP-v2-2013-CarreiroGS #algebra #logic
- Coalgebraic Announcement Logics (FC, DG, LS), pp. 101–112.