Zeitschriftenartikel (191)

161.
Zeitschriftenartikel
Zamania, M.; van de Wouw, N.; Majumdar, R.: Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters 62 (10), S. 949 - 962 (2013)
162.
Zeitschriftenartikel
Bergstrom, L.; Fluet, M.; Rainey, M.; Reppy, J.; Shaw, A.: Lazy Tree Splitting. Journal of Functional Programming 22 (4-5), S. 382 - 438 (2012)
163.
Zeitschriftenartikel
Cha, M.; Benevenuto, F.; Ahn, Y.-Y.; Gummadi, K. P.: Delayed Information Cascades in Flickr: Measurement, Analysis, and Modeling. Computer Networks 56 (3), S. 1066 - 1076 (2012)
164.
Zeitschriftenartikel
Cha, M.; Benevenuto, F.; Haddadi, H.; Gummadi, K.: The World of Connections and Information Flow in Twitter. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 42 (4), S. 991 - 998 (2012)
165.
Zeitschriftenartikel
Dreyer, D.; Neis, G.; Birkedal, L.: The Impact of Higher-order State and Control Effects on Local Relational Reasoning. Journal of Functional Programming 22 (4&5), S. 477 - 528 (2012)
166.
Zeitschriftenartikel
Garg, D.; Pfennig, F.: Stateful Authorization Logic - Proof Theory and a Case Study. Journal of Computer Security 20 (4), S. 353 - 391 (2012)
167.
Zeitschriftenartikel
Kuncak, V.; Mayer, M.; Piskac, R.; Suter, P.: Software Synthesis Procedures. Communications of the ACM 55 (2), S. 103 - 111 (2012)
168.
Zeitschriftenartikel
Lopes Pereira, R.; Vazão, T.; Rodrigues, R.: Adaptive Search Radius – Using hop count to reduce P2P traffic. Computer Networks 56 (2), S. 642 - 660 (2012)
169.
Zeitschriftenartikel
SĂĽmer, Ă–.; Acar, U. A.; Ihler, A. T.; Mettu, R. R.: Adaptive exact inference in graphical models. Journal of Machine Learning Research 12, S. 3147 - 3186 (2011)
170.
Zeitschriftenartikel
Dreyer, D.; Ahmed, A.; Birkedal, L.: Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', S. 1 - 37 (2011)
171.
Zeitschriftenartikel
Akkus, I. E.; Ă–zkasap, Ă–.; Civanlar, M. R.: Peer-to-peer multipoint video conferencing with layered video. Journal of Network and Computer Applications 34 (1), S. 137 - 150 (2011)
172.
Zeitschriftenartikel
Charguéraud, A.: The Locally Nameless Representation. Journal of Automated Reasoning Online First, S. 1 - 46 (2011)
173.
Zeitschriftenartikel
Cheney, J.; Ahmed, A.; Acar, U. A.: Provenance as dependency analysis. Mathematical Structures in Computer Science 21, S. 1301 - 1337 (2011)
174.
Zeitschriftenartikel
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, S. 1 - 17 (2011)
175.
Zeitschriftenartikel
Neis, G.; Dreyer, D.; Rossberg, A.: Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, S. 497 - 562 (2011)
176.
Zeitschriftenartikel
Jhala, R.; Majumdar, R.; Rybalchenko, A.: Refinement type inference via abstract interpretation. CoRR abs/1004.2884v2, arXiv:1004.2884v2, S. 1 - 11 (2010)
177.
Zeitschriftenartikel
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), S. 53 - 56 (2010)
178.
Zeitschriftenartikel
Rodrigues, R.; Druschel, P.: Peer-to-peer systems. Communications of the ACM 53 (10), S. 72 - 82 (2010)
179.
Zeitschriftenartikel
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)
180.
Zeitschriftenartikel
Druschel, P.: Narrowing the semantic gap in distributed programming. Communications of the ACM 52 (11), S. 86 - 86 (2009)
Zur Redakteursansicht