Seth Fogarty

Available identifiers

zbMath Open fogarty.seth-jMaRDI QIDQ897652

List of research outcomes

Publication	Date of Publication	Type
Towards a grand unification of Büchi complementation constructions	2023-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4992510	2021-06-09	Paper
Random Models for Evaluating Efficient Büchi Universality Checking	2019-07-24	Paper
Profile trees for Büchi word automata, with application to determinization	2015-12-07	Paper
State of B\"uchi Complementation	2015-01-15	Paper
Unifying B\"uchi Complementation Constructions	2013-04-09	Paper
Unifying Büchi complementation constructions	2012-09-18	Paper
Büchi complementation and size-change termination	2012-04-03	Paper
State of Büchi Complementation	2011-02-11	Paper
Efficient Büchi Universality Checking	2010-04-27	Paper
Büchi Complementation and Size-Change Termination	2009-03-31	Paper

Research outcomes over time

This page was built for person: Seth Fogarty