Publication
-
Cryptanalysis of MD5 and SHA-1 Lecture
January 2012
-
Towards Dynamic Catalogues In Proceedings
January 2012
-
January 2012
-
High order fluid model for streamer discharges In Proceedings
January 2012
-
Tolstoy's mathematics in 'War and Peace' Article
Mathematical IntelligencerJanuary 2012
-
January 2012
-
Polyhedra with the integer Caratheodory property Article
Journal of Combinatorial Theory - Series B, 102(1), 62-70.January 2012
-
Automated Verification of Recursive Programs with Pointers In Proceedings
January 2012