Andreas Holzer

From MaRDI portal
Person:888428

Available identifiers

zbMath Open holzer.andreasMaRDI QIDQ888428

List of research outcomes





PublicationDate of PublicationType
Error invariants for concurrent traces2020-01-03Paper
Local linearizability for concurrent container-type data structures2018-03-21Paper
On compiling Boolean circuits optimized for secure multi-party computation2018-02-14Paper
On the Structure and Complexity of Rational Sets of Regular Languages2017-02-21Paper
Closure properties and complexity of rational sets of regular languages2015-10-30Paper
Information Reuse for Multi-goal Reachability Analyses2013-08-05Paper
An Introduction to Test Specification in FQL2011-04-06Paper
Query-Driven Program Testing2009-02-10Paper

Research outcomes over time

This page was built for person: Andreas Holzer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:888428&oldid=7021673"
Powered by MediaWiki