User contributions for Lukas Ladenberger

30 October 2015

• 13:0413:04, 30 October 2015 diff hist +209‎ BMotion Studio Download ‎No edit summary
• 13:0313:03, 30 October 2015 diff hist +37‎ N BMotion Studio Download ‎ Created page with "Category:BMotion_Studio __NOTOC__"
• 12:5812:58, 30 October 2015 diff hist +2,046‎ BMotion Studio Release 0.2.3 ‎No edit summary current
• 12:5312:53, 30 October 2015 diff hist +37‎ N BMotion Studio Release 0.2.3 ‎ Created page with "Category:BMotion_Studio __NOTOC__"
• 12:5212:52, 30 October 2015 diff hist +23‎ N Category:BMotion Studio ‎ Created page with "BMotion Studio Category" current

29 October 2015

• 08:3908:39, 29 October 2015 diff hist −2‎ ProjectionDiagram ‎ →‎Resources and ProB Live Visualizations

22 October 2015

• 14:4814:48, 22 October 2015 diff hist +212‎ BMotion Studio ‎No edit summary
• 14:4614:46, 22 October 2015 diff hist +4‎ ABZ14 ‎ →‎ProB Live Visualisations

21 October 2015

• 15:4415:44, 21 October 2015 diff hist −25‎ BMotion Studio ‎No edit summary
• 15:4215:42, 21 October 2015 diff hist +227‎ BMotion Studio ‎No edit summary
• 15:3815:38, 21 October 2015 diff hist +208‎ BMotion Studio ‎No edit summary
• 15:3415:34, 21 October 2015 diff hist +25‎ BMotion Studio ‎No edit summary
• 15:3115:31, 21 October 2015 diff hist +66‎ BMotion Studio ‎No edit summary

19 October 2015

• 10:2410:24, 19 October 2015 diff hist +1‎ ABZ14 ‎ →‎ProB Live Visualisations
• 10:2210:22, 19 October 2015 diff hist +1‎ ABZ14 ‎ →‎ProB Live Visualisations

11 September 2015

• 08:4108:41, 11 September 2015 diff hist 0‎ BMotion Studio ‎No edit summary
• 08:4008:40, 11 September 2015 diff hist +335‎ BMotion Studio ‎No edit summary
• 08:2208:22, 11 September 2015 diff hist −356‎ BMotion Studio ‎No edit summary

3 June 2015

• 14:1214:12, 3 June 2015 diff hist +231‎ BMotion Studio ‎No edit summary

2 June 2015

• 07:5107:51, 2 June 2015 diff hist 0‎ BMotion Studio ‎No edit summary
• 07:2807:28, 2 June 2015 diff hist +148‎ BMotion Studio ‎No edit summary
• 07:2407:24, 2 June 2015 diff hist +9‎ BMotion Studio ‎No edit summary

26 May 2015

• 12:0312:03, 26 May 2015 diff hist +96‎ ProjectionDiagram ‎ →‎Resources and ProB Live Visualizations

3 May 2015

• 21:2421:24, 3 May 2015 diff hist 0‎ N File:SimpleLift.zip ‎No edit summary current
• 21:2421:24, 3 May 2015 diff hist +104‎ ProjectionDiagram ‎No edit summary

30 April 2015

• 14:3914:39, 30 April 2015 diff hist −34‎ ProjectionDiagram ‎No edit summary
• 14:3914:39, 30 April 2015 diff hist +626‎ ProjectionDiagram ‎No edit summary
• 14:3114:31, 30 April 2015 diff hist +1,636‎ N ProjectionDiagram ‎ Created page with '{{DISPLAYTITLE:Mastering the Visualization of Larger State Spaces with Projection Diagrams}} __NOTOC__ This page provides additional resources for the paper we have submitted for…'

27 February 2015

• 17:2017:20, 27 February 2015 diff hist +1‎ BMotion Studio ‎No edit summary
• 17:2017:20, 27 February 2015 diff hist +2‎ ABZ14 ‎ →‎ProB Live Visualisations
• 11:5811:58, 27 February 2015 diff hist +4‎ ABZ14 ‎ →‎ProB BMotion Studio Video

26 February 2015

• 12:4012:40, 26 February 2015 diff hist 0‎ BMotion Studio ‎No edit summary
• 11:3111:31, 26 February 2015 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualisations
• 10:5210:52, 26 February 2015 diff hist −1‎ ABZ14 ‎ →‎ProB Live Visualisations

14 February 2015

• 22:1222:12, 14 February 2015 diff hist +9‎ ABZ14 ‎ →‎Resources
• 22:1222:12, 14 February 2015 diff hist 0‎ File:LandingGear.zip ‎ uploaded a new version of "File:LandingGear.zip" current

13 February 2015

• 12:2912:29, 13 February 2015 diff hist −143‎ ABZ14 ‎ →‎ProB Live Visualisations of other Event-B models (click to join)
• 08:3208:32, 13 February 2015 diff hist +17‎ ABZ14 ‎ →‎ProB Live Visualisations of other Event-B models
• 08:3008:30, 13 February 2015 diff hist +193‎ ABZ14 ‎No edit summary
• 08:2708:27, 13 February 2015 diff hist +6‎ ABZ14 ‎No edit summary
• 08:2608:26, 13 February 2015 diff hist +385‎ ABZ14 ‎No edit summary
• 08:1908:19, 13 February 2015 diff hist +1‎ ABZ14 ‎ →‎ProB Live Visualisations of Event-B models
• 08:0508:05, 13 February 2015 diff hist +109‎ ABZ14 ‎ →‎ProB Live Visualisations of Event-B models

12 February 2015

• 21:5121:51, 12 February 2015 diff hist +19‎ ABZ14 ‎No edit summary
• 21:5121:51, 12 February 2015 diff hist +15‎ ABZ14 ‎No edit summary
• 21:5021:50, 12 February 2015 diff hist +332‎ ABZ14 ‎No edit summary
• 21:4421:44, 12 February 2015 diff hist +181‎ ABZ14 ‎No edit summary
• 21:4121:41, 12 February 2015 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)

30 January 2015

• 12:1612:16, 30 January 2015 diff hist −27‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)
• 12:1512:15, 30 January 2015 diff hist 0‎ File:Landing gear.png ‎ uploaded a new version of "File:Landing gear.png" current