Publication
-
January 2011
-
Rascal: Language technology for model-driven engineering In Proceedings
January 2011
-
A case of visitor versus interpreter pattern In Proceedings
January 2011
-
Comparison of Block-Lanczos and Block-Wiedemann for Solving Linear Systems in Large Factorizations Lecture
January 2011
-
MediaWiki grammar recovery Article
Computing Research Repository, 1-47.January 2011
-
Reasoning with protocols under imperfect information Article
The Review of Symbolic Logic, 4(3), 412-444.January 2011
-
On semidefinite programming bounds for graph bandwidth Article
Optimization OnlineJanuary 2011 -
Jan Karel, The Decider Miscellaneous
January 2011