Concepedia

Sebastian Seibert

SS

9

Publications

441

Citations

9

H-Index

1994

Active since

Affiliations

RWTH Aachen University(Current)

University of L'Aquila

Christian-Albrechts-Universität zu Kiel

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

Sebastian Seibert is an author at RWTH Aachen University specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputer ScienceComputational ComplexityDiscrete MathematicsCombinatorial OptimizationFormal MethodsAutomated ReasoningMathematical ProgrammingGraph TheoryFormal Verification

Publications per year

1994–2010

9

Publications

9

Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems

Dora Giammarresi, Antonio Restivo, Sebastian Seibert et al. · Information and Computation · 1996 · 97 citations

Rectangular Pictures, Algebraic Logic, Computational Logic +9

Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata

Juraj Hromkovič, Sebastian Seibert, Thomas Wilke · Journal of Computer and System Sciences · 2001 · 83 citations

Logical Automaton, Engineering, Automated Reasoning +5

Communication Complexity Method for Measuring Nondeterminism in Finite Automata

Juraj Hromkovič, Sebastian Seibert, Juhani Karhumäki et al. · Information and Computation · 2002 · 80 citations

Engineering, Communication Complexity Method, Formal Methods +6

Approximation algorithms for the TSP with sharpened triangle inequality

Hans-Joachim Böckenhauer, Juraj Hromkovič, Ralf Klasing et al. · Information Processing Letters · 2000 · 64 citations

Mathematical Programming, Engineering, Optimization Problem +7

Improved Lower Bounds on the Approximability of the Traveling Salesman Problem

Hans-Joachim Böckenhauer, Sebastian Seibert · RAIRO - Theoretical Informatics and Applications · 2000 · 35 citations

Branch-and-bound Algorithm, Engineering, Linear Optimization +15

Rows per page

1–5 of 9