Daniel Bundala

Identifiers

• name variant Daniel Bundala 0.60 · backfill

Papers (4)

1. On Systematic Testing for Execution-Time Analysis cs.PL · 2015 · author #1
2. Optimal-Depth Sorting Networks cs.DS · 2014 · author #1
3. On the Complexity of Temporal-Logic Path Checking cs.LO · 2013 · author #1
4. Optimal Sorting Networks cs.DM · 2013 · author #1

Mentions

• 1506.05893 #1 · backfill · confidence 0.70 Daniel Bundala
• 1412.5302 #1 · backfill · confidence 0.70 Daniel Bundala
• 1312.7603 #1 · backfill · confidence 0.70 Daniel Bundala
• 1310.6271 #1 · backfill · confidence 0.70 Daniel Bundala

Frequent Coauthors

• Jakub Z\'avodn\'y 2 shared papers
• Jo\"el Ouaknine 1 shared papers
• Lu\'is Cruz-Filipe 1 shared papers
• Michael Codish 1 shared papers
• Peter Schneider-Kamp 1 shared papers
• Sanjit A. Seshia 1 shared papers