Seth Fogarty

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards a grand unification of Büchi complementation constructions Lecture Notes in Computer Science	2023-08-10	Paper
Profile trees for Büchi word automata, with application to determinization	2021-06-09	Paper
Random models for evaluating efficient Büchi universality checking Logic and Its Applications	2019-07-24	Paper
Profile trees for Büchi word automata, with application to determinization Information and Computation	2015-12-07	Paper
State of Büchi complementation Logical Methods in Computer Science	2015-01-15	Paper
Unifying Büchi complementation constructions Logical Methods in Computer Science	2013-04-09	Paper
Unifying Büchi complementation constructions	2012-09-18	Paper
Unifying Büchi complementation constructions (available as arXiv preprint)	2012-09-18	Paper
Büchi complementation and size-change termination Logical Methods in Computer Science	2012-04-03	Paper
State of Büchi complementation Implementation and Application of Automata	2011-02-11	Paper
Efficient Büchi universality checking Tools and Algorithms for the Construction and Analysis of Systems	2010-04-27	Paper
Büchi Complementation and Size-Change Termination Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper

Research outcomes over time

This page was built for person: Seth Fogarty