Technical Reports
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Randell B. Incremental Construction of Structured Occurrence Nets. School of Computing Science. 2013. School of Computing Science Technical Report Series 1384 (download PDF).
- Molina-Jimenez C, Shrivastava S. Establishing Conformance Between Contracts and Choreographies. School of Computing Science. 2013. School of Computing Science Technical Report Series 1383 (download PDF).
- Iliasov A, Lopatkin I, Romanovsky A. The SafeCap Platform for Modelling Railway Safety and Capacity. School of Computing Science. 2013. School of Computing Science Technical Report Series 1382 (download PDF).
- Molina-Jimenez C, Shrivastava S, Wheater S. An Architecture for Negotiation and Enforcement of Resource Usage Policies. School of Computing Science. 2013. School of Computing Science Technical Report Series 1381 (download PDF).
- Bertens L, Kleijn J, Hille S, Koutny M, Heiner M, Verbeek F. Modeling biological gradient formation: combining partial differential equations and Petri nets. School of Computing Science. 2013. School of Computing Science Technical Report Series 1379 (download PDF).
- Janicki R, Kleijn J, Koutny M, Mikulski L. Causal Structures for General Concurrent Behaviours. School of Computing Science. 2013. School of Computing Science Technical Report Series 1378 (download PDF).
- Missier P, Dey S, Belhajjame K, Cuevas-Vicenttin V, Ludaescher B. D-PROV: extending the PROV provenance model with workflow structure. School of Computing Science. 2013. School of Computing Science Technical Report Series 1375 (download PDF).
- Lopatkin I, Romanovsky A. A Method for Rigorous Development of Fault-Tolerant Systems. School of Computing Science. 2013. School of Computing Science Technical Report Series 1374 (download PDF).
- Klaudel H, Koutny M, Duan Z. Interval Temporal Logic Semantics of Box Algebra. School of Computing Science. 2013. School of Computing Science Technical Report Series 1373 (download PDF).
- Miu T, Missier P. Predicting the Execution Time of Workflow Blocks Based on Their Input Features. School of Computing Science. 2013. School of Computing Science Technical Report Series 1372 (download PDF).
- Bryans J, Payne R, Holt J, Perry S. Semi-Formal and Formal Interface Specification for System of Systems Architecture. School of Computing Science. 2013. School of Computing Science Technical Report Series 1371 (download PDF).
- Clarke D, Hao F. Cryptanalysis of the Dragonfly Key Exchange Protocol. School of Computing Science. 2013. School of Computing Science Technical Report Series 1370 (download PDF).
- Emms M, Arief B, Little N, van Moorsel A. Risks of Offline Verify PIN on Contactless Cards. School of Computing Science. 2013. School of Computing Science Technical Report Series 1369 (download PDF).
- Ushaw G, Ziogas E, Eyre J, Morgan G. An Efficient Application of Gesture Recognition from a 2D Camera for Rehabilitation of Patients with Impaired Dexterity. School of Computing Science. 2013. School of Computing Science Technical Report Series 1368 (download PDF).
- Wongthai W, Liberal Rocha F, van Moorsel A. A Generic Logging Template for Infrastructure as a Service Cloud. School of Computing Science. 2013. School of Computing Science Technical Report Series 1367 (download PDF).
- Missier P, Bryans J, Danger R, Curcin V. Preserving privacy in shared provenance data. School of Computing Science. 2013. School of Computing Science Technical Report Series 1366 (download PDF).
- Mikulski L, Piatkowski M, Smyczynski S. Lexicographical Generations of Combined Traces. School of Computing Science. 2013. School of Computing Science Technical Report Series 1365 (download PDF).