Uwe Glässer

• A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
• Abstract State Machines, Alloy, B and Z
• Social Network Analysis in Predictive Policing
• Abstract State Machines, Alloy, B and Z
• Open Source Intelligence and Cyber Crime