Search results for: Alexei Lisitsa
Annals of Computer Science and Information Systems > 2021 > Vol. 25 > 357--361
Semigroup Forum > 2018 > 97 > 1 > 75-86
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 95-110
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 505-517
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2004 > Algebraic Theory of Languages > 623-634
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 366-377
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies VIII > Social Aspects and Control Systems > 96-111
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 233-244
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 44-56
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 86-101
Automated Software Engineering > 2016 > 23 > 3 > 305-359
Artificial Intelligence > 2015 > 224 > Complete > 103-118