Klaus Reinhardt

Available identifiers

zbMath Open reinhardt.klausMaRDI QIDQ883233

List of research outcomes

Publication	Date of Publication	Type
Advocating ownership	2024-07-05	Paper
Towards optimal locality in mesh-indexings	2022-12-09	Paper
On the synchronization of semi-traces	2022-12-09	Paper
Strict sequential P-completeness	2022-11-09	Paper
Empty alternation	2022-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q5232904	2019-09-13	Paper
Regular Languages Are Church-Rosser Congruential	2018-08-02	Paper
On codings of traces	2017-12-04	Paper
Optimal average case sorting on arrays	2017-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q5271438	2017-07-11	Paper
Undecidability of the emptiness problem for context-free picture languages	2017-06-19	Paper
New results on the minimum amount of useful space	2016-06-23	Paper
Reachability in Petri Nets with Inhibitor Arcs	2015-03-23	Paper
The Minimum Amount of Useful Space: New Results and New Directions	2014-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q5414621	2014-05-07	Paper
Regular Languages Are Church-Rosser Congruential	2012-11-01	Paper
A TREE-HEIGHT HIERARCHY OF CONTEXT-FREE LANGUAGES	2010-01-29	Paper
Few Product Gates But Many Zeros	2009-10-16	Paper
The Simple Reachability Problem in Switch Graphs	2009-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q3517098	2008-08-12	Paper
Decidability of code properties	2007-11-14	Paper
A quadratic distance bound on sliding between crossing-free spanning trees	2007-06-04	Paper
SOFSEM 2006: Theory and Practice of Computer Science	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4436368	2003-12-04	Paper
The Complexity of Translating Logic to Finite Automata	2003-07-16	Paper
Decidability of code properties	2003-07-09	Paper
Towards optimal locality in mesh-indexings	2002-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q2762530	2002-01-09	Paper
Optimal deterministic sorting and routing on grids and tori with diagonals	2000-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4258574	2000-05-04	Paper
Making Nondeterminism Unambiguous	2000-03-19	Paper
Isolation, matching, and counting uniform and nonuniform upper bounds	2000-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4934352	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4217604	1999-06-21	Paper
On confluent semi-commutations: Decidability and complexity results	1994-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4036566	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3979274	1992-06-26	Paper

Research outcomes over time

This page was built for person: Klaus Reinhardt