Department of Computer Science)

Identifiers

• name variant Department of Computer Science) 0.60 · backfill

Papers (5)

1. On h-Lexicalized Restarting Automata cs.FL · 2017 · author #2
2. An adaptive prefix-assignment technique for symmetry reduction cs.LO · 2017 · author #5
3. A Fire Fighter's Problem cs.CG · 2014 · author #8
4. Categories of Quantum and Classical Channels (extended abstract) cs.LO · 2014 · author #2
5. Quantifier-Free Interpolation of a Theory of Arrays cs.LO · 2012 · author #2

Mentions

• 1412.6065 #8 · backfill · confidence 0.70 Department of Computer Science)
• 1408.0049 #2 · backfill · confidence 0.70 Department of Computer Science)
• 1204.2386 #2 · backfill · confidence 0.70 Department of Computer Science)

Frequent Coauthors

• (2) University of Lund 1 shared papers
• Aleks Kissinger (University of Oxford 1 shared papers
• Bob Coecke (University of Oxford 1 shared papers
• Chris Heunen (University of Oxford 1 shared papers
• Christos Levcopoulos (2) ((1) University of Bonn 1 shared papers
• Elmar Langetepe (1) 1 shared papers
• Fachbereich Elektrotechnik/Informatik) 1 shared papers
• Friedrich Otto (Universit\"at Kassel 1 shared papers
• Germany 1 shared papers
• Institute of Computer Science I 1 shared papers
• Jukka Kohonen (1) ((1) Aalto University 1 shared papers
• Martin Pl\'atek (Charles University 1 shared papers
• Matti Karppa (1) 1 shared papers
• Petteri Kaski (1) 1 shared papers
• Roberto Bruttomesso (Universit\`a degli Studi di Milano 1 shared papers
• Rolf Klein (1) 1 shared papers
• Silvio Ghilardi (Universit\`a degli Studi di Milano 1 shared papers
• Silvio Ranise (Fondazione Bruno Kessler 1 shared papers
• Sweden 1 shared papers
• Tommi Junttila (1) 1 shared papers