BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × Italy
1 × Japan
1 × Spain
Collaborated with:
K.Chatterjee H.Gimbert Y.Oualhadj F.Horn D.Kuperberg M.Skrzypczak B.Maubert A.Murano S.Rubin C.Barloy N.Lhote F.Mazowiecki
Talks about:
finitari (2) bound (2) game (2) probabilist (1) leaktight (1) strategi (1) quantifi (1) automata (1) sequenc (1) problem (1)

Person: Nathanaël Fijalkow

DBLP DBLP: Fijalkow:Nathana=euml=l

Contributed to:

ICALP (2) 20152015
CSL 20132013
LICS 20122012
LATA 20112011
CSL 20182018
CSL 20202020

Wrote 6 papers:

ICALP-v2-2015-FijalkowHKS #bound #game studies #memory management
Trading Bounds for Memory in Games with Counters (NF, FH, DK, MS), pp. 197–208.
CSL-2013-ChatterjeeF #game studies #infinity
Infinite-state games with finitary conditions (KC, NF), pp. 181–196.
LICS-2012-FijalkowGO #automaton #probability #problem
Deciding the Value 1 Problem for Probabilistic Leaktight Automata (NF, HG, YO), pp. 295–304.
LATA-2011-ChatterjeeF
Finitary Languages (KC, NF), pp. 216–226.
CSL-2018-FijalkowMMR #bound #logic
Quantifying Bounds in Strategy Logic (NF, BM, AM, SR), p. 23.
CSL-2020-BarloyFLM #linear #robust #sequence
A Robust Class of Linear Recurrence Sequences (CB, NF, NL, FM), p. 16.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.