Searching for authors named "Alexei Lisitsa" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Implementing Invariant Search via Temporal Resolution
- …Implementing Invariant Search via Temporal Resolution ? Alexei Lisitsa 1 and James Brotherston…
- Add To MetaCart
-
Bounded Hyperset Theory and Web-like Data Bases
- …Bounded Hyperset Theory and Web-like Data Bases Alexei Lisitsa and Vladimir Sazonov ? Program…
- Cited by 15 (2 self) – Add To MetaCart
-
Monodic ASMs and temporal verification, in
- …Monodic ASMs and Temporal Verification ⋆ Michael Fisher and Alexei Lisitsa Department of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Δ-Languages for Sets and LOGSPACE Computable Graph Transformers
- …\Delta-Languages for Sets and LOGSPACE Computable Graph Transformers Alexei Lisitsa and Vladimir…
- Cited by 3 (0 self) – Add To MetaCart
-
Linear ordering on graphs, anti-founded sets and polynomial time computability
- …Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability ? Alexei Lisitsa…
- Cited by 4 (1 self) – Add To MetaCart
-
On Model Checking Complexity of Circumscription (Extended Abstract)
- …On model checking complexity of circumscription (extended abstract) Alexei P. Lisitsa 1 AI…
- Cited by 1 (1 self) – Add To MetaCart
-
Temporal Logic With Predicate Lambda-Abstraction.
- …Temporal logic with predicate�-abstraction. Alexei Lisitsa and Igor Potapov£ Department…
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- … Alexei Lisitsa and Matt Webster ∗ In this paper we present a novel approach to detection of metamorphic…
- Add To MetaCart
-
Detecting Metamorphic Computer Viruses using
- …Detecting Metamorphic Computer Viruses using Supercompilation Alexei Lisitsa and Matt Webster…
- Add To MetaCart
-
Membership and Reachability Problems for Row-monomial Transformations
- … Membership and Reachability Problems for Row-monomial Transformations Alexei Lisitsa and Igor…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
