Linas Laibinis
Linas Laibinis publishes mostly in Artificial Intelligence, Software and Safety, Risk, Reliability and Quality, on topics such as Advanced Software Engineering Methodologies, Safety Systems Engineering in Autonomy and Model-Driven Software Engineering Techniques.
- World rank
- #707,993 of 1,633,909 ranked researchers
- Rank in Finland
- #4,285 of 8,199
- Works
- 26
- Citations
- 54
- Citations per work
- 2.1
What does Linas Laibinis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence30% of their works
- 2Software18% of their works
- 3Safety, Risk, Reliability and Quality12% of their works
- 4Hardware and Architecture9% of their works
- 5Control and Systems Engineering6% of their works
- 6Computational Theory and Mathematics6% of their works
Research topics
Which keywords describe Linas Laibinis's research?
The keywords of their largest research topics: Model-Based Development, Autonomic Computing, Self-Adaptive Systems, Assurance Cases, Model Checking, Safety Assurance, Domain-Specific Languages and Model-Driven Engineering.
- Symbolic Model Checker
- Software Reliability Modeling
- Multi-Agent Systems
- Fault Tree Analysis
- Architecture-Based Approach
- Model-Driven Engineering
- Safety Assurance
- Assurance Cases
- Autonomic Computing
- Model-Based Development
- Self-Adaptive Systems
- Model Checking
- Domain-Specific Languages
- Agent-Based Modeling
- Bayesian Networks
- Formal Verification
- Satisfiability Modulo Theories
- Static Analysis
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model-Based Development92 topics
- Autonomic Computing51 topic
- Self-Adaptive Systems51 topic
- Assurance Cases41 topic
- Model Checking42 topics
- Safety Assurance41 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
- Agent-Based Modeling21 topic
- Architecture-Based Approach21 topic
- Bayesian Networks21 topic
- Fault Tree Analysis21 topic
- Formal Verification21 topic
- Multi-Agent Systems21 topic
- Satisfiability Modulo Theories21 topic
- Software Reliability Modeling21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
Where does Linas Laibinis work?
Linas Laibinis's main affiliation in the publication record is Åbo Akademi University, Finland.
How many publications and citations does Linas Laibinis have?
Science Explorer counts 26 works and 54 citations for Linas Laibinis, ranking #707,993 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.