Publication
-
Comparison of Block-Lanczos and Block-Wiedemann for Solving Linear Systems in Large Factorizations Lecture
January 2011
-
January 2011 -
January 2011 -
Pointwise Extensions of GSOS-Defined Operations Article
Mathematical Structures in Computer Science, 21(2), 321-361.January 2011
-
A new method for deriving waiting-time approximations in polling systems with renewal arrivals Article
Stochastic Models, 318-332.January 2011 -
Buchi Automata for Modeling Component Connectors Article
Software and Systems Modeling, 10(2), 183-200.January 2011 -
Designing an image retrieval interface for abstract concepts within the domain of journalism Tech Report
January 2011
-
January 2011