Filip Niksic

Identifiers

• name variant Filip Niksic 0.60 · backfill

Papers (2)

1. Hitting Families of Schedules for Asynchronous Programs cs.DM · 2016 · author #3
2. Incremental, Inductive Coverability cs.LO · 2013 · author #3

Mentions

• 1301.7321 #3 · backfill · confidence 0.70 Filip Niksic

Frequent Coauthors

• Rupak Majumdar 2 shared papers
• Dmitry Chistikov 1 shared papers
• Johannes Kloos 1 shared papers
• Ruzica Piskac 1 shared papers