Sciweavers

2372 search results - page 37 / 475
» IS 2012
Sort
View
SPAA
2012
ACM
13 years 8 months ago
Hedonic clustering games
Moran Feldman, Liane Lewin-Eytan, Joseph Naor
SAS
2012
Springer
210views Formal Methods» more  SAS 2012»
13 years 8 months ago
Bilateral Algorithms for Symbolic Abstraction
Aditya V. Thakur, Matt Elder, Thomas W. Reps
TOCL
2012
202views Formal Methods» more  TOCL 2012»
13 years 8 months ago
Reachability Problems in Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...