Joël Allred

According to our database, Joël Allred authored at least 3 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

A Simple and Optimal Complementation Algorithm for Büchi Automata.

Joël D. Allred, Ulrich Ultes-Nitsche

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2012

<i>k</i>-counting automata.

Joël Allred, Ulrich Ultes-Nitsche

RAIRO Theor. Informatics Appl., 2012

2011

k-Counting Automata.

Ulrich Ultes-Nitsche, Joël Allred

Proceedings of the Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18, 2011