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 VLDB 2026 / reviewers in the wild / expert

Jörg Lohse

dblp:67/1412 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 1995
—ORCID · none

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

Systems, architecture and hardware · 3 · 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.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation › model checking
hardware model checking		 0.011995
Model Checking in Industrial Hardware Design · DAC 1995
Electronic design automation
hardware verification and test		 0.011995
Model Checking in Industrial Hardware Design · DAC 1995

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

model checking · 0.0abstraction · 0.0
YearPublicationVenuePosition
1995 Model Checking in Industrial Hardware Design
abstract
This paper describes how model checking has been integrated into an industrial hardware design process. We present an application oriented specification language for assumption/commitment style properties and an abstraction algorithm that generates an intuitive and efficient representation of synchronous circuits. These approaches are embedded in our Circuit Verification Environment CVE. They are demonstrated on two industrial applications.
Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl
 DAC2
1992 Silicon compilation and rapid prototyping of microprogrammed VLSI-Circuits with MIMOLA and SOLO 1400
Norman Hendrich, Jörg Lohse, Reinhard Rauscher
 Microprocess. Microprogramming2
1989 A coprocessor for implementing the LISP-dialect scheme
Jörg Lohse, Reinhard Rauscher, Bernd Schütz
 Microprocessing and Microprogramming1