Publikationen

Articles in Journals and Books

>


Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Christian Glaßer, Heinz Schmitz, Victor Selivanov.
Theoretical Computer Science, volume 646, pages 86-108, Elsevier 2016.
external linkelectronic edition

>


A Complexity Analysis and an Algorithmic Approach to Student Sectioning in Existing Timetables
Maria Dostert, Andreas Politz, Heinz Schmitz.
Journal of Scheduling, volume 19, #3, pages 285-293, Springer 2016.
external linkelectronic edition

>



A Bicriteria Traveling Salesman Problem with Sequence Priorities
Heinz Schmitz, Sebastian Niemann.
Lecture Notes in Economics and Mathematical Systems, volume 624, pages 1-14, Springer, 2009.
external linkelectronic edition

>



Languages of Dot-Depth 3/2
Christian Glaßer, Heinz Schmitz.
Theory of Computing Systems, volume 42, #2, pages 256-286, 2008.
external linkelectronic edition

>


The Boolean Structure of Dot-Depth One
Christian Glaßer, Heinz Schmitz.
Journal of Automata, Languages and Combinatorics, volume 6, #4, pages 437-452, 2001.

>



Uniform Characterizations of Complexity Classes of Functions
Sven Kosub, Heinz Schmitz, Heribert Vollmer.
International Journal of Foundations of Computer Science, volume 11, #4, pages 525-551, 2000.
external linkelectronic edition

>


Restricted Temporal Logic and Deterministic Languages
Heinz Schmitz.
Journal of Automata, Languages and Combinatorics, volume 5, #3, pages 325-342, 2000.

>



Nichtdeterministische Funktionsberechnungen
Heinz Schmitz.
In H. Vollmer (ed.), Komplexitätstheorie: Maschinen und Operatoren, pages 55-70.
ISBN 3-89588-821-4, Cuvillier Verlag, Göttingen, Germany, 1997.

Articles in Conference and Workshop Proceedings

>



An Online Approach to Task Assignment and Sequencing in Expert Crowdsourcing
Heinz Schmitz, Ioanna Lykourentzou.
Conference on Human Computation & Crowdsourcing (HCOMP 2015), San Diego, California, 2015 (poster).
external linkelectronic edition

>


Algorithms and Complexity of Student Sectioning for Existing Timetables
Maria Dostert, Andreas Politz, Heinz Schmitz.
6th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2013), Gent, 2013.

>


Cross-Curriculum Scheduling with Themis: A Course-Timetabling System for Lectures and Sub-Events
Heinz Schmitz, Christian Heimfarth.
8th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2010), Belfast, 2010.

>



Approximability and Hardness in Multi-Objective Optimization
Christian Glaßer, Christian Reitwießner, Heinz Schmitz, Maximilian Witek.
Computability in Europe (CiE), Ponta Delgada (Azores), Portugal, 2010.
Lecture Notes in Computer Science 6158, pages 180-189, Springer-Verlag, 2010.

>




Multiobjective Disk Cover Admits a PTAS
Christian Glaßer, Christian Reitwießner, Heinz Schmitz.
International Symposium on Algorithms and Computation (ISAAC), Gold Coast, Australia, 2008.
Lecture Notes in Computer Science 5369, pages 40-51, Springer-Verlag, 2008.
external linkelectronic edition

>



A Local-Search Approach for Solving a Bin-Packing Problem with Secondary Objectives
Sebastian Niemann, Heinz Schmitz.
5th ESICUP Meeting, EURO Special Interest Group on Cutting and Packing
L'Aquila, Italy, 2008.

>




Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Christian Glaßer, Heinz Schmitz, Victor Selivanov.
Symposium on Theoretical Aspects of Computer Science (STACS), Bordeaux, France, 2008.
Dagstuhl Seminar Proceedings, volume 08001, pages 337-348, IBFI, Schloss Dagstuhl, Germany, 2008.
external linkelectronic edition

>



First Come, First Served - Tour Scheduling with Priorities
Heinz Schmitz, Sebastian Niemann.
8th EU/MEeting on Metaheuristics in the Service Industry,
Stuttgart, Germany, 2007, ISBN 978-3-00-022976-3.

>




Level 5/2 of the Straubing-Thérien Hierarchy for two-letter Alphabets
Christian Glaßer, Heinz Schmitz.
Conference on Developments in Language Theory (DLT), Vienna, Austria, 2001.
Lecture Notes in Computer Science 2295, pages 251-261, Springer-Verlag, 2002.
external linkelectronic edition

>





Decidable Hierarchies of Starfree Languages
Christian Glaßer, Heinz Schmitz.
Foundations of Software Technology and Theoretical Computer Science (FSTTCS),
New Delhi, India, 2000.
Lecture Notes in Computer Science 1974, pages 503-515, Springer-Verlag, 2000.
external linkelectronic edition

>



The Boolean Structure of Dot-Depth One
Christian Glaßer, Heinz Schmitz.
Workshop on Descriptional Complexity of Automata, Grammars and Related Structures (DCAGRS),
London, Ontario, 2000.

>




Languages of Dot-Depth 3/2
Christian Glaßer, Heinz Schmitz.
Symposium on Theoretical Aspects of Computer Science (STACS), Lille, France, 2000.
Lecture Notes in Computer Science 1770, pages 555-566, Springer-Verlag, 2000.
external linkelectronic edition

>




Generalized Deterministic Languages and their Automata:
A Characterization of Restricted Temporal Logic.

Heinz Schmitz.
Workshop on Descriptional Complexity of Automata, Grammars and Related Structures (DCAGRS),
Magdeburg, Germany, 1999

>




Uniformly Defining Complexity Classes of Functions
Sven Kosub, Heinz Schmitz, Heribert Vollmer.
Symposium on Theoretical Aspects of Computer Science (STACS), Paris, France, 1998.
Lecture Notes in Computer Science 1373, pages 607-617, Springer-Verlag, 1998.
external linkelectronic edition

Technical Reports

>




It's about time: Online Macrotask Sequencing in Expert Crowdsourcing
Heinz Schmitz, Ioanna Lykourentzou.
Computing Research Repository CoRR, arXiv:1601.04038 [cs.SI], 2016.
(Also appears as Computer Science Report 2016-1, Trier University of Applied Sciences, Germany, 2016.)
external linkelectronic edition

>



Student Sectioning for Fixed Timetables
Maria Dostert, Andreas Politz, Heinz Schmitz.
Computer Science Report 2013-1, Trier University of Applied Sciences, Germany, 2013.
starts downloadpdf

>




Hardness and Approximability in Multi-Objective Optimization
Christian Glaßer, Christian Reitwießner, Heinz Schmitz, Maximilian Witek.
ECCC Electronic Colloquium on Computational Complexity, Report TR10-031, March 2010.
(Also appears as Computer Science Report 2010-3, Trier University of Applied Sciences, Germany, 2010.)
starts downloadpdf

>



Cross-Curriculum Scheduling with Themis: A Course-Timetabling System for Lectures and Sub-Events
Heinz Schmitz, Christian Heimfarth.
Computer Science Report 2010-2, Trier University of Applied Sciences, Germany, 2010.
starts downloadpdf

>




Multiobjective Disk Cover Admits a PTAS
Christian Glaßer, Christian Reitwießner, Heinz Schmitz.
Computer Science Report 2008-3, Trier University of Applied Sciences, Germany, 2008.
(Also appears as Technical Report TR443, University of Würzburg, Germany, 2008.)
starts downloadpdf

>



A Local-Search Approach for Solving a Bin-Packing Problem with Secondary Objectives
Sebastian Niemann, Heinz Schmitz.
Computer Science Report 2008-1, Trier University of Applied Sciences, Germany, 2008.
starts downloadpdf

>



First Come, First Served - Tour Scheduling with Priorities
Heinz Schmitz, Sebastian Niemann.
Computer Science Report 2007-4, Trier University of Applied Sciences, Germany, 2007.
starts downloadpdf

>





Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Christian Glaßer, Heinz Schmitz, Victor Selivanov.
ECCC Electronic Colloquium on Computational Complexity, Report TR07-094, October 2007.
(Also appears as Technical Report TR429, University of Würzburg, Germany, 2007, and
Computer Science Report 2007-1, Trier University of Applied Sciences, Germany, 2007.)
starts downloadpdf

>




Entwicklung eines Systems zur effizienten Lösung von Least-Squares-Problemen mit Nebenbedingungen für die Parameteroptimierung in TSK-Fuzzy-Systemen
Hermann Schloß, Heinz Schmitz.
Computer Science Report 2006-1, Trier University of Applied Sciences, Germany, 2006.
starts downloadpdf

>



Concatenation Hierarchies and Forbidden Patterns
Christian Glaßer, Heinz Schmitz.
Technical Report TR256, University of Würzburg, Germany, 2000.
starts downloadpdf

>



Languages of Dot-Depth 3/2
Christian Glaßer, Heinz Schmitz.
Technical Report TR243, University of Würzburg, Germany, 1999.
starts downloadpdf

>



Boolean Hierarchies inside Dot-Depth One
Heinz Schmitz.
Technical Report TR240, University of Würzburg, Germany, 1999.
starts downloadpdf

>




Generalized Deterministic Languages and their Automata:
A Characterization of Restricted Temporal Logic

Heinz Schmitz.
Technical Report TR226, University of Würzburg, Germany, 1999.
starts downloadpdf

>



Some Forbidden Patterns in Automata for Dot-Depth One Languages
Heinz Schmitz.
Technical Report TR220, University of Würzburg, Germany, 1999.
starts downloadpdf

>




The Boolean Hierarchy over Level 1/2 of the Straubing-Thérien Hierarchy
Heinz Schmitz, Klaus W. Wagner.
Computing Research Repository CoRR, arXiv:cs/9809118v1 [cs.CC], 1998.
(Also appears as Technical Report TR201, University of Würzburg, Germany, 1998.)
external linkelectronic edition

>



Uniformly Defining Complexity Classes of Functions
Sven Kosub, Heinz Schmitz, Heribert Vollmer.
Technical Report TR183, University of Würzburg, Germany, 1997.
starts downloadpdf

Theses

>



The Forbidden Pattern Approach to Concatenation Hierarchies
Heinz Schmitz.
PhD Thesis, University of Würzburg, Germany, 2000.
starts downloadpdf

>



Nichtdeterministische Polynomialzeit-Berechnung von Funktionen
Heinz Schmitz.
Diploma Thesis, University of Würzburg, Germany, 1996.
starts downloadpdf

>



Objektorientierte Programmierung - Neue Konzepte, deren Anwendung
und Auswirkungen

Heinz Schmitz.
Diploma Thesis, Berufsakademie Stuttgart, Germany, 1990.

Heinz Schmitz,  4. Januar 2017