120
Voted
ICALP
16 years 21 days ago
2009 Springer 
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...
114
Voted
ICALP
16 years 21 days ago
2009 Springer 
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
144
click to vote
ICALP
16 years 21 days ago
2009 Springer 
We introduce a generic approach for counting subgraphs in a graph. The main idea is to relate counting subgraphs to counting graph homomorphisms. This approach provides new algori...
130
Voted
ICALP
16 years 21 days ago
2009 Springer 
Abstract. This paper deals with approximations of maximum independent sets in non-uniform hypergraphs of low degree. We obtain the first performance ratio that is sublinear in term...
108
Voted
ICALP
15 years 7 months ago
2009 Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
|
Programming Languages