Journal Article (184)

161.
Journal Article
Lopes Pereira, R.; Vazão, T.; Rodrigues, R.: Adaptive Search Radius – Using hop count to reduce P2P traffic. Computer Networks 56 (2), pp. 642 - 660 (2012)
162.
Journal Article
Sümer, Ö.; Acar, U. A.; Ihler, A. T.; Mettu, R. R.: Adaptive exact inference in graphical models. Journal of Machine Learning Research 12, pp. 3147 - 3186 (2011)
163.
Journal Article
Dreyer, D.; Ahmed, A.; Birkedal, L.: Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', pp. 1 - 37 (2011)
164.
Journal Article
Akkus, I. E.; Özkasap, Ö.; Civanlar, M. R.: Peer-to-peer multipoint video conferencing with layered video. Journal of Network and Computer Applications 34 (1), pp. 137 - 150 (2011)
165.
Journal Article
Charguéraud, A.: The Locally Nameless Representation. Journal of Automated Reasoning Online First, pp. 1 - 46 (2011)
166.
Journal Article
Cheney, J.; Ahmed, A.; Acar, U. A.: Provenance as dependency analysis. Mathematical Structures in Computer Science 21, pp. 1301 - 1337 (2011)
167.
Journal Article
Ercal, G.; Izhak-Ratzin, R.; Majumdar, R.; Meyerson, A.: VCG with Communities on Random Ad Hoc Networks. International Journal of Distributed Sensor Networks 2011, 895398, pp. 1 - 17 (2011)
168.
Journal Article
Neis, G.; Dreyer, D.; Rossberg, A.: Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, pp. 497 - 562 (2011)
169.
Journal Article
Jhala, R.; Majumdar, R.; Rybalchenko, A.: Refinement type inference via abstract interpretation. CoRR abs/1004.2884v2, arXiv:1004.2884v2, pp. 1 - 11 (2010)
170.
Journal Article
Dovrolis, C.; Gummadi, K. P.; Kuzmanovic, A.; Meinrath, S. D.: Measurement lab: overview and an invitation to the research community. ACM Sigcomm Computer Communication Review 40 (3), pp. 53 - 56 (2010)
171.
Journal Article
Rodrigues, R.; Druschel, P.: Peer-to-peer systems. Communications of the ACM 53 (10), pp. 72 - 82 (2010)
172.
Journal Article
Rodrigues, R.; Liskov, B.; Chen, K.; Liskov, M.; Schultz, D.: Automatic reconfiguration for large-scale reliable storage systems. Transactions on Dependable and Secure Computing Early View, TDSC.2010.52 (2010)
173.
Journal Article
Druschel, P.: Narrowing the semantic gap in distributed programming. Communications of the ACM 52 (11), p. 86 - 86 (2009)
174.
Journal Article
Cha, M.; Kwak, H.; Rodriguez, P.; Ahn, Y.-Y.; Moon, S.: Analyzing the video popularity characteristics of large-scale user generated content systems. IEEE ACM Transactions on Networking 17 (5), pp. 1357 - 1370 (2009)
175.
Journal Article
Fonseca, P.; Rodrigues, R.; Gupta, A.; Liskov, B.: Full-information lookups for peer-to-peer overlays. IEEE Transactions on Parallel and Distributed Systems 20 (9), pp. 1339 - 1351 (2009)
176.
Journal Article
Backes, M.; Dürmuth, M.; Hofheinz, D.; Küsters, R.: Conditional reactive simulatability. International Journal of Information Security 7 (2), pp. 155 - 169 (2008)
177.
Journal Article
Backes, M.; Pfitzmann, B.: Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security 7 (1), pp. 33 - 54 (2008)
178.
Journal Article
Backes, M.; Pfitzmann, B.; Scedrov, A.: Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. Journal of Computer Security 16 (5), pp. 497 - 530 (2008)
179.
Journal Article
Guerraoui, R.; Kapalka, M.; Kouznetsov, P.: The weakest failure detectors to boost obstruction-freedom. Distributed Computing 20 (6), pp. 415 - 433 (2008)
180.
Journal Article
Guerraoui, R.; Kouznetsov, P.: Failure detectors as type boosters. Distributed Computing 20 (5), pp. 343 - 358 (2008)
Go to Editor View