Publication
-
A Deductive Proof System for Multithreaded Java with Exceptions Article
Fundamenta Informaticae, 82(4)January 2008 -
The CONV method for pricing options In Proceedings
January 2008 -
A Verification Framework for Normative Multi-Agent Systems In Proceedings
January 2008 -
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings
January 2008 -
An hp-adaptive strategy for the solution Of the exact kernel curved wire pocklington Equation Article
Computational Methods in Applied Mathematics, 8(1), 39-59.January 2008
-
Evolutionary Dynamics for Designing Multi-Period Auctions In Proceedings
January 2008
-
Processor Cache Book Chapter
January 2008
-
Main Memory Book Chapter
January 2008