Concepedia

Georg Zetzsche

GZ

12

Publications

224

Citations

11

H-Index

2009

Active since

Affiliations

Laboratoire Spécification et Vérification(Current)

Centre National de la Recherche Scientifique

University of Siegen

University of Kaiserslautern

Université Paris-Saclay

Georg Zetzsche is an author at Laboratoire Spécification et Vérification specializing in engineering, computer science, and linguistics.

Top concepts

EngineeringComputer ScienceLanguageLinguisticsFormal MethodsAutomated ReasoningSyntaxGrammarGraph TheoryFormal Verification

Publications per year

2009–2019

12

Publications

12

Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Simon Halfon, Philippe Schnoebelen, Georg Zetzsche · 2017 · 33 citations

Engineering, Well-founded Semantics, Higher-order Logic +16

Multiset Pushdown Automata

Manfred Kudlek, Patrick Totzke, Georg Zetzsche · Fundamenta Informaticae · 2009 · 25 citations

Properties of Multiset Language Classes Defined by Multiset Pushdown Automata

Manfred Kudlek, Patrick Totzke, Georg Zetzsche · Fundamenta Informaticae · 2009 · 25 citations

Multiset Language Classes, Language Documentation, Language Classes +15

Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Simon Halfon, Philippe Schnoebelen, Georg Zetzsche · Logic in Computer Science · 2017 · 25 citations

Engineering, Classical Logic, Well-founded Semantics +17

Knapsack in Graph Groups

Markus Lohrey, Georg Zetzsche · Theory of Computing Systems · 2017 · 22 citations

Mathematical Programming, Engineering, Graph Theory +9

Rows per page

1–5 of 12