According to our database1, Alexander Legg authored at least 8 papers between 2011 and 2016.
Legend:Book In proceedings Article PhD thesis Other
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011