Joël D. Allred

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 2

Top Topics

Weighting Coefficients

Adaptive Behavior

Matching Algorithm

Top Venues

Publications

Joël D. Allred, Simon Fraser, Alessandro Pezzoni
Behavior-Driven Specification in Practice: An Experience Report. REFSQ (2024)
Joël D. Allred, Ulrich Ultes-Nitsche
A Simple and Optimal Complementation Algorithm for Büchi Automata. LICS (2018)