Carl Pollard

20 papers A* 6B 3C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
Synth.
Carl Pollard
2014 B conf
FG
Scott Martin, Carl Pollard
2012 J jnl
Stud Logica
Scott Martin, Carl Pollard
2012 — conf
LACL
Andrew R. Plummer, Carl Pollard
2011 J jnl
Fundam. Informaticae
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
2011 — conf
LACL
Carl Pollard
2011 — conf
Logic and Grammar
Carl Pollard
2010 B conf
FG
Vedrana Mihalicek, Carl Pollard
2010 B conf
FG
Scott Martin, Carl Pollard
2009 C conf
WoLLIC
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
2009 — conf
MOL
Yusuke Kubota, Carl Pollard
2008 C conf
WoLLIC
Carl Pollard
2008 J jnl
J. Log. Comput.
Carl Pollard
1995 A* conf
ACL
Andreas Kathol, Carl Pollard
1994 J jnl
CoRR
Susan E. Brennan, Marilyn W. Friedman, Carl Pollard
1991 A* conf
ACL
Bob Carpenter, Carl Pollard
1987 A* conf
ACL
Susan E. Brennan, Marilyn W. Friedman, Carl Pollard
1985 A* conf
ACL
Lewis G. Creary, Carl Pollard
1985 A* conf
ACL
Derek Proudian, Carl Pollard
1985 A* conf
ACL
Dan Flickinger, Carl Pollard, Thomas Wasow
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