All public logs
Combined display of all available logs of FSL. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 14:44, 8 January 2017 Bmmoore (Talk | contribs) automatically marked revision 18242 of page Brandon Moore patrolled
- 14:40, 8 January 2017 Bmmoore (Talk | contribs) uploaded "File:Moore-2016-thesis-submitted.pdf" (Copy of Brandon Moore's thesis, for reference until it appears in IDEALS.)
- 21:28, 2 December 2016 Bmmoore (Talk | contribs) automatically marked revision 18228 of page News patrolled
- 19:06, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17412 of page News patrolled
- 18:45, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17411 of page News patrolled
- 18:43, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17410 of page Program Verification by Coinduction patrolled
- 18:42, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17409 of page Program Verification by Coinduction patrolled
- 18:33, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17408 of page Program Verification by Coinduction patrolled
- 18:33, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17407 of page News patrolled
- 03:18, 29 November 2014 Bmmoore (Talk | contribs) automatically marked revision 17337 of page Brandon Moore patrolled
- 03:08, 29 November 2014 Bmmoore (Talk | contribs) automatically marked revision 17336 of page Brandon Moore patrolled
- 23:00, 14 November 2014 Bmmoore (Talk | contribs) automatically marked revision 17312 of page Program Verification by Coinduction patrolled
- 19:03, 2 September 2014 Bmmoore (Talk | contribs) automatically marked revision 17121 of page News patrolled
- 16:56, 16 December 2013 Bmmoore (Talk | contribs) uploaded a new version of "File:Moore-2013-prelim-slides.pdf" (Introduce also the symbol in definition of reachability)
- 15:19, 12 December 2013 Bmmoore (Talk | contribs) automatically marked revision 16914 of page Brandon Moore Prelim patrolled
- 15:18, 12 December 2013 Bmmoore (Talk | contribs) uploaded "File:Moore-2013-prelim-slides.pdf"
- 15:18, 12 December 2013 Bmmoore (Talk | contribs) automatically marked revision 16912 of page Brandon Moore Prelim patrolled
- 19:38, 4 December 2013 Bmmoore (Talk | contribs) uploaded a new version of "File:Moore-2013-prelim.pdf"
- 22:04, 22 November 2013 Bmmoore (Talk | contribs) uploaded "File:Moore-2013-prelim.pdf"
- 22:03, 22 November 2013 Bmmoore (Talk | contribs) automatically marked revision 16882 of page Brandon Moore Prelim patrolled
- 16:41, 16 October 2013 Bmmoore (Talk | contribs) automatically marked revision 16789 of page Reachability Logic - Supporting Material patrolled
- 05:04, 12 October 2013 Bmmoore (Talk | contribs) automatically marked revision 16742 of page Reachability Logic - Supporting Material patrolled
- 19:44, 7 May 2013 Bmmoore (Talk | contribs) automatically marked revision 16529 of page Bib fields patrolled
- 17:11, 22 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16480 of page Checking All-Path Reachability using Matching Logic patrolled
- 21:56, 8 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16468 of page Brandon Moore patrolled
- 00:54, 1 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16457 of page Brandon Moore patrolled
- 00:49, 1 April 2013 Bmmoore (Talk | contribs) uploaded "File:Bmmoore-cv.pdf" (Brandon Moore's CV)
- 00:49, 1 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16455 of page Brandon Moore patrolled
- 00:17, 5 August 2012 Bmmoore (Talk | contribs) uploaded "File:Brandon-moore.jpg"
- 00:01, 5 August 2012 Bmmoore (Talk | contribs) uploaded "File:Brandon-moore-small.jpg" (A 100x100 thumbnail of my (Brandon Moore) portrait.)
- 00:29, 10 July 2012 Bmmoore (Talk | contribs) uploaded "File:RLMaudeExamples.zip" (Reachability Logic examples showing how to capture big and small step semantics in rewriting.)