progscrape: core.ac.uk

Gadsby: Wikip_dia's Lost Lipogram (2015) [pdf]

13 days ago core.ac.uk pdf

'Sex-espionage' as a method of intelligence and security agencies [pdf]

9 months ago core.ac.uk pdf

Coin Authentication in Antiquity (1983)

3 years ago core.ac.uk

Petri Nets Are Monoids

4 years ago core.ac.uk

Truth and Probability (1926)

4 years ago core.ac.uk

A Survey of Runtime Policy Enforcement Techniques and Implementations (2011)

5 years ago core.ac.uk

Real-Time Image Stitching for Automotive 360 Vision Systems (2014)

5 years ago core.ac.uk

Programming Paradigms for Machine Learning (2016)

6 years ago core.ac.uk

Tyr: A Dependent, Type System for Spatial, Memory Safety in LLVM (2016)

6 years ago core.ac.uk llvm

What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms

6 years ago core.ac.uk algorithm

Runtime Refinement Checking of Concurrent Data Structures

7 years ago core.ac.uk