BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Japan
2 × Spain
Collaborated with:
I.Potapov R.Saleh B.Konev
Talks about:
automata (3) conjectur (1) discrep (1) safeti (1) regist (1) planar (1) comput (1) attack (1) verif (1) space (1)

Person: Alexei Lisitsa

DBLP DBLP: Lisitsa:Alexei

Contributed to:

SAT 20142014
RTA 20122012
LATA 20112011
LATA 20092009

Wrote 4 papers:

SAT-2014-KonevL #satisfiability
A SAT Attack on the Erdős Discrepancy Conjecture (BK, AL), pp. 219–226.
RTA-2012-Lisitsa #automaton #finite #modelling #safety #verification
Finite Models vs Tree Automata in Safety Verification (AL), pp. 225–239.
LATA-2011-LisitsaPS #automaton
Planarity of Knots, Register Automata and LogSpace Computability (AL, IP, RS), pp. 366–377.
LATA-2009-LisitsaPS #automaton #word
Automata on Gauss Words (AL, IP, RS), pp. 505–517.

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.