User contributions
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
- 10:58, 18 June 2021 (diff | hist) . . (+47) . . MediaWiki:Sidebar (current)
- 00:43, 7 April 2021 (diff | hist) . . (+45) . . Curriculum vitæ (current)
- 13:48, 5 April 2021 (diff | hist) . . (+8) . . Curriculum vitæ
- 13:48, 5 April 2021 (diff | hist) . . (+88) . . N Curriculum vitæ (Created page with "{| | Date of birth | 6 January 1986 |- | Place of birth | Nieuwegein, The Netherlands |}")
- 18:28, 4 April 2021 (diff | hist) . . (+6) . . Ruud Koot (current)
- 18:19, 4 April 2021 (diff | hist) . . (-6) . . Ruud Koot
- 17:55, 4 April 2021 (diff | hist) . . (+6) . . Ruud Koot
- 01:27, 4 April 2021 (diff | hist) . . (+74) . . Ruud Koot
- 17:01, 3 April 2021 (diff | hist) . . (+3) . . Ruud Koot
- 16:29, 3 April 2021 (diff | hist) . . (-1) . . Ruud Koot
- 16:28, 3 April 2021 (diff | hist) . . (+1) . . MediaWiki:Sidebar
- 16:28, 3 April 2021 (diff | hist) . . (-1) . . MediaWiki:Sidebar
- 16:27, 3 April 2021 (diff | hist) . . (+1) . . Ruud Koot
- 16:27, 3 April 2021 (diff | hist) . . (-3) . . Ruud Koot
- 16:26, 3 April 2021 (diff | hist) . . (+3) . . Ruud Koot
- 10:45, 3 April 2021 (diff | hist) . . (-10) . . MediaWiki:Sidebar
- 14:47, 2 April 2021 (diff | hist) . . (0) . . File:Ruud-koot.jpg (Ruud Koot uploaded a new version of File:Ruud-koot.jpg) (current)
- 18:10, 21 January 2018 (diff | hist) . . (0) . . File:Ruud-koot.jpg (Ruud Koot uploaded a new version of File:Ruud-koot.jpg)
- 18:00, 21 January 2018 (diff | hist) . . (-1,690) . . Ruud Koot
- 17:26, 29 January 2017 (diff | hist) . . (+59) . . MediaWiki:Sidebar
- 18:33, 23 May 2016 (diff | hist) . . (-118) . . Ruud Koot (→Publications)
- 18:29, 12 April 2016 (diff | hist) . . (+77) . . Ruud Koot
- 22:07, 7 April 2016 (diff | hist) . . (+17) . . MediaWiki:Vector.css (current)
- 14:50, 14 March 2016 (diff | hist) . . (+8) . . Ruud Koot
- 19:54, 2 March 2016 (diff | hist) . . (+5) . . Ruud Koot (→Awards)
- 16:45, 2 March 2016 (diff | hist) . . (+32) . . Ruud Koot (→Publications)
- 16:44, 2 March 2016 (diff | hist) . . (+5) . . Ruud Koot (→Published)
- 16:44, 2 March 2016 (diff | hist) . . (+5) . . Ruud Koot (→Submitted for review)
- 16:44, 2 March 2016 (diff | hist) . . (0) . . Ruud Koot (→Published)
- 16:44, 2 March 2016 (diff | hist) . . (+6) . . Ruud Koot (→Submitted for review)
- 16:39, 2 March 2016 (diff | hist) . . (+11) . . MediaWiki:Vector.css
- 16:38, 2 March 2016 (diff | hist) . . (+9) . . MediaWiki:Vector.css
- 16:35, 2 March 2016 (diff | hist) . . (0) . . m File:Higher-ranked Exception Types.pdf (Protected "File:Higher-ranked Exception Types.pdf" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) [Upload=Allow only administrators] (indefinite))) (current)
- 16:35, 2 March 2016 (diff | hist) . . (0) . . m File:Higher-ranked Exception Types (ICFP 2014 poster).pdf (Protected "File:Higher-ranked Exception Types (ICFP 2014 poster).pdf" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) [Upload=Allow only administrators] (indefinite))) (current)
- 16:35, 2 March 2016 (diff | hist) . . (0) . . m File:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf (Protected "File:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) [Upload=Allow only a...) (current)
- 16:35, 2 March 2016 (diff | hist) . . (+25) . . N Category:Posters (Created page with "Category:Publications") (current)
- 16:34, 2 March 2016 (diff | hist) . . (+20) . . File:Higher-ranked Exception Types (ICFP 2014 poster).pdf
- 16:34, 2 March 2016 (diff | hist) . . (+25) . . File:Higher-ranked Exception Types.pdf
- 16:34, 2 March 2016 (diff | hist) . . (+23) . . N Category:Publications (Created page with "Scientific publications") (current)
- 16:34, 2 March 2016 (diff | hist) . . (+25) . . File:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf
- 16:33, 2 March 2016 (diff | hist) . . (0) . . Ruud Koot (→Awards)
- 16:03, 2 March 2016 (diff | hist) . . (-7) . . Ruud Koot (→Published)
- 16:00, 2 March 2016 (diff | hist) . . (+33) . . Ruud Koot (→Awards)
- 16:00, 2 March 2016 (diff | hist) . . (0) . . m File:Higher-ranked Exception Types (ICFP 2014 poster).pdf (Ruud Koot moved page File:Poster-icfp2014.pdf to File:Higher-ranked Exception Types (ICFP 2014 poster).pdf without leaving a redirect)
- 15:45, 2 March 2016 (diff | hist) . . (-54) . . Ruud Koot (→Awards)
- 15:45, 2 March 2016 (diff | hist) . . (0) . . N File:Higher-ranked Exception Types (ICFP 2014 poster).pdf
- 15:44, 2 March 2016 (diff | hist) . . (-178) . . Ruud Koot (→Projects)
- 15:28, 2 March 2016 (diff | hist) . . (+235) . . Ruud Koot (→Research)
- 15:25, 2 March 2016 (diff | hist) . . (0) . . N File:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf
- 15:19, 2 March 2016 (diff | hist) . . (0) . . N File:Higher-ranked Exception Types.pdf
- 01:57, 22 November 2015 (diff | hist) . . (0) . . m Ruud Koot (Protected "Ruud Koot": High traffic page ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading])
- 18:33, 7 November 2015 (diff | hist) . . (-1) . . MediaWiki:Vector.css
- 18:50, 22 October 2015 (diff | hist) . . (+1) . . Ruud Koot (→Awards)
- 18:50, 22 October 2015 (diff | hist) . . (+1) . . Ruud Koot (→Publications)
- 18:49, 22 October 2015 (diff | hist) . . (+84) . . Ruud Koot
- 18:48, 22 October 2015 (diff | hist) . . (-84) . . Ruud Koot (→Awards)
- 18:48, 22 October 2015 (diff | hist) . . (+5) . . Ruud Koot (→Awards)
- 18:48, 22 October 2015 (diff | hist) . . (+5) . . Ruud Koot (→Publications)
- 18:45, 22 October 2015 (diff | hist) . . (+70) . . Ruud Koot (→Research)
- 18:44, 22 October 2015 (diff | hist) . . (-5) . . Ruud Koot (→Publications)
- 18:44, 22 October 2015 (diff | hist) . . (-5) . . Ruud Koot (→Awards)
- 18:44, 22 October 2015 (diff | hist) . . (+89) . . Ruud Koot (→Awards)
- 18:42, 22 October 2015 (diff | hist) . . (0) . . MediaWiki:Vector.css
- 18:42, 22 October 2015 (diff | hist) . . (+42) . . MediaWiki:Vector.css
- 18:40, 22 October 2015 (diff | hist) . . (+94) . . Ruud Koot (→Publications)
- 19:53, 20 October 2015 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 12:16, 18 October 2015 (diff | hist) . . (-1) . . Ruud Koot
- 12:16, 18 October 2015 (diff | hist) . . (-2) . . Ruud Koot
- 12:10, 18 October 2015 (diff | hist) . . (+214) . . Ruud Koot
- 02:07, 16 October 2015 (diff | hist) . . (+24) . . MediaWiki:Vector.css
- 02:04, 16 October 2015 (diff | hist) . . (+95) . . MediaWiki:Vector.css
- 02:01, 16 October 2015 (diff | hist) . . (-2) . . MediaWiki:Vector.css
- 02:00, 16 October 2015 (diff | hist) . . (+44) . . MediaWiki:Vector.css
- 23:57, 15 October 2015 (diff | hist) . . (-46) . . MediaWiki:Vector.css
- 23:56, 15 October 2015 (diff | hist) . . (+46) . . MediaWiki:Vector.css
- 23:35, 15 October 2015 (diff | hist) . . (+40) . . MediaWiki:Vector.css
- 23:29, 15 October 2015 (diff | hist) . . (+1) . . MediaWiki:Vector.css
- 23:07, 15 October 2015 (diff | hist) . . (-1) . . MediaWiki:Vector.css
- 22:49, 15 October 2015 (diff | hist) . . (+38) . . MediaWiki:Vector.css
- 22:45, 15 October 2015 (diff | hist) . . (+20) . . MediaWiki:Vector.css
- 22:44, 15 October 2015 (diff | hist) . . (+1) . . MediaWiki:Vector.css
- 22:41, 15 October 2015 (diff | hist) . . (+54) . . MediaWiki:Vector.css
- 22:36, 15 October 2015 (diff | hist) . . (-73) . . MediaWiki:Vector.css
- 22:36, 15 October 2015 (diff | hist) . . (+73) . . MediaWiki:Vector.css
- 22:35, 15 October 2015 (diff | hist) . . (-44) . . MediaWiki:Vector.css
- 22:34, 15 October 2015 (diff | hist) . . (+30) . . MediaWiki:Vector.css
- 22:33, 15 October 2015 (diff | hist) . . (+14) . . MediaWiki:Vector.css
- 22:33, 15 October 2015 (diff | hist) . . (+1) . . MediaWiki:Vector.css
- 22:32, 15 October 2015 (diff | hist) . . (0) . . MediaWiki:Vector.css
- 22:32, 15 October 2015 (diff | hist) . . (0) . . MediaWiki:Vector.css
- 22:31, 15 October 2015 (diff | hist) . . (+23) . . MediaWiki:Vector.css
- 19:48, 12 September 2015 (diff | hist) . . (-6) . . MediaWiki:Vector.css
- 19:48, 12 September 2015 (diff | hist) . . (+4) . . MediaWiki:Vector.css
- 02:17, 1 September 2015 (diff | hist) . . (0) . . File:Qrcode.png (Ruud Koot uploaded a new version of File:Qrcode.png) (current)
- 02:08, 1 September 2015 (diff | hist) . . (0) . . File:Qrcode.png (Ruud Koot uploaded a new version of File:Qrcode.png)
- 02:07, 1 September 2015 (diff | hist) . . (+26) . . Ruud Koot (→Contact information)
- 02:06, 1 September 2015 (diff | hist) . . (+20) . . N File:Qrcode.png (https://ruudkoot.nl/)
- 23:09, 16 August 2015 (diff | hist) . . (+50) . . Ruud Koot (→Contact information)
- 22:46, 9 June 2015 (diff | hist) . . (0) . . Ruud Koot (→Contact information)
- 22:41, 9 June 2015 (diff | hist) . . (+62) . . Ruud Koot (→Contact information)
- 18:21, 28 May 2015 (diff | hist) . . (+1) . . Ruud Koot (→Panorama photography)
- 00:41, 28 May 2015 (diff | hist) . . (+29) . . Ruud Koot (→Portfolio)
- 00:40, 28 May 2015 (diff | hist) . . (0) . . MediaWiki:Common.css (current)
- 00:40, 28 May 2015 (diff | hist) . . (-6) . . MediaWiki:Common.css
- 00:40, 28 May 2015 (diff | hist) . . (+154) . . Ruud Koot (→Committees)
- 00:36, 28 May 2015 (diff | hist) . . (-1) . . MediaWiki:Common.css
- 00:36, 28 May 2015 (diff | hist) . . (+14) . . MediaWiki:Common.css
- 00:34, 28 May 2015 (diff | hist) . . (+92) . . N MediaWiki:Common.css (Created page with "→CSS placed here will be applied to all skins: #ImageContainer img { max-width: 600px; }")
- 00:27, 28 May 2015 (diff | hist) . . (0) . . N File:Panorama view from the dome of the St. Peter's Basilica.jpg (current)
- 23:36, 27 May 2015 (diff | hist) . . (+1) . . Ruud Koot
- 23:36, 27 May 2015 (diff | hist) . . (-93) . . Ruud Koot (→Photos)
- 23:36, 27 May 2015 (diff | hist) . . (+92) . . Ruud Koot (→Committees)
- 22:02, 21 May 2015 (diff | hist) . . (+2) . . Ruud Koot (→Contact information)
- 22:01, 21 May 2015 (diff | hist) . . (-2) . . Ruud Koot (→Contact information)
- 22:01, 21 May 2015 (diff | hist) . . (+21) . . Ruud Koot (→Contact information)
- 15:04, 18 March 2015 (diff | hist) . . (+136) . . Ruud Koot (→Committees) (Tag: visualeditor)
- 23:07, 12 March 2015 (diff | hist) . . (+1) . . MediaWiki:Sidebar
- 14:39, 11 March 2015 (diff | hist) . . (0) . . Ruud Koot (→Teaching)
- 14:14, 11 March 2015 (diff | hist) . . (-4) . . MediaWiki:Vector.css
- 14:12, 11 March 2015 (diff | hist) . . (+2) . . MediaWiki:Vector.css
- 14:12, 11 March 2015 (diff | hist) . . (+2) . . MediaWiki:Vector.css
- 14:07, 11 March 2015 (diff | hist) . . (+4) . . MediaWiki:Vector.css
- 12:19, 11 March 2015 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 12:17, 11 March 2015 (diff | hist) . . (+2) . . MediaWiki:Sidebar
- 12:17, 11 March 2015 (diff | hist) . . (+139) . . MediaWiki:Sidebar
- 12:17, 11 March 2015 (diff | hist) . . (-292) . . Ruud Koot
- 12:12, 11 March 2015 (diff | hist) . . (+204) . . MediaWiki:Sidebar
- 11:54, 11 March 2015 (diff | hist) . . (+197) . . Ruud Koot
- 11:47, 11 March 2015 (diff | hist) . . (0) . . m File:Ruud-koot.jpg (Protected "File:Ruud-koot.jpg" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) [Upload=Allow only administrators] (indefinite)))
- 11:46, 11 March 2015 (diff | hist) . . (0) . . N File:Ruud-koot.jpg
- 11:45, 11 March 2015 (diff | hist) . . (+1,683) . . Ruud Koot
- 01:36, 5 March 2015 (diff | hist) . . (0) . . File:Logo.png (Ruud Koot uploaded a new version of File:Logo.png) (current)
- 01:35, 5 March 2015 (diff | hist) . . (0) . . File:Logo.png (Ruud Koot uploaded a new version of File:Logo.png)
- 01:30, 5 March 2015 (diff | hist) . . (0) . . N File:Logo.png
- 10:05, 16 January 2015 (diff | hist) . . (+69) . . Ruud Koot (→External links)
- 20:56, 26 December 2014 (diff | hist) . . (-28) . . MediaWiki:Vector.css
- 20:56, 26 December 2014 (diff | hist) . . (-4) . . MediaWiki:Vector.css
- 20:55, 26 December 2014 (diff | hist) . . (+32) . . MediaWiki:Vector.css
- 20:28, 26 December 2014 (diff | hist) . . (+6) . . N MediaWiki:Visualeditor-ca-editsource-section (Created page with "source") (current)
- 20:28, 26 December 2014 (diff | hist) . . (+6) . . N MediaWiki:Visualeditor-ca-editsource (Created page with "Source") (current)
- 19:19, 17 December 2014 (diff | hist) . . (+45) . . Ruud Koot (→External links)
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)