Publication
-
January 2010
-
Dual graph homomorphism functions Article
Journal of Combinatorial Theory - Series A, 216-222.January 2010 -
Non-deterministic Kleene coalgebras Tech Report
January 2010
-
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? Article
Theory of Computing Systems, 46(1), 143-156.January 2010 -
Structural identifiability of polynomial and rational systems Article
Mathematical Biosciences, 223(2), 83-96.January 2010
-
Rate stability and output rates in queueing networks with shared resources Article
Performance Evaluation, 28-42.January 2010
-
Automated generation of program translation and verification tools using annotated grammars Article
Science of Computer Programming, 72(1), 3-20.January 2010
-
Using rewrite strategies for testing BUpL agents In Proceedings
January 2010