Ulrich Ultes-Nitsche

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
A simple and optimal complementation algorithm for Büchi automata Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness Proceedings of the twentieth annual ACM symposium on Principles of distributed computing	2016-03-04	Paper
\(k\)-counting automata RAIRO - Theoretical Informatics and Applications	2012-11-22	Paper
Do we need liveness? Approximation of liveness properties by safety properties SOFSEM 2002: Theory and Practice of Informatics	2011-04-01	Paper
A power-set construction for reducing Büchi automata to non-determinism degree two Information Processing Letters	2010-01-29	Paper
A complete characterization of deterministic regular liveness properties Theoretical Computer Science	2007-12-19	Paper
scientific article; zbMATH DE number 1490013 (Why is no real title available?)	2000-08-13	Paper

Research outcomes over time

This page was built for person: Ulrich Ultes-Nitsche