Experiment design and administration for computer clusters for SAT-solvers (EDACC). - Adrian Balint; Daniel Gall; Gregor Kapler; Robert Retz (J. Satisf. Boolean Model. Comput., 2010)

EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms. - Adrian Balint; Daniel Diepold; Daniel Gall; Simon Gerber; Gregor Kapler; Robert Retz (LION, 2011)

A Formal Semantics for the Cognitive Architecture ACT-R. - Daniel Gall; Thom W. Frühwirth (LOPSTR, 2014)

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. - Daniel Gall; Thom W. Frühwirth (Theory Pract. Log. Program., 2014)

A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. - Daniel Gall; Thom W. Frühwirth (PPDP, 2015)

Animating Cognitive Models and Architectures: A Rule-Based Approach. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth; Daniel Gall (GCAI, 2016)

Translation of Cognitive Models from ACT-R to Constraint Handling Rules. - Daniel Gall; Thom W. Frühwirth (RuleML, 2016)

GOES-R ABI on-orbit performance. - Paul Griffith; John Van Naarden; Luke Roop; Daniel Gall (IGARSS, 2017)

A Decidable Confluence Test for Cognitive Models in ACT-R. - Daniel Gall; Thom W. Frühwirth (RuleML+RR, 2017)

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. - Daniel Gall; Thom W. Frühwirth (FLOPS, 2018)

Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report. - Thom W. Frühwirth; Daniel Gall (CoRR, 2018)

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. - Daniel Gall; Thom W. Frühwirth (ACM Trans. Comput. Log., 2018)

Analysis of cognitive models in constraint handling rules. - Daniel Gall (2021)