Publication
-
Zero, Sucessor and Equality in BDDs Article
Annals of Pure and Applied Logic, 101-123.January 2005
-
January 2005
-
Infinitary normalization Tech Report
January 2005
-
January 2005
-
During coagulation thrombin generation shifts from chemical to diffusion control Article
Journal of Thrombosis and Haemostasis, 2399-2400.January 2005
-
Generation of abstract geometric art based on exact aesthetics, gestalt theory and graphic design principles Tech Report
January 2005
-
Crosscutting concerns in J2EE applications Tech Report
January 2005
-
Performance of TCP-friendly streaming sessions in the presence of heavy-tailed elastic flows Tech Report
January 2005