Sciweavers

10271 search results - page 334 / 2055
» Computer Science
Sort
View
88
Voted
ERSHOV
2009
Springer
15 years 10 months ago
Planet Map Generation by Tetrahedral Subdivision
Torben Æ. Mogensen
ERSHOV
2009
Springer
15 years 10 months ago
A Query Language for Logic Architectures
Anton Malykh, Andrei Mantsivoda
FSTTCS
2009
Springer
15 years 10 months ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
110
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Verification and Refutation of Probabilistic Specifications via Games
Mark Kattenbelt, Michael Huth