1. Automatically comparing memory consistency models;ACM SIGPLAN Notices;2017-05-11
2. Automatically comparing memory consistency models;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
3. Model checking Petri nets with names using data-centric dynamic systems;Formal Aspects of Computing;2016-07
4. Nomadic pict;ACM Transactions on Programming Languages and Systems;2010-04
5. Notes on Nominal Calculi for Security and Mobility;Foundations of Security Analysis and Design;2001