Alexei Lisitsa
Alexei Lisitsa
Geverifieerd e-mailadres voor liverpool.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
A SAT attack on the Erdős discrepancy conjecture
B Konev, A Lisitsa
International conference on theory and applications of satisfiability …, 2014
712014
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
692016
Equality and monodic first-order temporal logic
A Degtyarev, M Fisher, A Lisitsa
Studia Logica 72 (2), 147-156, 2002
502002
Reachability analysis in verification via supercompilation
A Lisitsa, AP Nemytykh
International Journal of Foundations of Computer Science 19 (04), 953-969, 2008
492008
Verification as a parameterized testing (experiments with the SCP4 supercompiler)
AP Lisitsa, AP Nemytykh
Programming and Computer Software 33 (1), 14-23, 2007
452007
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
392005
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
392005
Computer-aided proof of Erdős discrepancy properties
B Konev, A Lisitsa
Artificial Intelligence 224, 103-118, 2015
372015
Linear ordering on graphs, anti-founded sets and polynomial time computability
A Lisitsa, V Sazonov
Theoretical Computer Science 224 (1-2), 173-213, 1999
281999
Satellite control using rational agent programming
L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres
IEEE Intelligent Systems 25 (3), 92-97, 2010
262010
Satellite control using rational agent programming
L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres
IEEE Intelligent Systems 25 (3), 92-97, 2010
262010
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
251997
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
242013
Towards verification via supercompilation
A Lisitsa, A Nemytykh
29th Annual International Computer Software and Applications Conference …, 2005
212005
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
202010
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
192011
Membership and reachability problems for row-monomial transformations
A Lisitsa, I Potapov
International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004
192004
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
182010
Practical infinite-state verification with temporal reasoning
M Fisher, B Konev, A Lisitsa
NATO SECURITY THROUGH SCIENCE SERIES D-INFORMATION AND COMMUNICATION …, 2006
182006
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
152008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20