Login / Signup
Daniel Castle
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 2
Top Topics
Relational Calculus
Batch Processing
Automated Deduction
Expressive Power
Top Venues
CoRR
LICS
</>
Publications
</>
Chris Barrett
,
Daniel Castle
,
Willem Heijltjes
The Relational Machine Calculus.
LICS
(2024)
Chris Barrett
,
Daniel Castle
,
Willem Heijltjes
The Relational Machine Calculus.
CoRR
(2024)
Grant A. Jacoby
,
Thadeus Hickman
,
Stuart Warders
,
Barak Griffin
,
Aaron Darensburg
,
Daniel Castle
Gibraltar: A Mobile Host-Based Intrusion Protection System.
Security and Management
(2006)