- Publications
- Influence

Claim Your Author Page

Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.

- Boris Konev, Alexei Lisitsa
- SAT
- 2014

In 1930s Paul Erdos conjectured that for any positive integer C in any infinite +1 -1 sequence (x_n) there exists a subsequence x_d, x_{2d}, ... , x_{kd} for some positive integers k and d, such that… (More)

- Alexei Lisitsa, Andrei P. Nemytykh
- Int. J. Found. Comput. Sci.
- 2008

We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statements about safety properties… (More)

- Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
- Studia Logica
- 2002

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively… (More)

- Alexei Lisitsa, Andrei P. Nemytykh
- Programming and Computer Software
- 2007

Let a program-predicate t testing another program p with respect to a given postcondition be given. Concrete tests d (data of the program p) are input data for t. Let us consider the program t when… (More)

- Alexei Lisitsa, Vladimir Yu. Sazonov
- Kurt Gödel Colloquium
- 1997

It is demonstrated how a Hyperset Theory (satisfying P.Aczel''s Anti-Foundation Axiom) naturally arises from the idea of World-Wide Web (WWW). Alternatively, Web serves as an illustration and… (More)

- Alexei Lisitsa
- RTA
- 2012

In this paper we deal with verification of safety properties of term-rewriting systems. The verification problem is translated to a purely logical problem of finding a finite countermodel for a… (More)

- Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon
- 5th International Conference on Network and…
- 2011

Intrusion Detection Systems (IDS) aim to detect the actions that attempt to compromise the confidentiality, availability, and integrity of a resource by monitoring the events occurring in computer… (More)

- Boris Konev, Alexei Lisitsa
- Artif. Intell.
- 2014

In 1930s Paul Erd?s conjectured that for any positive integer C in any infinite ?1 sequence ( x n ) there exists a subsequence x d , x 2 d , x 3 d , ? , x k d , for some positive integers k and d,… (More)

- Alexei Lisitsa, Igor Potapov
- ArXiv
- 2004

A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the… (More)

Abstract The paper addresses the problem of defining a theoretical physical agent framework that combines rational agent decision making with abstractions from predictions and planning of the future… (More)