Mohamed Nabih Menaa

Publications

  • Synchronous Game Semantics via Round Abstraction, In Proceedings, 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011), M. Hofmann, Ed., vol. 6604 of LNCS, pp. 350-364 (with Dan Ghica) (pdf).
  • On the Compositionality of Round Abstraction, In Proceedings, 21st International Conference on Concurrency Theory (CONCUR'10), P. Gastin and F. Laroussinie, Eds., vol. 6269 of LNCS, pp. 417-431 (with Dan Ghica) (pdf)

Talks

  • Synchronous Game Semantics via Round Abstraction, GaLoP VI, Saarbruecken, Germany (26 March 2011)
  • Compositional Round Abstraction, PDHRS 2010, Glasgow, UK (04 August 2010) (slides) (abstract)
  • On the Compositionality of Round Abstraction, Short paper presentation at LICS 2010, Edinburgh, UK (13 July 2010) (slides)
  • Total correctness for round abstraction, Theory Lab Lunch, School of Computer Science, University of Birmingham, UK (15 June 2010) (abstract)
  • Round abstraction, compositionally, SYNCHRON 2009, Dagstuhl, Germany (24 November 2009) (abstract)
  • Round abstraction, compositionally, Theory Lab Lunch, School of Computer Science, University of Birmingham, UK (17 November 2009) (abstract)
  • Towards a Synchronous Game Semantics, GaLoP IV @ ETAPS 2009, York, UK (28 March 2009) (abstract) (slides)
  • Towards a New Synchronous Programming Language, Postgraduate Seminar Series, School of Computer Science, University of Birmingham, UK (12 March 2009) (abstract) (slides)
  • A Category of Synchronous Circuits, Category Theory Reading Group, School of Computer Science, University of Birmingham, UK (17 November 2008)
  • Java Runtime Visualisation Using Aspect-Oriented Programming, Research Skills, School of Computer Science, University of Birmingham, UK (15 January 2008)