关注
Timothy G. Griffin
Timothy G. Griffin
Senior Lecturer, University of Cambridge
在 cl.cam.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
年份
“Worth it if it saves just one life”? Ethical reservations regarding AMBER Alert
T Griffin, F Wiecko
Criminal Justice Ethics 34 (2), 156-176, 2015
122015
(Un) anticipated effects of sentencing reform on the disparate treatment of defendants
J Wooldredge, T Griffin, F Rauschenberg
Law & Society Review 39 (4), 835-874, 2005
522005
2012 20th IEEE International Conference on Network Protocols (ICNP)
X Jiang, J Bi, Y Wang, P Lin, Z Li, H Kim, M Schlansker, JR Santos, ...
IEEE New York, USA, 2012
12012
A comparison between two maintenance session protocols
A Cavalli, TG Griffin, D Vieira
Advanced Industrial Conference on Telecommunications/Service Assurance with …, 2005
2005
A correction to “Incremental recomputation of active relational expressions” by Qian and Wiederhold
T Griffin, L Libkin, H Trickey
IEEE Trans. on Knowledge and Data Engineering 9 (3), 508-511, 1997
111997
A Domain-Specific Language for the Specification of Path Algebras.
V Naudziunas, TG Griffin
ATE, 46-57, 2011
22011
A formal account of notational definition
TG Griffin
Cornell University, 1988
31988
A formulae-as-type notion of control
TG Griffin
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
7501989
A formulae-as-types notion of control
GG Timothy
Conf. Record 17th Annual ACM Symp. on Principles of Programming Languages …, 1990
21990
A framework for implementing hypothetical queries
T Griffin, R Hull
Proceedings of the 1997 ACM SIGMOD international conference on Management of …, 1997
311997
A framework for using redundant data to optimize read-intensive database applications
T Griffin, R Hull, B Kumar, D Lieuwen, G Zhou
KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 63-76, 1997
51997
A model of configuration languages for routing protocols
PJ Taylor, TG Griffin
Proceedings of the 2nd ACM SIGCOMM workshop on Programmable routers for …, 2009
152009
A model of internet routing using semi-modules
J Billings, T Griffin
Relations and Kleene Algebra in Computer Science, 29-43, 2009
172009
A modular injection system, multilevel sampler, and manifold for tracer tests
BJ Mailloux, ME Fuller, GF Rose, TC Onstott, MF DeFlaun, E Alvarez, ...
Groundwater 41 (6), 816-827, 2003
52003
A preliminary examination of AMBER Alert's effects
T Griffin, MK Miller, J Hoppe, A Rebideaux, R Hammack
Criminal justice policy review 18 (4), 378-394, 2007
752007
A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda
ML Daggitt, R Zmigrod, TG Griffin
Journal of Automated Reasoning 64 (5), 857-877, 2020
12020
A safe path vector protocol
TG Griffin, G Wilfong
INFOCOM 2000. Nineteenth Annual Joint Conference of the IEEE Computer and …, 2000
2512000
Al-Shaffer, E..
S Ashish, S Chen, DM Chiu, J Choi, A El-Atawy, AG Forte, TG Griffin, ...
Algebraic change propagation for semijoin and outerjoin queries
T Griffin, B Kumar
ACM SIGMOD Record 27 (3), 22-27, 1998
361998
Algebraic path finding
T Griffin
12012
系统目前无法执行此操作,请稍后再试。
文章 1–20