Publication
-
Pointwise Extensions of GSOS-Defined Operations Article
Mathematical Structures in Computer Science, 21(2), 321-361.January 2011
-
Frugal, acyclic and star colourings of graphs Article
Discrete Applied Mathematics, 159(16), 1806-1814.January 2011 -
Conference Chair's Introduction and Overview In Proceedings
January 2011 -
January 2011
-
Networked Television Article
ACM Multimedia Systems Journal, 17(1)January 2011
-
Presentation Evaluation Committee PNA Presentation
January 2011
-
Verifying one hundred prisoners and a lightbulb Article
Journal of Applied Non Classical LogicsJanuary 2011
-
Discourse representation in context Book Chapter
January 2011