Danny B{\o}gsted Poulsen

Identifiers

• name variant Danny B{\o}gsted Poulsen 0.60 · backfill

Papers (2)

1. On Solving Word Equations Using SAT cs.FL · 2019 · author #6
2. Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata cs.SE · 2011 · author #5

Mentions

• 1106.3961 #5 · backfill · confidence 0.70 Danny B{\o}gsted Poulsen

Frequent Coauthors

• Alexandre David 1 shared papers
• Axel Legay 1 shared papers
• Dirk Nowotka 1 shared papers
• Florin Manea 1 shared papers
• Joel D. Day 1 shared papers
• Jonas van Vliet 1 shared papers
• Kim G. Larsen 1 shared papers
• Marius Miku\v{c}ionis 1 shared papers
• Mitja Kulczynski 1 shared papers
• Thorsten Ehlers 1 shared papers
• Zheng Wang 1 shared papers