Scottish Informatics and Computer Science Alliance

Research Output 2001 2020

Filter
Special issue
2017
5 Citations (Scopus)
47 Downloads (Pure)

Stream differential equations: specification formats and solution methods

Hansen, H. H., Kupke, C. & Rutten, J., 3 Feb 2017, In : Logical Methods in Computer Science. 13, 1, p. 1-52 52 p.

Research output: Contribution to journalSpecial issue

Open Access
File
Differential equations
Specification
Differential equation
Specifications
Syntactics
2016
1 Citation (Scopus)

Containers, monads and induction recursion

Ghani, N. & Hancock, P., 1 Jan 2016, In : Mathematical Structures in Computer Science. 26, Special Issue 01, p. 89-113 25 p.

Research output: Contribution to journalSpecial issue

Monads
Container
Recursion
Containers
Proof by induction
2013

Special Issue: on cybercrime prevention, detection and response

Al-nemrat, A. (Guest ed.) & Weir, G. (Guest ed.), 2013, In : International Journal of Electronic Security and Digital Forensics. 5, 2

Research output: Contribution to journalSpecial issue

electronics
Digital forensics