Zeitschriftenartikel (252)
221.
Zeitschriftenartikel
60 (3), 22, S. 1 - 50 (2013)
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM 222.
Zeitschriftenartikel
62 (10), S. 949 - 962 (2013)
Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters 223.
Zeitschriftenartikel
22 (4-5), S. 382 - 438 (2012)
Lazy Tree Splitting. Journal of Functional Programming 224.
Zeitschriftenartikel
56 (3), S. 1066 - 1076 (2012)
Delayed Information Cascades in Flickr: Measurement, Analysis, and Modeling. Computer Networks 225.
Zeitschriftenartikel
42 (4), S. 991 - 998 (2012)
The World of Connections and Information Flow in Twitter. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 226.
Zeitschriftenartikel
22 (4&5), S. 477 - 528 (2012)
The Impact of Higher-order State and Control Effects on Local Relational Reasoning. Journal of Functional Programming 227.
Zeitschriftenartikel
20 (4), S. 353 - 391 (2012)
Stateful Authorization Logic - Proof Theory and a Case Study. Journal of Computer Security 228.
Zeitschriftenartikel
55 (2), S. 103 - 111 (2012)
Software Synthesis Procedures. Communications of the ACM 229.
Zeitschriftenartikel
56 (2), S. 642 - 660 (2012)
Adaptive Search Radius – Using hop count to reduce P2P traffic. Computer Networks 230.
Zeitschriftenartikel
12, S. 3147 - 3186 (2011)
Adaptive exact inference in graphical models. Journal of Machine Learning Research 231.
Zeitschriftenartikel
Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', S. 1 - 37 (2011)
232.
Zeitschriftenartikel
34 (1), S. 137 - 150 (2011)
Peer-to-peer multipoint video conferencing with layered video. Journal of Network and Computer Applications 233.
Zeitschriftenartikel
Online First, S. 1 - 46 (2011)
The Locally Nameless Representation. Journal of Automated Reasoning 234.
Zeitschriftenartikel
21, S. 1301 - 1337 (2011)
Provenance as dependency analysis. Mathematical Structures in Computer Science 235.
Zeitschriftenartikel
2011, 895398, S. 1 - 17 (2011)
VCG with Communities on Random Ad Hoc Networks. International Journal of Distributed Sensor Networks 236.
Zeitschriftenartikel
Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, S. 497 - 562 (2011)
237.
Zeitschriftenartikel
abs/1004.2884v2, arXiv:1004.2884v2, S. 1 - 11 (2010)
Refinement type inference via abstract interpretation. CoRR 238.
Zeitschriftenartikel
40 (3), S. 53 - 56 (2010)
Measurement lab: overview and an invitation to the research community. ACM Sigcomm Computer Communication Review 239.
Zeitschriftenartikel
53 (10), S. 72 - 82 (2010)
Peer-to-peer systems. Communications of the ACM 240.
Zeitschriftenartikel
Early View, TDSC.2010.52 (2010)
Automatic reconfiguration for large-scale reliable storage systems. Transactions on Dependable and Secure Computing