Klaus Schneider

Available identifiers

zbMath Open schneider.klaus.1WikidataQ102970168 ScholiaQ102970168MaRDI QIDQ1334902

List of research outcomes

Publication	Date of Publication	Type
The Half Cleaner Lemma: Constructing Efficient Interconnection Networks from Sorting Networks	2022-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q5151002	2021-02-16	Paper
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP	2018-12-04	Paper
Automatic synthesis of optimal-size concentrators by answer set programming	2017-09-05	Paper
From synchronous programs to symbolic representations of hybrid systems	2017-05-10	Paper
Constructive Polychronous Systems	2015-12-11	Paper
Approximated Reachability on Hybrid Automata: Falsification meets Certification	2015-03-23	Paper
An Asymptotically Correct Finite Path Semantics for LTL	2012-06-15	Paper
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy	2011-05-06	Paper
Dependency-Driven Distribution of Synchronous Programs	2010-10-27	Paper
Property Driven Three-Valued Model Checking on Hybrid Automata	2009-07-02	Paper
Formal Reasoning About Causality Analysis	2008-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q3528917	2008-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q3528929	2008-10-17	Paper
From LTL to Symbolically Represented Deterministic Automata	2008-04-04	Paper
Bounded model checking of infinite state systems	2007-06-21	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
Verification of reactive systems. Formal methods and algorithms.	2003-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4484348	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4547951	2002-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2729956	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4945211	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4494397	2000-08-10	Paper
Accelerating tableaux proofs using compact representations	1994-09-26	Paper
Structuring and automating hardware proofs in a higher-order theorem- proving environment	1994-01-09	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 Schneider