Joël Allred

Orcid: 0009-0006-7286-5574

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Behavior-Driven Specification in Practice: An Experience Report.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

2018
A Simple and Optimal Complementation Algorithm for Büchi Automata.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2012
<i>k</i>-counting automata.
RAIRO Theor. Informatics Appl., 2012

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


  Loading...