Daniel Gall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2018
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FLOPS | Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. | Daniel Gall, Thom W. Frhwirth |
| 2017 | IGARSS | GOES-R ABI on-orbit performance. | Paul Griffith, John Van Naarden, Luke Roop, Daniel Gall |
| 2015 | PPDP | A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. | Daniel Gall, Thom W. Frhwirth |
| 2014 | LOPSTR | A Formal Semantics for the Cognitive Architecture ACT-R. | Daniel Gall, Thom W. Frhwirth |