Alexander Legg
According to our database1,
Alexander Legg
authored at least 9 papers
between 2011 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
0
1
2
3
4
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
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
2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
2011
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011