Lars-Åke Fredlund
Active 1990–2025
- Affiliations
- Swedish InstituteCzech Academy of Sciences, Institute of Computer ScienceThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-8296-4609
- Also published as
- Lars‐Åke Fredlund
- 75
- Papers
- 968
- Citations
- 14
- h-index
- 22
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science96.1%
- Engineering1.7%
- Business, Management and Accounting0.6%
- Social Sciences0.5%
- Agricultural and Biological Sciences0.3%
- Decision Sciences0.3%
- Other0.5%
Topics
- Formal Methods in Verification25.4%
- Logic, programming, and type systems12%
- Software Testing and Debugging Techniques11.5%
- Distributed systems and fault tolerance8.1%
- Petri Nets in System Modeling5.8%
- Logic, Reasoning, and Knowledge5.7%
- Other31.5%
Frequent coauthors
- Clara Benac Earle38
- Julio Mariño22
- Ángel Herranz14
- Dilian Gurov8
- Luis Eduardo Bueso de Barrio7
- Thomas Arts7
- Álvaro Fernández Díaz7
- Ángel Herranz-Nieva7
- Mads Dam5
- Hans Svensson4
- John Derrick3
- Juan José Moreno-Navarro3
- Manuel Carro3
- Thomas Noll 00013
- Tomás San Feliu3
- Ana María Moreno 00012
- Bengt Jonsson 00012
- Fredrik Orava2
- Gennady Chugunov2
- Guillem Marpons2
- H. Svensson2
- Ignacio Ballesteros2
- John Hughes 00012
- José Antonio Calvo-Manzano2
All papers
Loading papers…
