Daniel Gall

17 papers B 1C 3Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2021 — —
Analysis of cognitive models in constraint handling rules.
Daniel Gall
2018 J jnl
An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules.
ACM Trans. Comput. Log.
Daniel Gall, Thom W. Frühwirth
2018 Misc conf
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.
FLOPS
Daniel Gall, Thom W. Frühwirth
2018 J jnl
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.
CoRR
Daniel Gall, Thom W. Frühwirth
2018 J jnl
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report.
CoRR
Thom W. Frühwirth, Daniel Gall
2017 B conf
A Decidable Confluence Test for Cognitive Models in ACT-R.
RuleML+RR
Daniel Gall, Thom W. Frühwirth
2017 J jnl
A Decidable Confluence Test for Cognitive Models in ACT-R.
CoRR
Daniel Gall, Thom W. Frühwirth
2017 J jnl
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules.
CoRR
Daniel Gall, Thom W. Frühwirth
2017 C conf
GOES-R ABI on-orbit performance.
IGARSS
Paul Griffith, John Van Naarden, Luke Roop, Daniel Gall
2016 — conf
Animating Cognitive Models and Architectures: A Rule-Based Approach.
GCAI
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall
2016 — conf
Translation of Cognitive Models from ACT-R to Constraint Handling Rules.
RuleML
Daniel Gall, Thom W. Frühwirth
2015 C conf
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations.
PPDP
Daniel Gall, Thom W. Frühwirth
2014 C conf
A Formal Semantics for the Cognitive Architecture ACT-R.
LOPSTR
Daniel Gall, Thom W. Frühwirth
2014 J jnl
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R.
CoRR
Daniel Gall, Thom W. Frühwirth
2014 J jnl
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R.
Theory Pract. Log. Program.
Daniel Gall, Thom W. Frühwirth
2011 — conf
EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms.
LION
Adrian Balint, Daniel Diepold, Daniel Gall, Simon Gerber, Gregor Kapler, Robert Retz
2010 J jnl
Experiment design and administration for computer clusters for SAT-solvers (EDACC).
J. Satisf. Boolean Model. Comput.
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling