Travelled to:1 × Croatia
1 × Denmark
1 × Spain
Collaborated with:J.Ouaknine J.Zavodny J.Worrell
Talks about:check (2) threshold (1) magnitud (1) network (1) complex (1) complet (1) tempor (1) optim (1) model (1) logic (1)
Person: Daniel Bundala
DBLP: Bundala:Daniel
Contributed to:
2014
2014
2012Wrote 3 papers:
- ICALP-v2-2014-BundalaO #complexity #on the
- On the Complexity of Temporal-Logic Path Checking (DB, JO), pp. 86–97.
- LATA-2014-BundalaZ #network #sorting
- Optimal Sorting Networks (DB, JZ), pp. 236–247.
- LICS-2012-BundalaOW #bound #model checking #on the
- On the Magnitude of Completeness Thresholds in Bounded Model Checking (DB, JO, JW), pp. 155–164.