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

Gunther Schmidt 0001

dblp:s/GuntherSchmidt · DBLP profile ↗
← Back
17ranked-venue papers
11as first author
0since 2021 · last 2014
0000-0002-0556-2569ORCID · verified

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

Theory of computation · 15 · 10 first-authorDatabases, data management, data science and information retrieval · 2Applied, interdisciplinary, general and emerging computing · 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.

Software engineering, system software, and programming languages
1 paper
Program analysis · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

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

TopicWeightPapersLastEvidence papers
Program analysis
graph-based analysis		 0.011979
Investigating Programs in Terms of Partial Graphs · ICALP 1979
Logic in computer science
program semantics		 0.011979
Investigating Programs in Terms of Partial Graphs · ICALP 1979
YearPublicationVenuePosition
2014 A Point-Free Relation-Algebraic Approach to General Topology
Gunther Schmidt 0001
 RAMiCS1
2012 Relational Concepts in Social Choice
Gunther Schmidt 0001
 RAMiCS1
2011 Constructions around Partialities
Gunther Schmidt 0001
 RAMiCS1
2007 Algebraic Visualization of Relations Using RelView
Rudolf Berghammer, Gunther Schmidt 0001
 CASC2
1999 Relational Methods in Computer Science
Ali Jaoua, Gunther Schmidt 0001
 Inf. Sci.2
1991 The RELVIEW-System
Rudolf Berghammer, Gunther Schmidt 0001
 STACS2
1990 Describing Semantic Domains with Sprouts
Gunther Schmidt 0001, Rudolf Berghammer, Hans Zierer 0001
 Acta Informatica1
1989 Symmetric Quotients and Domain Constructions
Rudolf Berghammer, Gunther Schmidt 0001, Hans Zierer 0001
 Inf. Process. Lett.2
1987 Describing Semantic Domains with Sprouts
Gunther Schmidt 0001, Rudolf Berghammer, Hans Zierer 0001
 STACS1
1986 An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra
Hans Zierer 0001, Gunther Schmidt 0001, Rudolf Berghammer
 WG2
1982 Kernels in Bipartite Graphs
Gunther Schmidt 0001, Thomas Ströhlein
 WG1
1982 A Relational View on Gotos and Dynamic Logic
Rudolf Berghammer, Gunther Schmidt 0001
 WG2
1981 Programs as Partial Graphs I: Flow Equivalence and Correctness
Gunther Schmidt 0001
 Theor. Comput. Sci.1
1981 Programs as Partial Graphs II: Recursion
Gunther Schmidt 0001
 Theor. Comput. Sci.1
1980 Investigating Programs in Terms of Partial Graphs
Gunther Schmidt 0001
 WG1
1980 Timetable Construction - An Annotated Bibliography
abstract
Papers on timetable construction and related areas are presented which appeared in 1979 or earlier. References to reviews have been added. A sample from the many facets of the timetable problem and some approaches to solving such problems are surveyed.
Gunther Schmidt 0001, Thomas Ströhlein
 Comput. J.1
1979 Investigating Programs in Terms of Partial Graphs
Gunther Schmidt 0001
 ICALP1