Christian Schallhart
From MaRDI portal
Person:888429
Available identifiers
zbMath Open schallhart.christianMaRDI QIDQ888429
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
On the Structure and Complexity of Rational Sets of Regular Languages | 2017-02-21 | Paper |
Closure properties and complexity of rational sets of regular languages | 2015-10-30 | Paper |
An Introduction to Test Specification in FQL | 2011-04-06 | Paper |
Comparing LTL Semantics for Runtime Verification | 2010-06-17 | Paper |
A brief account of runtime verification | 2009-07-20 | Paper |
Query-Driven Program Testing | 2009-02-10 | Paper |
Impartial Anticipation in Runtime-Verification | 2008-11-20 | Paper |
Monitoring of Real-Time Properties | 2008-04-17 | Paper |
Approximating Succinct MaxSat | 2005-10-18 | 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: Christian Schallhart