Alexander D. Kaiser

From MaRDI portal
Person:2437297

Available identifiers

zbMath Open kaiser.alexander-dMaRDI QIDQ2437297

List of research outcomes





PublicationDate of PublicationType
Lost in abstraction: monotonicity in multi-threaded programs2016-12-22Paper
Lost in Abstraction: Monotonicity in Multi-threaded Programs2014-09-15Paper
Counterexample-guided abstraction refinement for symmetric concurrent programs2014-03-28Paper
Automated simplification of large symbolic expressions2014-03-03Paper
Efficient Coverability Analysis by Proof Minimization2012-09-25Paper
https://portal.mardi4nfdi.de/entity/Q44908132000-07-23Paper

Research outcomes over time

This page was built for person: Alexander D. Kaiser

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