Joël Allred

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

Collaborative distances:

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

2024

Behavior-Driven Specification in Practice: An Experience Report.

Joël D. Allred, Simon Fraser, Alessandro Pezzoni

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

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