Items where Division is "Faculty of Science and Health > Computer Science and Electronic Engineering, School of " and Year is

D

Deutsch, M and Henson, M and Reeves, S CSM-379 An analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-379, University of Essex, Colchester.

F

Farooqui, Mohammad Shariq and Singh, Amit Kumar and Chouhan, Pushpinder Kaur and Cui, Zhan Dynamic On Demand Decoy Deployment Using MicroVMs. In: IEEE International Conference on Cyber Security and Resilience (IEEE CSR), 2026-08-03 - 2026-08-05, Lisbon, Portugal. (In Press)

Fasli, M CSM-389 Reasoning about the dynamics of social behaviour. UNSPECIFIED. CSM-388, University of Essex, Colchester.

Fasli, M and Poursanidis, N CSM-388 Thalis: A Flexible Trading Agent. UNSPECIFIED. CSM-388, University of Essex, Colchester.

G

Gosling, T and Tsang, E CSM-392 PhD in Open Constraint Satisfaction Technical Report 1: The Simple Supply Chain Model (SSCM). UNSPECIFIED. CSM-392, University of Essex, Colchester.

Gosling, Timothy CSM-393 PhD in Open Constraint Satisfaction Technical Report 2: SSCM Scenarios. Technical Report. CSM-393, University of Essex, Colchester.

H

Henson, M and Deutsch, M and Kajtazi, B CSM-421 The Specification Logic vZ. UNSPECIFIED. CSM-421, University of Essex, Colchester.

M

Medellin-Gasque, Rolando and Nordmark, Henrik and Mullen, Anthony and Citi, Luca and Perperoglou, Aris and Lausen, KB Modeling retail browsing sessions and wearables data. Archives of Data Science. (Submitted)

R

Rosales, EM and Gan, JQ and Hu, H and Oyama, E CSM-414 A Hybrid Approach to Inverse Kinematics Modeling and COntrol of Pioneer 2 Robotic Arms (labeled on PDF as CSM-412). UNSPECIFIED. CSM-414, University of Essex, Colchester.