Sciweavers

17920 search results - page 240 / 3584
» Recentering computer science
Sort
View
86
Voted
MFCS
2009
Springer
16 years 10 days ago
Constructing Brambles
Mathieu Chapelle, Frédéric Mazoit, I...
95
Voted
MFCS
2009
Springer
16 years 10 days ago
The Expressive Power of Binary Submodular Functions
Stanislav Zivný, David A. Cohen, Peter G. J...
RELMICS
2009
Springer
16 years 10 days ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
SPIN
2009
Springer
16 years 10 days ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh
156
Voted
TLCA
2009
Springer
16 years 10 days ago
Mathematical Synthesis of Equational Deduction Systems
Marcelo P. Fiore, Chung-Kil Hur