Klaus Reinhardt

Available identifiers

zbMath Open reinhardt.klausMaRDI QIDQ883233

List of research outcomes

Publication	Date of Publication	Type
On the synchronization of semi-traces	2022-12-09	Paper
Towards optimal locality in mesh-indexings	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
https://portal.mardi4nfdi.de/entity/Q2708960	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Klaus Reinhardt