Publication
-
January 2009
-
Unconditionally stable integration of Maxwell's equations Article
Linear Algebra and its Applications, 300-317.January 2009
-
On the Semantics and Verification of Normative Multi-Agent Systems Article
Journal of Universal Computer Science, 15(13), 2629-2652.January 2009
-
Locality Book Chapter
January 2009 -
Memory Hierarchy Book Chapter
January 2009 -
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article
Fundamenta Informaticae, 95(1), 103-128.January 2009 -
Cost Estimation Book Chapter
January 2009 -
Elongation dynamics shape bursty transcription and translation Article
Proceedings of the National Academy of Sciences of the United States of America, 106(8), 2583-2588.January 2009