A. John Power

13 papers A* 2B 3Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2004 — conf
From Comodels to Coalgebras: State and Arrays.
CMCS
A. John Power, Olha Shkaravska
2004 — conf
Modularity of Behaviours for Mathematical Operational Semantics.
CMCS
Marco Kick, A. John Power
2002 — conf
Computational Effects and Operations: An Overview.
Workshop on Domains
Gordon D. Plotkin, A. John Power
1999 J jnl
Bireflectivity.
Theor. Comput. Sci.
Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
1997 B conf
Categories with Algebraic Structure.
CSL
A. John Power
1997 A* conf
Complete Cuboidal Sets in Axiomatic Domain Theory.
LICS
Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
1996 — conf
A Fibrational Semantics for Logic Programs.
ELP
Yoshiki Kinoshita, A. John Power
1995 A* conf
Control Structures
LICS
Alex Mifsud, Robin Milner, A. John Power
1995 J jnl
Why Tricategories?
Inf. Comput.
A. John Power
1992 J jnl
A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories.
Math. Struct. Comput. Sci.
A. John Power, Charles Wells
1990 B conf
A Notion of Map between Logic Programs.
ICLP
A. John Power, Leon Sterling
1989 — conf
An Abstract Formulation for Rewrite Systems.
Category Theory and Computer Science
A. John Power
1989 B conf
An Algebraic Formulation for Data Refinement.
Mathematical Foundations of Programming Semantics
A. John Power
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