Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Lennart Beckman

dblp:52/6108 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
0since 2021 · last 1986
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 50% Computational complexity · 50%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Parallel and multicore computing · 100%
Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Parallel and multicore computing
parallel programming models		 0.011986
An Algebraic Model of Parallel Execution of Logic Programs · LICS 1986
Logic in computer science
logic programming		 0.011986
An Algebraic Model of Parallel Execution of Logic Programs · LICS 1986
Computational complexity
parallel complexity		 0.011986
An Algebraic Model of Parallel Execution of Logic Programs · LICS 1986
Compilers and program optimization
partial evaluation		 0.011976
A Partial Evaluator, and its Use as a Programming Tool · Artif. Intell. 1976

Methods — techniques the papers use, named apart from their topics

algebraic model · 0.0
YearPublicationVenuePosition
1986 Towards a Formal Semantics for Concurrent Logic Programming Languages
Lennart Beckman
 ICLP1
1986 An Algebraic Model of Parallel Execution of Logic Programs
Lennart Beckman, Rune Gustavsson, Annika Wærn
 LICS1
1976 A Partial Evaluator, and its Use as a Programming Tool
Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall
 Artif. Intell.1