A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa International conference on theory and applications of satisfiability …, 2014 | 67 | 2014 |

Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23 (3), 305-359, 2016 | 66 | 2016 |

Equality and monodic first-order temporal logic A Degtyarev, M Fisher, A Lisitsa Studia Logica 72 (2), 147-156, 2002 | 50 | 2002 |

Reachability analysis in verification via supercompilation A Lisitsa, AP Nemytykh International Journal of Foundations of Computer Science 19 (04), 953-969, 2008 | 48 | 2008 |

Verification as a parameterized testing (experiments with the SCP4 supercompiler) AP Lisitsa, AP Nemytykh Programming and Computer Software 33 (1), 14-23, 2007 | 45 | 2007 |

Temporal logic with predicate/spl lambda/-abstraction A Lisitsa, I Potapov 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 38 | 2005 |

Temporal logic with predicate/spl lambda/-abstraction A Lisitsa, I Potapov 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 38 | 2005 |

Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015 | 33 | 2015 |

Linear ordering on graphs, anti-founded sets and polynomial time computability A Lisitsa, V Sazonov Theoretical Computer Science 224 (1-2), 173-213, 1999 | 28 | 1999 |

Bounded hyperset theory and web-like data bases A Lisitsa, V Sazonov Kurt Gödel Colloquium on Computational Logic and Proof Theory, 172-185, 1997 | 25 | 1997 |

Autonomous asteroid exploration by rational agents NK Lincoln, SM Veres, LA Dennis, M Fisher, A Lisitsa ieee ComputatioNal iNtelligeNCe magaziNe 8 (4), 25-38, 2013 | 24 | 2013 |

Satellite control using rational agent programming L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres IEEE Intelligent Systems 25 (3), 92-97, 2010 | 24 | 2010 |

Satellite control using rational agent programming L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres IEEE Intelligent Systems 25 (3), 92-97, 2010 | 24 | 2010 |

Towards verification via supercompilation A Lisitsa, A Nemytykh 29th Annual International Computer Software and Applications Conference …, 2005 | 21 | 2005 |

A misuse-based network intrusion detection system using temporal logic and stream processing A Ahmed, A Lisitsa, C Dixon 2011 5th International Conference on Network and System Security, 1-8, 2011 | 19 | 2011 |

An agent based framework for adaptive control and decision making of autonomous vehicles L Dennis, M Fisher, NK Lincoln, SM Veres, A Lisitsa IFAC Proceedings Volumes 43 (10), 310-317, 2010 | 19 | 2010 |

Membership and reachability problems for row-monomial transformations A Lisitsa, I Potapov International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004 | 19 | 2004 |

Declarative abstractions for agent based hybrid control systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres International Workshop on Declarative Agent Languages and Technologies, 96-111, 2010 | 18 | 2010 |

Practical infinite-state verification with temporal reasoning M Fisher, B Konev, A Lisitsa NATO SECURITY THROUGH SCIENCE SERIES D-INFORMATION AND COMMUNICATION …, 2006 | 18 | 2006 |

Supercompilation for equivalence testing in metamorphic computer viruses detection A Lisitsa, M Webster Proceedings of the First International Workshop on Metacomputation in Russia 226, 2008 | 15 | 2008 |