Journal Article (248)
221.
Journal Article
42 (4), pp. 991 - 998 (2012)
The World of Connections and Information Flow in Twitter. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 222.
Journal Article
22 (4&5), pp. 477 - 528 (2012)
The Impact of Higher-order State and Control Effects on Local Relational Reasoning. Journal of Functional Programming 223.
Journal Article
20 (4), pp. 353 - 391 (2012)
Stateful Authorization Logic - Proof Theory and a Case Study. Journal of Computer Security 224.
Journal Article
55 (2), pp. 103 - 111 (2012)
Software Synthesis Procedures. Communications of the ACM 225.
Journal Article
56 (2), pp. 642 - 660 (2012)
Adaptive Search Radius – Using hop count to reduce P2P traffic. Computer Networks 226.
Journal Article
12, pp. 3147 - 3186 (2011)
Adaptive exact inference in graphical models. Journal of Machine Learning Research 227.
Journal Article
Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', pp. 1 - 37 (2011)
228.
Journal Article
34 (1), pp. 137 - 150 (2011)
Peer-to-peer multipoint video conferencing with layered video. Journal of Network and Computer Applications 229.
Journal Article
Online First, pp. 1 - 46 (2011)
The Locally Nameless Representation. Journal of Automated Reasoning 230.
Journal Article
21, pp. 1301 - 1337 (2011)
Provenance as dependency analysis. Mathematical Structures in Computer Science 231.
Journal Article
2011, 895398, pp. 1 - 17 (2011)
VCG with Communities on Random Ad Hoc Networks. International Journal of Distributed Sensor Networks 232.
Journal Article
Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, pp. 497 - 562 (2011)
233.
Journal Article
abs/1004.2884v2, arXiv:1004.2884v2, pp. 1 - 11 (2010)
Refinement type inference via abstract interpretation. CoRR 234.
Journal Article
40 (3), pp. 53 - 56 (2010)
Measurement lab: overview and an invitation to the research community. ACM Sigcomm Computer Communication Review 235.
Journal Article
53 (10), pp. 72 - 82 (2010)
Peer-to-peer systems. Communications of the ACM 236.
Journal Article
Early View, TDSC.2010.52 (2010)
Automatic reconfiguration for large-scale reliable storage systems. Transactions on Dependable and Secure Computing 237.
Journal Article
52 (11), p. 86 - 86 (2009)
Narrowing the semantic gap in distributed programming. Communications of the ACM 238.
Journal Article
17 (5), pp. 1357 - 1370 (2009)
Analyzing the video popularity characteristics of large-scale user generated content systems. IEEE ACM Transactions on Networking 239.
Journal Article
20 (9), pp. 1339 - 1351 (2009)
Full-information lookups for peer-to-peer overlays. IEEE Transactions on Parallel and Distributed Systems 240.
Journal Article
7 (2), pp. 155 - 169 (2008)
Conditional reactive simulatability. International Journal of Information Security