User contributions
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)
- 09:27, 13 July 2016 (diff | hist) . . (+277) . . Infinite Systems Verification Day
- 09:20, 13 July 2016 (diff | hist) . . (0) . . Infinite Systems Verification Day
- 09:19, 13 July 2016 (diff | hist) . . (+13) . . Infinite Systems Verification Day
- 09:19, 13 July 2016 (diff | hist) . . (+101) . . N Infinite Systems Verification Day (Created page with "When: September 29th, 2016 Where: Auditorium, Ground Floor, [https://batiment.imag.fr/|IMAG Building]")
- 09:18, 13 July 2016 (diff | hist) . . (+30) . . Radu Iosif
- 09:18, 13 July 2016 (diff | hist) . . (+129) . . N HDR (Created page with " == Infinite Systems Verification Day == When: September 29th, 2016 Where: Auditorium, [IMAG Building|https://batiment.imag.fr/]") (current)
- 09:14, 13 July 2016 (diff | hist) . . (+33) . . Radu Iosif
- 12:23, 11 July 2016 (diff | hist) . . (+22) . . Recent publications
- 12:22, 11 July 2016 (diff | hist) . . (+2) . . Recent publications
- 12:21, 11 July 2016 (diff | hist) . . (+52) . . Recent publications
- 10:54, 11 July 2016 (diff | hist) . . (-2) . . Recent publications
- 10:53, 11 July 2016 (diff | hist) . . (+4) . . Recent publications
- 10:52, 11 July 2016 (diff | hist) . . (+20) . . Recent publications
- 10:52, 11 July 2016 (diff | hist) . . (0) . . N File:Atva2016-2.pdf (current)
- 10:51, 11 July 2016 (diff | hist) . . (+4) . . Recent publications
- 10:50, 11 July 2016 (diff | hist) . . (+21) . . Recent publications
- 10:49, 11 July 2016 (diff | hist) . . (0) . . N File:Atva2016-1.pdf (current)
- 10:47, 11 July 2016 (diff | hist) . . (-60) . . Recent publications
- 13:34, 17 June 2016 (diff | hist) . . (+27) . . Radu Iosif
- 11:55, 1 June 2016 (diff | hist) . . (0) . . File:Hdr.pdf (Radu iosif uploaded a new version of File:Hdr.pdf) (current)
- 10:33, 30 May 2016 (diff | hist) . . (+2) . . Radu Iosif
- 14:46, 29 May 2016 (diff | hist) . . (0) . . Radu Iosif
- 14:34, 29 May 2016 (diff | hist) . . (+1) . . Radu Iosif
- 14:34, 29 May 2016 (diff | hist) . . (+39) . . Radu Iosif
- 11:00, 23 May 2016 (diff | hist) . . (-3) . . Radu Iosif
- 11:00, 23 May 2016 (diff | hist) . . (-6) . . Radu Iosif
- 10:59, 23 May 2016 (diff | hist) . . (+7) . . Radu Iosif
- 10:59, 23 May 2016 (diff | hist) . . (+33) . . Radu Iosif
- 09:51, 20 May 2016 (diff | hist) . . (+51) . . Recent publications
- 08:39, 19 May 2016 (diff | hist) . . (+113) . . Recent publications
- 08:37, 19 May 2016 (diff | hist) . . (+147) . . Software (current)
- 13:38, 23 March 2016 (diff | hist) . . (+74) . . Recent publications
- 11:15, 14 March 2016 (diff | hist) . . (0) . . File:Hdr.pdf (Radu iosif uploaded a new version of "File:Hdr.pdf")
- 16:00, 6 March 2016 (diff | hist) . . (0) . . Radu Iosif
- 16:00, 6 March 2016 (diff | hist) . . (-6) . . Radu Iosif
- 15:59, 6 March 2016 (diff | hist) . . (-2) . . Radu Iosif
- 15:59, 6 March 2016 (diff | hist) . . (+31) . . Radu Iosif
- 15:58, 6 March 2016 (diff | hist) . . (0) . . Radu Iosif
- 15:58, 6 March 2016 (diff | hist) . . (+8) . . Radu Iosif
- 15:57, 6 March 2016 (diff | hist) . . (0) . . N File:Hdr.pdf
- 15:56, 6 March 2016 (diff | hist) . . (+2) . . Radu Iosif
- 15:55, 6 March 2016 (diff | hist) . . (-63) . . Radu Iosif
- 18:26, 22 October 2015 (diff | hist) . . (-1) . . Software
- 13:01, 25 September 2015 (diff | hist) . . (+71) . . Radu Iosif
- 14:41, 4 August 2015 (diff | hist) . . (+172) . . Recent publications
- 09:01, 12 June 2015 (diff | hist) . . (0) . . Recent publications
- 08:59, 12 June 2015 (diff | hist) . . (+9) . . Recent publications
- 13:18, 3 March 2015 (diff | hist) . . (+9) . . Recent publications
- 06:34, 3 March 2015 (diff | hist) . . (+125) . . Recent publications
- 14:23, 1 March 2015 (diff | hist) . . (+1) . . Recent publications
- 17:59, 19 February 2015 (diff | hist) . . (0) . . Software
- 17:59, 19 February 2015 (diff | hist) . . (+7) . . Software
- 12:28, 10 February 2015 (diff | hist) . . (+1) . . Radu Iosif
- 12:27, 10 February 2015 (diff | hist) . . (0) . . Software
- 12:26, 10 February 2015 (diff | hist) . . (+142) . . Software
- 11:27, 29 January 2015 (diff | hist) . . (0) . . Radu Iosif
- 11:26, 29 January 2015 (diff | hist) . . (+40) . . Radu Iosif
- 11:24, 29 January 2015 (diff | hist) . . (+67) . . Radu Iosif
- 12:21, 19 December 2014 (diff | hist) . . (+7) . . Flata
- 12:21, 19 December 2014 (diff | hist) . . (-2) . . Flata
- 12:20, 19 December 2014 (diff | hist) . . (+19) . . Flata
- 12:20, 19 December 2014 (diff | hist) . . (+2) . . Flata
- 12:20, 19 December 2014 (diff | hist) . . (-19) . . Flata
- 12:19, 19 December 2014 (diff | hist) . . (+74) . . Flata
- 12:38, 1 November 2014 (diff | hist) . . (+150) . . Recent publications
- 15:48, 23 September 2014 (diff | hist) . . (-34) . . Lat
- 12:13, 21 August 2014 (diff | hist) . . (-160) . . Recent publications
- 12:12, 21 August 2014 (diff | hist) . . (+154) . . Recent publications
- 12:10, 21 August 2014 (diff | hist) . . (0) . . N File:Atva14.pdf (current)
- 12:05, 21 August 2014 (diff | hist) . . (+47) . . Recent publications
- 17:16, 20 June 2014 (diff | hist) . . (-71) . . Recent publications
- 17:13, 20 June 2014 (diff | hist) . . (+71) . . Recent publications
- 15:20, 19 May 2014 (diff | hist) . . (+276) . . Recent publications
- 13:18, 15 May 2014 (diff | hist) . . (-31) . . AVM 2014 pictures (current)
- 13:16, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0598.JPG (current)
- 13:15, 15 May 2014 (diff | hist) . . (+999) . . AVM 2014 pictures
- 13:09, 15 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 13:09, 15 May 2014 (diff | hist) . . (+18) . . AVM 2014 pictures
- 13:08, 15 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 13:08, 15 May 2014 (diff | hist) . . (+18) . . AVM 2014 pictures
- 13:07, 15 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 13:06, 15 May 2014 (diff | hist) . . (+4) . . AVM 2014 pictures
- 13:05, 15 May 2014 (diff | hist) . . (-46) . . AVM 2014 pictures
- 13:03, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0608.JPG (current)
- 13:03, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0603.JPG (current)
- 13:03, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0602.JPG (current)
- 13:02, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0596.JPG (current)
- 13:02, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0593.JPG (current)
- 13:01, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0587.JPG (current)
- 13:01, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0582.JPG (current)
- 13:01, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0581.JPG (current)
- 13:00, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0577.JPG (current)
- 13:00, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0573.JPG (current)
- 12:59, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0569.JPG (current)
- 12:59, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0562.JPG (current)
- 12:59, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0556.JPG (current)
- 12:58, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0552.JPG (current)
- 12:58, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0546.JPG (current)
- 12:57, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0543.JPG (current)
- 12:57, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0542.JPG (current)
- 12:56, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0540.JPG (current)
- 12:56, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0537.JPG (current)
- 12:55, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0532.JPG (current)
- 12:55, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0527.JPG (current)
- 12:55, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0524.JPG (current)
- 12:54, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0525.JPG (current)
- 12:53, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0523.JPG (current)
- 12:53, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0517.JPG (current)
- 12:53, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0514.JPG (current)
- 12:52, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0509.JPG (current)
- 12:51, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0506.JPG (current)
- 12:51, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0504.JPG (current)
- 12:51, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0501.JPG (current)
- 12:50, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0498.JPG (current)
- 12:49, 15 May 2014 (diff | hist) . . (+45) . . AVM 2014 pictures
- 12:49, 15 May 2014 (diff | hist) . . (-27) . . AVM 2014 pictures
- 12:48, 15 May 2014 (diff | hist) . . (-40) . . AVM 2014 pictures
- 12:48, 15 May 2014 (diff | hist) . . (+1) . . AVM 2014 pictures
- 12:48, 15 May 2014 (diff | hist) . . (-66) . . AVM 2014 pictures
- 12:47, 15 May 2014 (diff | hist) . . (-20) . . AVM 2014 pictures
- 12:46, 15 May 2014 (diff | hist) . . (+253) . . AVM 2014 pictures
- 10:06, 12 May 2014 (diff | hist) . . (+5) . . AVM 2014 (current)
- 10:06, 12 May 2014 (diff | hist) . . (0) . . m AVM 2014 pictures (Radu iosif moved page AVM pictures to AVM 2014 pictures without leaving a redirect)
- 10:05, 12 May 2014 (diff | hist) . . (-52) . . AVM 2014 pictures
- 10:04, 12 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 10:04, 12 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 10:03, 12 May 2014 (diff | hist) . . (+3) . . AVM 2014 pictures
- 10:03, 12 May 2014 (diff | hist) . . (+50) . . AVM 2014 pictures
- 10:02, 12 May 2014 (diff | hist) . . (-50) . . AVM 2014 pictures
- 10:02, 12 May 2014 (diff | hist) . . (+99) . . AVM 2014 pictures
- 10:01, 12 May 2014 (diff | hist) . . (+47) . . N AVM 2014 pictures (Created page with "alt text")
- 09:58, 12 May 2014 (diff | hist) . . (0) . . N File:DSC 0211.JPG (current)
- 09:56, 12 May 2014 (diff | hist) . . (+26) . . AVM 2014
- 20:40, 9 May 2014 (diff | hist) . . (+7) . . AVM 2014
- 20:38, 9 May 2014 (diff | hist) . . (+49) . . AVM 2014
- 20:37, 9 May 2014 (diff | hist) . . (0) . . N File:Avm sponsors.jpg (current)
- 19:01, 7 May 2014 (diff | hist) . . (+1) . . Register (current)
- 19:01, 7 May 2014 (diff | hist) . . (+227) . . Register
- 19:00, 7 May 2014 (diff | hist) . . (+44) . . Travel (current)
- 18:58, 7 May 2014 (diff | hist) . . (+341) . . Travel
- 13:48, 7 May 2014 (diff | hist) . . (+14) . . Programme (current)
- 16:54, 6 May 2014 (diff | hist) . . (+141) . . Software
- 16:52, 6 May 2014 (diff | hist) . . (-100) . . Main Page (current)
- 16:51, 6 May 2014 (diff | hist) . . (-20) . . Flata
- 14:35, 15 April 2014 (diff | hist) . . (+4) . . Programme
- 14:35, 15 April 2014 (diff | hist) . . (+33) . . Programme
- 13:38, 14 April 2014 (diff | hist) . . (+155) . . Programme
- 16:08, 12 April 2014 (diff | hist) . . (-770) . . Register
- 10:19, 30 March 2014 (diff | hist) . . (0) . . Programme
- 10:19, 30 March 2014 (diff | hist) . . (+741) . . Abstracts (current)
- 10:18, 30 March 2014 (diff | hist) . . (+86) . . Programme
- 16:35, 28 March 2014 (diff | hist) . . (-1) . . Programme
- 13:50, 28 March 2014 (diff | hist) . . (+126) . . Abstracts
- 13:48, 28 March 2014 (diff | hist) . . (+25,654) . . N Abstracts (Created page with "1. Eva Darulova (EPFL,Lausanne): Compiling Real Numbers with Precision Guarantees Writing accurate numerical software is hard because of many sources of unavoidable uncertain...")
- 13:48, 28 March 2014 (diff | hist) . . (-16) . . AVM 2014
- 13:48, 28 March 2014 (diff | hist) . . (+53) . . AVM 2014
- 13:43, 28 March 2014 (diff | hist) . . (+38) . . Programme
- 13:43, 28 March 2014 (diff | hist) . . (+1) . . Programme
- 13:43, 28 March 2014 (diff | hist) . . (+1) . . Programme
- 13:42, 28 March 2014 (diff | hist) . . (+26) . . Programme
- 13:40, 28 March 2014 (diff | hist) . . (+2,846) . . Programme
- 14:37, 20 March 2014 (diff | hist) . . (+21) . . Register
- 14:22, 20 March 2014 (diff | hist) . . (+5) . . Register
- 14:22, 20 March 2014 (diff | hist) . . (-26) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (0) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (+1) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (+6) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (+2) . . Register
- 12:18, 20 March 2014 (diff | hist) . . (+6) . . Register
- 12:15, 20 March 2014 (diff | hist) . . (+235) . . Register
- 12:07, 20 March 2014 (diff | hist) . . (+21) . . Register
- 11:50, 20 March 2014 (diff | hist) . . (-21) . . Register
- 19:21, 10 March 2014 (diff | hist) . . (+312) . . Speakers (current)
- 15:52, 6 March 2014 (diff | hist) . . (+14) . . Travel
- 14:53, 6 March 2014 (diff | hist) . . (+1) . . Travel
- 14:53, 6 March 2014 (diff | hist) . . (-8) . . Travel
- 14:52, 6 March 2014 (diff | hist) . . (+433) . . Travel
- 14:31, 6 March 2014 (diff | hist) . . (+18) . . N Programme (Created page with "Under construction")
- 14:31, 6 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 14:31, 6 March 2014 (diff | hist) . . (+25) . . AVM 2014
- 14:30, 6 March 2014 (diff | hist) . . (+6) . . AVM 2014
- 14:29, 6 March 2014 (diff | hist) . . (+21) . . AVM 2014
- 14:29, 6 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 14:29, 6 March 2014 (diff | hist) . . (+54) . . AVM 2014
- 14:05, 6 March 2014 (diff | hist) . . (+8) . . Speakers
- 15:28, 5 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:28, 5 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:27, 5 March 2014 (diff | hist) . . (+1) . . Speakers
- 15:27, 5 March 2014 (diff | hist) . . (+1) . . Speakers
- 15:25, 5 March 2014 (diff | hist) . . (+2) . . Speakers
- 15:24, 5 March 2014 (diff | hist) . . (+117) . . Speakers
- 15:22, 5 March 2014 (diff | hist) . . (+892) . . N Speakers (Created page with " == Invited Speakers == [http://cgi.di.uoa.gr/~smaragd/ '''Yannis Smaragdakis'''], University of Athens '''Declarative Static Program Analysis''' We discuss the benefits of...")
- 15:18, 5 March 2014 (diff | hist) . . (+32) . . AVM 2014
- 14:38, 24 February 2014 (diff | hist) . . (-2) . . AVM 2014
- 14:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:35, 24 February 2014 (diff | hist) . . (-96) . . AVM 2014
- 14:32, 24 February 2014 (diff | hist) . . (+32) . . AVM 2014
- 14:31, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:31, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:31, 24 February 2014 (diff | hist) . . (+282) . . AVM 2014
- 11:47, 15 February 2014 (diff | hist) . . (+16) . . Recent publications
- 11:45, 15 February 2014 (diff | hist) . . (-16) . . Recent publications
- 11:44, 15 February 2014 (diff | hist) . . (+168) . . Recent publications
- 16:58, 12 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 16:58, 12 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 16:42, 12 February 2014 (diff | hist) . . (-1) . . Register
- 16:41, 12 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 16:41, 12 February 2014 (diff | hist) . . (+6) . . AVM 2014
- 16:40, 12 February 2014 (diff | hist) . . (+1) . . Register
- 16:40, 12 February 2014 (diff | hist) . . (+7) . . Register
- 16:39, 12 February 2014 (diff | hist) . . (-1) . . Register
- 16:39, 12 February 2014 (diff | hist) . . (+2) . . Register
- 16:39, 12 February 2014 (diff | hist) . . (+4) . . Register
- 16:35, 12 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 16:32, 12 February 2014 (diff | hist) . . (+6) . . Register
- 16:31, 12 February 2014 (diff | hist) . . (+14) . . Register
- 16:31, 12 February 2014 (diff | hist) . . (+128) . . Register
- 16:30, 12 February 2014 (diff | hist) . . (+1) . . Register
- 16:27, 12 February 2014 (diff | hist) . . (+6) . . Register
- 16:27, 12 February 2014 (diff | hist) . . (+2) . . Register
- 16:26, 12 February 2014 (diff | hist) . . (+9) . . Register
- 16:26, 12 February 2014 (diff | hist) . . (-1) . . Register
- 16:26, 12 February 2014 (diff | hist) . . (+720) . . N Register (Created page with "Registration at AVM 2014 is free of charge. You will need to pay for your accomodation/meals directly at Villa Clythia upon departure. There is also a small amount to be paid ...")
- 16:11, 12 February 2014 (diff | hist) . . (-24) . . Travel
- 16:10, 12 February 2014 (diff | hist) . . (+2) . . Travel
- 16:09, 12 February 2014 (diff | hist) . . (-11) . . Travel
- 16:06, 12 February 2014 (diff | hist) . . (-1) . . Travel
- 16:05, 12 February 2014 (diff | hist) . . (+225) . . Travel
- 15:59, 12 February 2014 (diff | hist) . . (+195) . . Travel
- 15:52, 12 February 2014 (diff | hist) . . (-39) . . Travel
- 15:51, 12 February 2014 (diff | hist) . . (+96) . . Travel
- 15:49, 12 February 2014 (diff | hist) . . (+233) . . Travel
- 15:47, 12 February 2014 (diff | hist) . . (+321) . . Travel
- 15:43, 12 February 2014 (diff | hist) . . (+6) . . Travel
- 15:43, 12 February 2014 (diff | hist) . . (0) . . Travel
- 15:42, 12 February 2014 (diff | hist) . . (0) . . Travel
- 15:42, 12 February 2014 (diff | hist) . . (+522) . . N Travel (Created page with " === By train === Most high-speed trains (TGV) from Marseille to Nice will stop at St-Raphaël-Valescure station (approx. 1h30 from Marseille). You can easily reach Marseille...")
- 20:16, 11 February 2014 (diff | hist) . . (+73) . . AVM 2014
- 15:06, 11 February 2014 (diff | hist) . . (-8) . . AVM 2014
- 15:06, 11 February 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:06, 11 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 15:05, 11 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 15:05, 11 February 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:05, 11 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 15:04, 11 February 2014 (diff | hist) . . (+10) . . AVM 2014
- 18:37, 28 October 2013 (diff | hist) . . (+1) . . Radu Iosif
- 18:30, 28 October 2013 (diff | hist) . . (+68) . . Radu Iosif
- 14:45, 17 August 2013 (diff | hist) . . (-2) . . Recent publications
- 14:45, 17 August 2013 (diff | hist) . . (+16) . . Recent publications
- 14:44, 17 August 2013 (diff | hist) . . (+143) . . Recent publications
- 10:20, 2 July 2013 (diff | hist) . . (+2) . . Recent publications
- 10:19, 2 July 2013 (diff | hist) . . (-3) . . Recent publications
- 12:58, 28 June 2013 (diff | hist) . . (+33) . . Radu Iosif
- 12:56, 28 June 2013 (diff | hist) . . (0) . . N File:Col de porte 2.07.2013.pdf (current)
- 14:47, 14 June 2013 (diff | hist) . . (-2) . . Main Page
- 14:44, 14 June 2013 (diff | hist) . . (+1) . . Main Page
- 14:44, 14 June 2013 (diff | hist) . . (-7) . . Main Page
- 14:43, 14 June 2013 (diff | hist) . . (-4) . . Main Page
- 14:43, 14 June 2013 (diff | hist) . . (+4) . . Main Page
- 14:42, 14 June 2013 (diff | hist) . . (-2) . . Main Page
- 14:42, 14 June 2013 (diff | hist) . . (-2) . . Main Page
- 14:22, 14 June 2013 (diff | hist) . . (+7) . . Main Page
- 14:22, 14 June 2013 (diff | hist) . . (+47) . . Main Page
- 14:21, 14 June 2013 (diff | hist) . . (-13) . . Main Page
- 07:42, 30 April 2013 (diff | hist) . . (-12) . . AVM 2014
- 07:41, 30 April 2013 (diff | hist) . . (+6) . . AVM 2014
- 07:41, 30 April 2013 (diff | hist) . . (0) . . N File:Avm2014 flyer.pdf (current)
- 07:37, 30 April 2013 (diff | hist) . . (0) . . N File:Avm2014.pdf (current)
- 07:33, 30 April 2013 (diff | hist) . . (-23) . . AVM 2014
- 07:17, 30 April 2013 (diff | hist) . . (0) . . AVM 2014
- 10:58, 29 April 2013 (diff | hist) . . (0) . . N File:Avm2014.key.zip (current)
- 09:31, 29 April 2013 (diff | hist) . . (0) . . Recent publications
- 22:14, 28 April 2013 (diff | hist) . . (+6) . . Recent publications
- 21:48, 28 April 2013 (diff | hist) . . (+15) . . Recent publications
- 21:46, 28 April 2013 (diff | hist) . . (0) . . N File:Cai13.pdf (current)
- 21:44, 28 April 2013 (diff | hist) . . (+40) . . Radu Iosif
- 21:41, 28 April 2013 (diff | hist) . . (-33) . . Lat
- 21:12, 28 April 2013 (diff | hist) . . (-18) . . Radu Iosif
- 21:10, 28 April 2013 (diff | hist) . . (+247) . . Template:Hide sidebar (current)
- 21:10, 28 April 2013 (diff | hist) . . (+18) . . Radu Iosif
- 20:11, 28 April 2013 (diff | hist) . . (-18) . . Radu Iosif
- 20:09, 28 April 2013 (diff | hist) . . (-247) . . Template:Hide sidebar (Blanked the page)
- 20:07, 28 April 2013 (diff | hist) . . (+247) . . N Template:Hide sidebar (Created page with "<css> #column-content {margin: 0 0 .6em 0;} #content {margin: 2.8em 0 0 0;} #p-logo, .generated-sidebar, #p-lang, #p-tb, #p-search { display:none; } #p-cactions { left: .1e...")
- 20:06, 28 April 2013 (diff | hist) . . (+18) . . Radu Iosif
- 19:53, 28 April 2013 (diff | hist) . . (-6) . . Radu Iosif
- 19:52, 28 April 2013 (diff | hist) . . (+1) . . Radu Iosif
- 19:52, 28 April 2013 (diff | hist) . . (-14) . . Radu Iosif
- 19:51, 28 April 2013 (diff | hist) . . (+24) . . Radu Iosif
- 19:50, 28 April 2013 (diff | hist) . . (-1) . . Radu Iosif
- 19:49, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 19:48, 28 April 2013 (diff | hist) . . (0) . . N File:Radu.jpg (current)
- 19:39, 28 April 2013 (diff | hist) . . (0) . . N File:Ase01.pdf (current)
- 19:37, 28 April 2013 (diff | hist) . . (+8) . . Recent publications
- 19:36, 28 April 2013 (diff | hist) . . (0) . . N File:Spin02.pdf (current)
- 19:35, 28 April 2013 (diff | hist) . . (0) . . N File:Fossacs05.pdf (current)
- 19:35, 28 April 2013 (diff | hist) . . (+2) . . Recent publications
- 19:32, 28 April 2013 (diff | hist) . . (0) . . N File:Pepm04.pdf (current)
- 19:31, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 19:31, 28 April 2013 (diff | hist) . . (+70) . . Recent publications
- 19:26, 28 April 2013 (diff | hist) . . (0) . . N File:Sas04.pdf (current)
- 19:21, 28 April 2013 (diff | hist) . . (+42) . . Recent publications
- 19:19, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas06.pdf (current)
- 19:15, 28 April 2013 (diff | hist) . . (+40) . . Recent publications
- 19:15, 28 April 2013 (diff | hist) . . (0) . . N File:Icalp06.pdf (current)
- 19:13, 28 April 2013 (diff | hist) . . (0) . . N File:Cav06.pdf (current)
- 19:10, 28 April 2013 (diff | hist) . . (+108) . . Recent publications
- 19:09, 28 April 2013 (diff | hist) . . (0) . . N File:Vmcai07.pdf (current)
- 19:07, 28 April 2013 (diff | hist) . . (0) . . N File:Atva07.pdf (current)
- 19:06, 28 April 2013 (diff | hist) . . (0) . . N File:Lpar08.pdf (current)
- 19:04, 28 April 2013 (diff | hist) . . (0) . . N File:Fossacs08.pdf (current)
- 19:01, 28 April 2013 (diff | hist) . . (0) . . N File:Ijcar2008.pdf (current)
- 18:57, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 18:57, 28 April 2013 (diff | hist) . . (0) . . N File:Ciaa09.pdf (current)
- 18:52, 28 April 2013 (diff | hist) . . (+21) . . Recent publications
- 18:51, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas09.pdf (current)
- 18:50, 28 April 2013 (diff | hist) . . (+19) . . Recent publications
- 18:49, 28 April 2013 (diff | hist) . . (0) . . N File:Cav09.pdf (current)
- 18:46, 28 April 2013 (diff | hist) . . (-1) . . Recent publications
- 18:46, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 18:45, 28 April 2013 (diff | hist) . . (0) . . File:Cav10.pdf (Radu iosif uploaded a new version of "File:Cav10.pdf") (current)
- 18:39, 28 April 2013 (diff | hist) . . (-1) . . Recent publications
- 18:39, 28 April 2013 (diff | hist) . . (+22) . . Recent publications
- 18:38, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas12.pdf (current)
- 18:26, 28 April 2013 (diff | hist) . . (+9) . . Recent publications
- 18:26, 28 April 2013 (diff | hist) . . (+10) . . Recent publications
- 18:26, 28 April 2013 (diff | hist) . . (0) . . File:Fm12.pdf (Radu iosif uploaded a new version of "File:Fm12.pdf") (current)
- 18:25, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 18:24, 28 April 2013 (diff | hist) . . (0) . . N File:Atva12.pdf (current)
- 18:19, 28 April 2013 (diff | hist) . . (+21) . . Recent publications
- 18:18, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas13.pdf (current)
- 18:09, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 18:09, 28 April 2013 (diff | hist) . . (+19) . . Recent publications
- 18:08, 28 April 2013 (diff | hist) . . (0) . . N File:Cade13.pdf (current)
- 18:05, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 17:57, 28 April 2013 (diff | hist) . . (+17) . . Recent publications
- 17:57, 28 April 2013 (diff | hist) . . (0) . . N File:JSS.pdf (current)
- 17:54, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 17:53, 28 April 2013 (diff | hist) . . (-115) . . Recent publications
- 17:52, 28 April 2013 (diff | hist) . . (+4) . . Recent publications
- 17:50, 28 April 2013 (diff | hist) . . (0) . . N File:Fmsd05.pdf (current)
- 17:42, 28 April 2013 (diff | hist) . . (+36) . . Recent publications
- 17:41, 28 April 2013 (diff | hist) . . (0) . . N File:Sttt.pdf (current)
- 17:32, 28 April 2013 (diff | hist) . . (+50) . . Recent publications
- 17:31, 28 April 2013 (diff | hist) . . (0) . . N File:Fundamenta09.pdf (current)
- 17:30, 28 April 2013 (diff | hist) . . (+55) . . Recent publications
- 17:30, 28 April 2013 (diff | hist) . . (0) . . N File:Redblackjournal09.pdf (current)
- 17:28, 28 April 2013 (diff | hist) . . (+45) . . Recent publications
- 17:28, 28 April 2013 (diff | hist) . . (0) . . N File:Qsl-jar.pdf (current)
- 17:25, 28 April 2013 (diff | hist) . . (+24) . . Recent publications
- 17:24, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 17:24, 28 April 2013 (diff | hist) . . (+5) . . Recent publications
- 17:24, 28 April 2013 (diff | hist) . . (-5) . . Recent publications
- 17:23, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 17:23, 28 April 2013 (diff | hist) . . (0) . . N File:Fmsd10.pdf (current)
- 17:01, 28 April 2013 (diff | hist) . . (+15) . . AVM 2014
- 17:00, 28 April 2013 (diff | hist) . . (+2) . . Recent publications
- 16:59, 28 April 2013 (diff | hist) . . (+21) . . Recent publications
- 16:55, 28 April 2013 (diff | hist) . . (+128) . . Radu Iosif
- 16:51, 28 April 2013 (diff | hist) . . (0) . . Radu Iosif
- 16:51, 28 April 2013 (diff | hist) . . (+2) . . Radu Iosif
- 16:51, 28 April 2013 (diff | hist) . . (+7) . . Radu Iosif
- 16:51, 28 April 2013 (diff | hist) . . (+12) . . Radu Iosif
- 16:50, 28 April 2013 (diff | hist) . . (+259) . . Software
- 16:47, 28 April 2013 (diff | hist) . . (+10) . . Software
- 16:18, 28 April 2013 (diff | hist) . . (+477) . . N Software (Created page with "* FLATA a tool for the analysis of counter automata * ARTMC a tool for the verification of programs with complex pointer structures * L2CA converts programs with lists into co...")
- 16:16, 28 April 2013 (diff | hist) . . (+1,824) . . Recent publications
- 16:06, 28 April 2013 (diff | hist) . . (0) . . File:Newspapers-stacked.jpg (Radu iosif uploaded a new version of "File:Newspapers-stacked.jpg") (current)
- 16:05, 28 April 2013 (diff | hist) . . (-6) . . Recent publications
- 16:04, 28 April 2013 (diff | hist) . . (+6) . . Recent publications
- 15:19, 28 April 2013 (diff | hist) . . (-139) . . Recent publications
- 15:12, 28 April 2013 (diff | hist) . . (+4) . . Recent publications
- 15:07, 28 April 2013 (diff | hist) . . (+517) . . Recent publications
- 14:59, 28 April 2013 (diff | hist) . . (+120) . . Recent publications
- 14:56, 28 April 2013 (diff | hist) . . (+121) . . Recent publications
- 14:53, 28 April 2013 (diff | hist) . . (+188) . . Recent publications
- 14:49, 28 April 2013 (diff | hist) . . (+1,160) . . Recent publications
- 14:47, 28 April 2013 (diff | hist) . . (+99) . . N Recent publications (Created page with "right ==== Pending ==== ==== Journals ==== ==== Conferences ====")
- 14:47, 28 April 2013 (diff | hist) . . (0) . . N File:Newspapers-stacked.jpg
- 14:43, 28 April 2013 (diff | hist) . . (-20) . . Radu Iosif
- 14:40, 28 April 2013 (diff | hist) . . (+15) . . Radu Iosif
- 14:40, 28 April 2013 (diff | hist) . . (+9) . . Radu Iosif
- 14:40, 28 April 2013 (diff | hist) . . (+6) . . Radu Iosif
- 14:39, 28 April 2013 (diff | hist) . . (+4) . . Radu Iosif
- 14:38, 28 April 2013 (diff | hist) . . (-1) . . Radu Iosif
- 14:38, 28 April 2013 (diff | hist) . . (+143) . . Radu Iosif
- 14:37, 28 April 2013 (diff | hist) . . (0) . . Radu Iosif
- 14:36, 28 April 2013 (diff | hist) . . (+1) . . Radu Iosif
- 14:36, 28 April 2013 (diff | hist) . . (+55) . . Radu Iosif
- 14:35, 28 April 2013 (diff | hist) . . (0) . . Radu Iosif
- 14:35, 28 April 2013 (diff | hist) . . (+30) . . Radu Iosif
- 14:32, 28 April 2013 (diff | hist) . . (+431) . . Radu Iosif
- 14:26, 28 April 2013 (diff | hist) . . (+8) . . Radu Iosif
- 14:26, 28 April 2013 (diff | hist) . . (-24) . . Radu Iosif
- 14:18, 28 April 2013 (diff | hist) . . (+86) . . Radu Iosif
- 14:16, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 14:15, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 14:15, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 14:15, 28 April 2013 (diff | hist) . . (+6) . . Radu Iosif
- 14:03, 28 April 2013 (diff | hist) . . (+6) . . Radu Iosif
- 14:03, 28 April 2013 (diff | hist) . . (+159) . . Radu Iosif
- 14:00, 28 April 2013 (diff | hist) . . (-7) . . Radu Iosif
- 14:00, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 14:00, 28 April 2013 (diff | hist) . . (+26) . . Radu Iosif
- 13:57, 28 April 2013 (diff | hist) . . (+6) . . Radu Iosif
- 13:49, 28 April 2013 (diff | hist) . . (+2) . . Radu Iosif
- 13:49, 28 April 2013 (diff | hist) . . (+17) . . N Radu Iosif (Created page with "[File:Radu 1.jpg]")
- 19:03, 27 April 2013 (diff | hist) . . (-2) . . AVM 2014 (→9th Alpine Verification Meeting, 12-15 May 2014, Frejus, Cote d'Azur, France)
- 19:03, 27 April 2013 (diff | hist) . . (-4) . . AVM 2014 (→9th Alpine Verification Meeting, 12-15 May 2014, Frejus, Cote d'Azur, France)
- 19:03, 27 April 2013 (diff | hist) . . (-2) . . AVM 2014
- 19:02, 27 April 2013 (diff | hist) . . (+14) . . AVM 2014
- 19:01, 27 April 2013 (diff | hist) . . (+50) . . AVM 2014
- 18:53, 27 April 2013 (diff | hist) . . (+58) . . AVM 2014
- 18:45, 27 April 2013 (diff | hist) . . (+18) . . AVM 2014
- 18:45, 27 April 2013 (diff | hist) . . (+9) . . AVM 2014
- 18:44, 27 April 2013 (diff | hist) . . (-11) . . AVM 2014
- 18:44, 27 April 2013 (diff | hist) . . (0) . . File:Avm2014-banner.jpg (Radu iosif uploaded a new version of "File:Avm2014-banner.jpg") (current)
- 18:41, 27 April 2013 (diff | hist) . . (0) . . N File:Avm2014-banner.jpg
- 18:35, 27 April 2013 (diff | hist) . . (+38) . . AVM 2014 (→12-15 May 2014, Frejus, Cote d'Azur, France)
- 18:34, 27 April 2013 (diff | hist) . . (-54) . . AVM 2014
- 18:33, 27 April 2013 (diff | hist) . . (+304) . . AVM 2014
- 17:17, 27 April 2013 (diff | hist) . . (+76) . . N AVM 2014 (Created page with "9th Alpine Verification Meeting, 12-15 May 2014, Frejus, Cote d'Azur, France")
- 17:10, 27 April 2013 (diff | hist) . . (+85) . . Main Page
- 11:37, 13 February 2013 (diff | hist) . . (+1) . . Lat
- 11:37, 13 February 2013 (diff | hist) . . (-1) . . Lat
- 11:36, 13 February 2013 (diff | hist) . . (+697) . . Lat
- 11:28, 13 February 2013 (diff | hist) . . (0) . . Lat
- 11:27, 13 February 2013 (diff | hist) . . (+7) . . Lat
- 11:26, 13 February 2013 (diff | hist) . . (-63) . . Lat
- 11:24, 13 February 2013 (diff | hist) . . (+104) . . Lat
- 11:20, 13 February 2013 (diff | hist) . . (+37) . . Lat
- 11:11, 13 February 2013 (diff | hist) . . (-1,803) . . Lat
- 11:08, 13 February 2013 (diff | hist) . . (-5) . . Lat
- 11:07, 13 February 2013 (diff | hist) . . (-40) . . Lat
- 11:05, 13 February 2013 (diff | hist) . . (-22) . . Lat
- 11:04, 13 February 2013 (diff | hist) . . (-15) . . Lat
- 11:02, 13 February 2013 (diff | hist) . . (-4) . . Lat
- 11:02, 13 February 2013 (diff | hist) . . (-11) . . Lat
- 11:01, 13 February 2013 (diff | hist) . . (-4) . . Lat
- 11:00, 13 February 2013 (diff | hist) . . (-193) . . Lat
- 10:57, 13 February 2013 (diff | hist) . . (+4) . . Lat
- 10:57, 13 February 2013 (diff | hist) . . (-8) . . Lat
- 10:55, 13 February 2013 (diff | hist) . . (+8) . . Lat
- 10:54, 13 February 2013 (diff | hist) . . (-6) . . Lat
- 10:53, 13 February 2013 (diff | hist) . . (+8,422) . . N Lat (Created page with "====== Logic and Automata Theory ====== **Lecturer**: Radu Iosif and Barbara Jobstmann **Obj...")
- 16:20, 5 February 2013 (diff | hist) . . (-37) . . Main Page
- 13:34, 5 February 2013 (diff | hist) . . (0) . . File:Ocaml-nts.tar.gz (Radu iosif uploaded a new version of "File:Ocaml-nts.tar.gz") (current)
- 13:12, 5 February 2013 (diff | hist) . . (-76) . . Flata
- 11:15, 5 February 2013 (diff | hist) . . (-89) . . Flata
- 11:15, 5 February 2013 (diff | hist) . . (-100) . . Flata
- 11:13, 5 February 2013 (diff | hist) . . (-110) . . Flata
- 11:11, 5 February 2013 (diff | hist) . . (+11) . . Main Page
- 11:10, 5 February 2013 (diff | hist) . . (+79) . . Main Page
- 11:09, 5 February 2013 (diff | hist) . . (0) . . File:Ocaml-nts.tar.gz (Radu iosif uploaded a new version of "File:Ocaml-nts.tar.gz")
- 11:08, 5 February 2013 (diff | hist) . . (0) . . N File:Ocaml-nts.tar.gz
- 16:15, 1 February 2013 (diff | hist) . . (+2) . . Benchmarks (current)
- 15:58, 1 February 2013 (diff | hist) . . (+58) . . Main Page (→Clients)
- 15:57, 1 February 2013 (diff | hist) . . (+66) . . Main Page
- 15:55, 1 February 2013 (diff | hist) . . (+1) . . Benchmarks
- 15:55, 1 February 2013 (diff | hist) . . (0) . . Benchmarks
- 15:54, 1 February 2013 (diff | hist) . . (+4) . . Benchmarks
- 15:53, 1 February 2013 (diff | hist) . . (-2) . . Benchmarks
- 15:52, 1 February 2013 (diff | hist) . . (+308) . . N Benchmarks (Created page with "The NTS benchmarks are currently organized in this [https://github.com/pierreganty/NTSLib/ GIT] repository. To add more benchmarks, you can fork a new branch from it, and is...")
- 17:25, 31 January 2013 (diff | hist) . . (+23) . . Main Page (→NTS-lib)
- 17:24, 31 January 2013 (diff | hist) . . (+9) . . Main Page (→NTS-lib)
- 17:23, 31 January 2013 (diff | hist) . . (-3) . . Main Page (→NTS-lib)
- 17:23, 31 January 2013 (diff | hist) . . (+34) . . Main Page (→NTS-lib)
- 17:22, 31 January 2013 (diff | hist) . . (0) . . Main Page (→NTS-lib)
- 17:22, 31 January 2013 (diff | hist) . . (-7) . . Main Page (→NTS-lib)
- 17:21, 31 January 2013 (diff | hist) . . (-2) . . Main Page (→NTS-lib)
- 17:21, 31 January 2013 (diff | hist) . . (-3) . . Main Page (→NTS-lib)
- 16:49, 31 January 2013 (diff | hist) . . (-21) . . Main Page
- 16:28, 31 January 2013 (diff | hist) . . (0) . . Main Page (→Software)
- 16:28, 31 January 2013 (diff | hist) . . (+5) . . Main Page (→Software)
- 16:27, 31 January 2013 (diff | hist) . . (+48) . . Main Page (→Software)
- 16:26, 31 January 2013 (diff | hist) . . (+49) . . Main Page (→Software)
- 15:48, 31 January 2013 (diff | hist) . . (0) . . Main Page
- 15:40, 31 January 2013 (diff | hist) . . (+17) . . Main Page (→NTS-lib)
- 15:40, 31 January 2013 (diff | hist) . . (-24) . . Main Page (→Benchmarks)
- 15:39, 31 January 2013 (diff | hist) . . (+17) . . Main Page (→Events)
- 15:39, 31 January 2013 (diff | hist) . . (+9) . . Main Page (→NTS-lib)
- 15:38, 31 January 2013 (diff | hist) . . (+8) . . Main Page (→Software)
- 15:37, 31 January 2013 (diff | hist) . . (+5) . . Main Page (→NTS-lib)
- 15:36, 31 January 2013 (diff | hist) . . (-2) . . Main Page (→Projects)
- 15:36, 31 January 2013 (diff | hist) . . (+1) . . Main Page (→Projects)
- 15:36, 31 January 2013 (diff | hist) . . (-2) . . Main Page (→Projects)
- 15:35, 31 January 2013 (diff | hist) . . (+1) . . Main Page (→Projects)
- 15:35, 31 January 2013 (diff | hist) . . (-2) . . Main Page (→Projects)
- 15:33, 31 January 2013 (diff | hist) . . (+1) . . Main Page (→Projects)
- 15:33, 31 January 2013 (diff | hist) . . (+82) . . Main Page (→Projects)
- 15:31, 31 January 2013 (diff | hist) . . (+59) . . Main Page (→Software)
- 15:29, 31 January 2013 (diff | hist) . . (+68) . . Main Page (→NTS-lib)
- 15:27, 31 January 2013 (diff | hist) . . (+109) . . Main Page
- 15:19, 31 January 2013 (diff | hist) . . (+50) . . N Nts-lib (Radu iosif moved page Nts-lib to Numerical Transition Systems:Nts-lib) (current)
- 15:19, 31 January 2013 (diff | hist) . . (0) . . m Numerical Transition Systems:Nts-lib (Radu iosif moved page Nts-lib to Numerical Transition Systems:Nts-lib) (current)
- 15:18, 31 January 2013 (diff | hist) . . (+2) . . Numerical Transition Systems:Nts-lib
- 15:18, 31 January 2013 (diff | hist) . . (+783) . . N Numerical Transition Systems:Nts-lib (Created page with " '''Numerical Transition Systems Library''' The NTS-lib consists of a language specification (NTL), a parser for the language, abstract syntax tree classes, and a pretty-prin...")
- 15:16, 31 January 2013 (diff | hist) . . (+787) . . Main Page
- 15:12, 31 January 2013 (diff | hist) . . (-378) . . Main Page
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)