Sciweavers

219 search results - page 6 / 44
» dagstuhl 2006
Sort
View
DAGSTUHL
2006
13 years 10 months ago
Formalizing On Chip Communications in a Functional Style
Julien Schmaltz, Dominique Borrione
DAGSTUHL
2006
13 years 10 months ago
On the Design of Simple Multi-unit Online Auctions
Thomas Kittsteiner, Axel Ockenfels
DAGSTUHL
2006
13 years 10 months ago
Abstract Interpretation of Graph Transformation
Jörg Bauer, Reinhard Wilhelm