Klaus Schneider

Available identifiers

zbMath Open schneider.klaus.1WikidataQ102970168 ScholiaQ102970168MaRDI QIDQ1334902

List of research outcomes

Publication	Date of Publication	Type
Automating most parts of hardware proofs in HOL	2024-04-29	Paper
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
Hardware acceleration for model checking	2008-10-17	Paper
Generating deterministic \(\omega\)-automata for most LTL formulas by the breakpoint construction	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

This page was built for person: Klaus Schneider