Linas Laibinis

Åbo Akademi University

Papers

4

Total Citations

43

H-Index

4

About

No biography available yet.

Research Focus

Computer science4 · 43 citations
Systems engineering4 · 43 citations
Software engineering3 · 33 citations
Formal methods3 · 33 citations
Control reconfiguration3 · 31 citations
Task (project management)3 · 31 citations
Artificial intelligence3 · 31 citations
Embedded system3 · 31 citations
Distributed computing3 · 31 citations
Resilience (materials science)2 · 25 citations
Event (particle physics)2 · 22 citations
Fault tolerance2 · 18 citations

Key Achievements

4
H-Index
4
Papers
43
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
13 citations · 2013
📈 Most Prolific Year: 2012 (3 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Åbo Akademi University

Top Papers

  1. 1
    Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
    13 citations · 2013
  2. 2
    Formal Goal-Oriented Development of Resilient MAS in Event-B
    12 citations · 2012
  3. 3
    Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
    10 citations · 2012
  4. 4
    A Case Study in Formal Development of a Fault Tolerant Multi-robotic System
    8 citations · 2012

Key Collaborators

ETElena Troubitsynå4 shared papersIPInna Pereverzeva4 shared papersATAnton Tarasyuk1 shared papers
Not generated yet