Igor Walukiewicz (LaBRI)

Identifiers

• name variant Igor Walukiewicz (LaBRI) 0.60 · backfill

Papers (5)

1. Distributed synthesis for acyclic architectures cs.LO · 2014 · author #2
2. Lazy abstractions for timed automata cs.LO · 2013 · author #3
3. Weak Alternating Timed Automata cs.LO · 2012 · author #2
4. Asynchronous Games over Tree Architectures cs.FL · 2012 · author #4
5. The Complexity of Games on Higher Order Pushdown Automata cs.GT · 2007 · author #2

Mentions

• 1402.3314 #2 · arxiv_oai · confidence 0.70 Igor Walukiewicz (LaBRI)
• 1204.0077 #4 · arxiv_oai · confidence 0.70 Igor Walukiewicz (LaBRI)
• 1402.3314 #2 · backfill · confidence 0.70 Igor Walukiewicz (LaBRI)
• 1301.3127 #3 · backfill · confidence 0.70 Igor Walukiewicz (LaBRI)
• 1208.5909 #2 · backfill · confidence 0.70 Igor Walukiewicz (LaBRI)
• 1204.0077 #4 · backfill · confidence 0.70 Igor Walukiewicz (LaBRI)
• 0705.0262 #2 · backfill · confidence 0.70 Igor Walukiewicz (LaBRI)

Frequent Coauthors

• Anca Muscholl (LaBRI) 2 shared papers
• Blaise Genest (INRIA - Irisa) 1 shared papers
• B. Srivathsan (RWTH) 1 shared papers
• Fr\'ed\'eric Herbreteau (LaBRI) 1 shared papers
• Hugo Gimbert (LaBRI) 1 shared papers
• Pawel Parys (Warsaw University) 1 shared papers
• Thierry Cachat (LIAFA) 1 shared papers