Concepedia

Alexei Lisitsa

AL

Statistics

Publications

23

Citations

598

H-Index

16

Active since

1997

Affiliations

University of Liverpool(Current)

University of Southampton

Program Systems Institute of RAS

Russian Academy of Sciences

University of Sheffield

Alexei Lisitsa is an author at University of Liverpool specializing in computing, computer science, and formal methods.

Publications per year

1997–2022

23

Publications

23

Practical verification of decision-making in agent-based autonomous systems

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln et al. · Automated Software Engineering · 2014 · 100 citations · Full text

Computing, Autonomous Systems, Computer Science +16

An Overview of Verification and Validation Challenges for Inspection Robots

Michael Fisher, Rafael C. Cardoso, Emily C. Collins et al. · Robotics · 2021 · 60 citations · Full text

Engineering, Nuclear Engineering, Robotics Engineering +16

Equality and Monodic First-Order Temporal Logic

Michael Fisher, Alexei Lisitsa · Studia Logica · 2002 · 37 citations · Full text

Humanities, Mathematics, Formal Methods +10

Temporal Logic with Predicate λ-Abstraction

Alexei Lisitsa, Igor Potapov · 2005 · 35 citations

Computing, Computer Science, Computer Systems +16

Predicting plant Rubisco kinetics from RbcL sequence data using machine learning

Wasim A Iqbal, Alexei Lisitsa, Maxim V. Kapralov · Journal of Experimental Botany · 2022 · 35 citations · Full text

Life Sciences, Biochemistry, Plant Biology +17

1–5 of 23