Alexei Lisitsa

Identifiers

• name variant Alexei Lisitsa 0.60 · backfill

Papers (14)

1. A combinatorial approach to knot recognition math.GT · 2015 · author #2
2. Detecting unknots via equational reasoning, I: Exploration cs.LO · 2014 · author #2
3. Computer-Aided Proof of Erdos Discrepancy Properties cs.DM · 2014 · author #2
4. A SAT Attack on the Erdos Discrepancy Conjecture cs.DM · 2014 · author #2
5. Practical Verification of Decision-Making in Agent-Based Autonomous Systems cs.LO · 2013 · author #4
6. A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? cs.PL · 2012 · author #1
7. Finite countermodels for safety verification of parameterized tree systems cs.LO · 2011 · author #1
8. First-order finite satisfiability vs tree automata in safety verification cs.LO · 2011 · author #1
9. Finite Model Finding for Parameterized Verification cs.LO · 2010 · author #1
10. Agent Based Approaches to Engineering Autonomous Space Software cs.MA · 2010 · author #4
11. On Descriptional Complexity of the Planarity Problem for Gauss Words cs.FL · 2009 · author #2
12. A logic with temporally accessible iteration cs.LO · 2008 · author #1
13. Efficient First-Order Temporal Logic for Infinite-State Systems cs.LO · 2007 · author #4
14. Temporal logic with predicate abstraction cs.LO · 2004 · author #1

Mentions

• 1505.06595 #2 · backfill · confidence 0.70 Alexei Lisitsa
• 1405.4211 #2 · backfill · confidence 0.70 Alexei Lisitsa
• 1405.3097 #2 · backfill · confidence 0.70 Alexei Lisitsa
• 1402.2184 #2 · backfill · confidence 0.70 Alexei Lisitsa
• 1310.2431 #4 · backfill · confidence 0.70 Alexei Lisitsa
• 1209.5407 #1 · backfill · confidence 0.70 Alexei Lisitsa
• 1107.5142 #1 · backfill · confidence 0.70 Alexei Lisitsa
• 1107.0349 #1 · backfill · confidence 0.70 Alexei Lisitsa
• 1011.0447 #1 · backfill · confidence 0.70 Alexei Lisitsa
• 1003.0617 #4 · backfill · confidence 0.70 Alexei Lisitsa
• 0907.4180 #2 · backfill · confidence 0.70 Alexei Lisitsa
• 0806.2802 #1 · backfill · confidence 0.70 Alexei Lisitsa

Frequent Coauthors

• Boris Konev 3 shared papers
• Michael Fisher 3 shared papers
• Andrew Fish 2 shared papers
• Igor Potapov 2 shared papers
• Louise A. Dennis 2 shared papers
• Sandor M. Veres 2 shared papers
• Andrei P. Nemytykh 1 shared papers
• Clare Dixon 1 shared papers
• David Stanovsk\'y 1 shared papers
• Nicholas K. Lincoln 1 shared papers
• Nicholas Lincoln 1 shared papers
• Rafiq Saleh 1 shared papers
• Vitaliy Kurlin 1 shared papers