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:45, 8 January 2017 Bmmoore (Talk | contribs) automatically marked revision 18242 of page Brandon Moore patrolled
- 14:41, 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:29, 2 December 2016 Bmmoore (Talk | contribs) automatically marked revision 18228 of page News patrolled
- 19:07, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17412 of page News patrolled
- 18:46, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17411 of page News patrolled
- 18:44, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17410 of page Program Verification by Coinduction patrolled
- 18:43, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17409 of page Program Verification by Coinduction patrolled
- 18:34, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17408 of page Program Verification by Coinduction patrolled
- 18:34, 2 March 2015 Bmmoore (Talk | contribs) automatically marked revision 17407 of page News patrolled
- 03:19, 29 November 2014 Bmmoore (Talk | contribs) automatically marked revision 17337 of page Brandon Moore patrolled
- 03:09, 29 November 2014 Bmmoore (Talk | contribs) automatically marked revision 17336 of page Brandon Moore patrolled
- 23:01, 14 November 2014 Bmmoore (Talk | contribs) automatically marked revision 17312 of page Program Verification by Coinduction patrolled
- 19:04, 2 September 2014 Bmmoore (Talk | contribs) automatically marked revision 17121 of page News patrolled
- 16:57, 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:20, 12 December 2013 Bmmoore (Talk | contribs) automatically marked revision 16914 of page Brandon Moore Prelim patrolled
- 15:19, 12 December 2013 Bmmoore (Talk | contribs) uploaded "File:Moore-2013-prelim-slides.pdf"
- 15:19, 12 December 2013 Bmmoore (Talk | contribs) automatically marked revision 16912 of page Brandon Moore Prelim patrolled
- 19:39, 4 December 2013 Bmmoore (Talk | contribs) uploaded a new version of "File:Moore-2013-prelim.pdf"
- 22:05, 22 November 2013 Bmmoore (Talk | contribs) uploaded "File:Moore-2013-prelim.pdf"
- 22:04, 22 November 2013 Bmmoore (Talk | contribs) automatically marked revision 16882 of page Brandon Moore Prelim patrolled
- 16:42, 16 October 2013 Bmmoore (Talk | contribs) automatically marked revision 16789 of page Reachability Logic - Supporting Material patrolled
- 05:05, 12 October 2013 Bmmoore (Talk | contribs) automatically marked revision 16742 of page Reachability Logic - Supporting Material patrolled
- 19:45, 7 May 2013 Bmmoore (Talk | contribs) automatically marked revision 16529 of page Bib fields patrolled
- 17:12, 22 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16480 of page Checking All-Path Reachability using Matching Logic patrolled
- 21:57, 8 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16468 of page Brandon Moore patrolled
- 00:55, 1 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16457 of page Brandon Moore patrolled
- 00:50, 1 April 2013 Bmmoore (Talk | contribs) uploaded "File:Bmmoore-cv.pdf" (Brandon Moore's CV)
- 00:50, 1 April 2013 Bmmoore (Talk | contribs) automatically marked revision 16455 of page Brandon Moore patrolled
- 00:18, 5 August 2012 Bmmoore (Talk | contribs) uploaded "File:Brandon-moore.jpg"
- 00:02, 5 August 2012 Bmmoore (Talk | contribs) uploaded "File:Brandon-moore-small.jpg" (A 100x100 thumbnail of my (Brandon Moore) portrait.)
- 00:30, 10 July 2012 Bmmoore (Talk | contribs) uploaded "File:RLMaudeExamples.zip" (Reachability Logic examples showing how to capture big and small step semantics in rewriting.)
