Concepedia

Sebastian Kerkhoff

SK

Statistics

Publications

5

Citations

100

H-Index

5

Active since

2012

Affiliations

Technische Universität Dresden(Current)

Sebastian Kerkhoff is an author at Technische Universität Dresden specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSystem SoftwareSoftware AnalysisAutomated ReasoningSoftware Engineering

Publications per year

2012–2015

5

Publications

5

Chaotic actions of topological semigroups

Friedrich Martin Schneider, Sebastian Kerkhoff, Mike Behrisch et al. · Semigroup Forum · 2013 · 32 citations

Topological Semigroups, Topological Dynamic, Transformation Semigroups +1

A Short Introduction to Clones

Sebastian Kerkhoff, Reinhard Pöschel, Friedrich Martin Schneider · Electronic Notes in Theoretical Computer Science · 2014 · 27 citations · Full text

Algebraic Logic, Short Introduction, Engineering +14

A general Galois theory for operations and relations in arbitrary categories

Sebastian Kerkhoff · Algebra Universalis · 2012 · 17 citations

Abstract Algebra, Algebraic Structure, Modern Algebra +4

A GENERAL DUALITY THEORY FOR CLONES

Sebastian Kerkhoff · International Journal of Algebra and Computation · 2013 · 14 citations

Concrete Examples, Relational Counterpart, Engineering +8

Dynamical Systems in Categories

Mike Behrisch, Sebastian Kerkhoff, Reinhard Pöschel et al. · Applied Categorical Structures · 2015 · 10 citations

1–5 of 5