File list

Jump to: navigation, search

This special page shows all uploaded files. When filtered by user, only files where that user uploaded the most recent version of the file are shown.

File list
Items per page:
Search for media name:
Username:

descDate Name Thumbnail Size User Description Versions
15:52, 18 July 2019Grigore Rosu CV.pdf (file)260 KBGrosu 60
19:50, 16 January 2019CS422-Spring-2019-02-Conventional-Executable-Semantics.pdf (file)964 KBGrosu 1
19:48, 16 January 2019CS422-Spring-2019-01.pdf (file)46 KBGrosu 1
14:41, 6 December 2018CS522-Fall-2018-Lambda-Extra.zip (file)39 KBGrosu 1
14:45, 29 November 2018CS522-Fall-2018-Polymorphism.pdf (file)168 KBGrosu 1
14:45, 27 November 2018CS522-Fall-2018-Recursion.pdf (file)154 KBGrosu 1
15:09, 15 November 2018CS522-Fall-2018-PL-CCC.pdf (file)129 KBGrosu 1
12:21, 26 October 2018CS522-Fall-2018-HandWritten-CCC-untyped-lambda.zip (file)507 KBGrosu 1
12:20, 26 October 2018CS522-Fall-2018-HandWritten-Category-Theory.zip (file)287 KBGrosu 1
13:47, 23 October 2018CS522-Fall-2018-Simply-Typed-Lambda-Calculus.pdf (file)105 KBGrosu 1
16:16, 21 October 2018CS522-Fall-2018-Maude-HW4.zip (file)147 KBGrosu 1
16:15, 21 October 2018CS522-Fall-2018-MSOS-RSEC-CHAM.pdf (file)524 KBGrosu 1
19:26, 20 October 2018Rosu-small-square.jpg (file)5 KBGrosu 4
19:18, 20 October 2018Rosu-small.jpg (file)11 KBGrosu 8
13:57, 16 October 2018CS522-Fall-2018-Category-Theory-slides.pdf (file)86 KBGrosu 1
13:01, 9 October 2018CS522-Fall-2018-Lambda-slides.pdf (file)163 KBGrosu 1
12:35, 9 October 2018CS522-Fall-2018-Lambda.pdf (file)238 KBGrosu 1
11:02, 6 October 2018CS522-Fall-2018-Maude-HW2.zip (file)72 KBGrosu 2
14:15, 4 October 2018CS522-Fall-2018-IMP++.pdf (file)301 KBGrosu 1
13:58, 11 September 2018CS522-Fall-2018-Maude-HW1.zip (file)11 KBGrosu 1
14:21, 4 September 2018CS522-Fall-2018-Maude-book.pdf (file)322 KBGrosu 1
14:21, 4 September 2018CS522-Fall-2018-Maude.pdf (file)92 KBGrosu 1
14:20, 4 September 2018CS522-Fall-2018-basic-semantics.pdf (file)486 KBGrosu 1
14:00, 30 August 2018CS522-Fall-2018-Conventional-Executable-Semantics.pptx (file)3.76 MBGrosu 1
14:00, 30 August 2018CS522-Fall-2018-Conventional-Executable-Semantics.pdf (file)2.81 MBGrosu 1
13:38, 30 August 2018CS522-Fall-2018-Introduction.pdf (file)37 KBGrosu 2
19:40, 19 January 2018CS422-Spring-2018-01.pdf (file)29 KBGrosu 2
19:31, 17 January 2018CS422-Spring-2018-02a-IMP-BigStep-SmallStep.pdf (file)378 KBGrosu 1
19:30, 17 January 2018CS422-Spring-2018-02-Conventional-Executable-Semantics.pdf (file)1.03 MBGrosu 1
18:55, 12 October 20172017-10-12-LOPSTR.pptx (file)10.65 MBGrosu 1
23:09, 6 October 20172017-05-10-SBC-BMC.pdf (file)224 KBGrosu 1
13:56, 14 September 2017K-backend-test.zip (file)16 KBGrosu (Challenge for future R&D experts joining the K team.)1
02:55, 7 August 2017Twitter.png (file)1 KBGrosu 1
18:16, 28 April 2017CS598-Spring-2017-16.pdf (file)7.28 MBGrosu 1
18:46, 21 April 2017Pldi14.pdf (file)338 KBGrosu 1
18:44, 21 April 2017CS598-Spring-2017-15.pdf (file)7.04 MBGrosu 5
18:45, 31 March 2017Nfer.pdf (file)334 KBGrosu 1
18:44, 31 March 2017LogFire.pdf (file)620 KBGrosu 1
18:44, 31 March 2017RuleR.pdf (file)195 KBGrosu 1
18:41, 31 March 2017Eagle.pdf (file)100 KBGrosu 1
01:13, 30 March 2017Github.png (file)2 KBGrosu 1
01:06, 30 March 2017Linkedin.png (file)237 BGrosu 1
18:44, 29 March 2017CS598-Spring-2017-13.pdf (file)5.89 MBGrosu 2
16:55, 29 March 2017CS598-Spring-2017-14.pdf (file)5.89 MBGrosu 1
19:39, 10 March 2017CS598-Spring-2017-12.pdf (file)2.32 MBGrosu 1
19:44, 8 March 2017CS598-Spring-2017-11.pdf (file)2.04 MBGrosu 1
19:45, 1 March 2017CS598-Spring-2017-10.pdf (file)1.87 MBGrosu 2
19:49, 22 February 2017CS598-Spring-2017-09.pdf (file)1.69 MBGrosu 1
17:02, 22 February 2017CS598-Spring-2017-08.pdf (file)1.54 MBGrosu 1
19:44, 17 February 2017CS598-Spring-2017-07.pdf (file)1.53 MBGrosu 1

First page
First page
Last page
Last page
Personal tools
Namespaces

Variants
Views
Actions
Navigation