Publication
-
Semantic Multimedia In Proceedings
September 2008
-
A comparison between the ALGOL 60 implementations on the Electrologica X1 and the Electrologica X8 Tech Report
September 2008
-
Generalized Key Delegation for Hierarchical Identity-Based Encryption Article
IET Information Security, 2(3), 67-78.September 2008 -
September 2008
-
Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings
September 2008
-
Autonomous Scheduling with Unbounded and Bounded Agents In Proceedings
September 2008 -
Coinductive Formal Reasoning in Exact Real Arithmetic Article
Logical Methods in Computer Science, 4(3)September 2008
-
Contact-inhibited chemotaxis in de novo and sprouting blood-vessel growth Article
PLoS Computational Biology, 4(9), e1000163-last.September 2008