David Jeffery

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

Publications

Pengjun Zheng, David Jeffery, Mike McDonald
Traffic operations from open to dedicated e-Lane. ITSC (2010)
David Jeffery
Challenges & directions in distributed event-based systems for a web-scale enterprise. DEBS (2010)
Alexander Kozlenkov, David Jeffery, Adrian Paschke
State management and concurrency in event processing. DEBS (2009)
Pengjun Zheng, Mike McDonald, David Jeffery
Validation of capacity reductions in traffic monitoring systems. ITSC (2006)
Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
Building Constraint Solvers with HAL. ICLP (2001)
Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
Optimizing Compilation of Constraint Handling Rules. ICLP (2001)
David Jeffery, Fergus Henderson, Zoltan Somogyi
Type Classes in Mercury. ACSC (2000)
Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery
Run Time Type Information in Mercury. PPDP (1999)
David Jeffery, Tyson Dowd, Zoltan Somogyi
MCORBA: A CORBA Binding for Mercury. PADL (1999)