Publication
-
NatalieQ: a web server for protein-protein interaction network querying Article
BMC Systems Biology, 8(40)January 2014
-
Rational approximations and quantum algorithms with postselection Article
Quantum Information and Computation, 15(3&4), 297-309.January 2014
-
Dynamic Epistemic Logics Book Chapter
January 2014 -
Formal Approaches to Social Procedures Book Chapter
January 2014 -
Epistemic Probability Logic Simplified Book Chapter
January 2014 -
Logic in Action Book
January 2014
-
Logic, Languages and Programming Presentation
January 2014 -
Programming for DEL Tutorial Day Presentation
January 2014