pith. sign in

INRIA Nancy - Grand Est / LORIA / LIFC)

Identifiers

  • name variant INRIA Nancy - Grand Est / LORIA / LIFC) 0.60 · backfill

Papers (2)

  1. The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard cs.FL · 2014 · author #6
  2. Random Grammar-based Testing for Covering All Non-Terminals cs.SE · 2013 · author #2

Mentions

  • 1412.0839 #6 · backfill · confidence 0.70 INRIA Nancy - Grand Est / LORIA / LIFC)
  • 1311.6606 #2 · backfill · confidence 0.70 INRIA Nancy - Grand Est / LORIA / LIFC)

Frequent Coauthors