Publication
-
October 2013
-
Reactive Turing machines Article
Information and Computation, 143-166.October 2013
-
Waisda?: video labeling game In Proceedings
October 2013
-
Lateral gene transfer, rearrangement, reconciliation Article
BMC Bioinformatics, 14(Suppl 15)October 2013
-
A Survey of Quantum Property Testing Tech Report
October 2013
-
October 2013
-
Monadic Functional Reactive Programming In Proceedings
October 2013
-
A Case Study of Trust Issues in Scientific Video Collections In Proceedings
October 2013