Uwe Glässer profile picture

Uwe Glässer

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Rigorous State-Based Methods
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Social Network Analysis in Predictive Policing Concepts, Models and Methods
Social Network Analysis in Predictive Policing Concepts, Models and Methods
Open Source Intelligence and Cyber Crime Social Media Analytics
Open Source Intelligence and Cyber Crime Social Media Analytics
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings