Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Malacaria, Pasquale - Department of Computer Science, Queen Mary, University of London
Stone Duality for Stable Functions Thomas Ehrhard
Generalised Flowcharts and Games (Extended Abstract)
Relative De nability of Boolean Functions via Hypergraphs
Studying equivalences of transition systems with algebraic Pasquale Malacaria
Assessing security threats of looping constructs Pasquale Malacaria
Non-deterministic Games and Program Analysis: An application to security (Extended Abstract)
Nondeterministic Games and Program Analysis: An application to security (Extended Abstract)
On Adaboost and Optimal Betting Strategies Pasquale Malacaria
A New Approach to Control Flow Analysis Pasquale Malacaria and Chris Hankin
Quantifying Information Leaks in Software Jonathan Heusser
The Optimum Leakage Principle for Analyzing Multi-threaded Programs
