Marco Voigt

ORCID

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 14

Top Venues

CoRR

LICS

IEEE Congress on Evolutionary Computation

SOQE

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Marco Voigt
First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates. J. Autom. Reason. 65 (3) (2021)
Marco Voigt
Separateness of Variables - A Novel Perspective on Decidable First-Order Fragments. CoRR (2019)
Andreas Teucke, Marco Voigt, Christoph Weidenbach
On the Expressivity and Applicability of Model Representation Formalisms. FroCos (2019)
Andreas Teucke, Marco Voigt, Christoph Weidenbach
On the Expressivity and Applicability of Model Representation Formalisms. CoRR (2019)
Marco Voigt
A Fine-Grained Hierarchy of Hard Problems in the Separated Fragment. CoRR (2017)
Marco Voigt
Towards Elimination of Second-Order Quantifiers in the Separated Fragment. SOQE (2017)
Matthias Horbach, Marco Voigt, Christoph Weidenbach
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. CoRR (2017)
Matthias Horbach, Marco Voigt, Christoph Weidenbach
The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable. CoRR (2017)
Matthias Horbach, Marco Voigt, Christoph Weidenbach
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. CADE (2017)
Marco Voigt
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. FroCoS (2017)
Marco Voigt
A fine-grained hierarchy of hard problems in the separated fragment. LICS (2017)
Marco Voigt
On Generalizing Decidable Standard Prefix Classes of First-Order Logic. CoRR (2017)
Marco Voigt
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable. CoRR (2017)
Thomas Sturm, Marco Voigt, Christoph Weidenbach
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. LICS (2016)
Thomas Sturm, Marco Voigt, Christoph Weidenbach
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. CoRR (2015)
Marco Voigt, Christoph Weidenbach
Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete. CoRR (2015)
Benjamin Doerr, Bojana Kodric, Marco Voigt
Lower bounds for the runtime of a global multi-objective evolutionary algorithm. IEEE Congress on Evolutionary Computation (2013)

Marco Voigt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Voigt