BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bundala:Daniel

Contributed to:

ICALP (2) 20142014
LATA 20142014
LICS 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.