Conference Paper (918)
881.
Conference Paper
On the Users' Efficiency in the Twitter Information Network. In: Proceedings of the Ninth International Conference on Web and Social Media, pp. 570 - 573 (Ed. Quercia, D.). 9th International Conference on Web and Social Media, Oxford, UK, May 26, 2015 - May 29, 2015. AAAI Press, Palo Alto, CA (2015)
882.
Conference Paper
iThreads: A Threading Library for Parallel Incremental Computation. In: ASPLOS XX, pp. 645 - 659. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Instanbul, Turkey, March 14, 2015 - March 18, 2015. ACM, New York, NY (2015)
883.
Conference Paper
Can Trending News Stories Create Coverage Bias? On the Impact of High Content Churn in Online News Media. In: Computation and Journalism Symposium. Computation and Journalism Symposium, New York, NY, USA, October 02, 2015 - October 03, 2015. (2015)
884.
Conference Paper
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 320 - 332 (Eds. Baier, C.; Tinelli, C.). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK, April 11, 2015 - April 18, 2015. Springer, Berlin (2015)
885.
Conference Paper
The Many Shades of Anonymity: Characterizing Anonymous Social Media Content. In: Proceedings of the 9th International AAAI Conference on Web and Social Media. 9th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2015)
886.
Conference Paper
Program Actions as Actual Causes: A Building Block for Accountability. In: CSF 2015, pp. 261 - 275. 28th Computer Security Foundations Symposium, Verona, Italy, July 13, 2015 - July 17, 2015. IEEE, Piscataway, NJ (2015)
887.
Conference Paper
Quantifying Conformance Using the Skorokhod Metric. In: Computer Aided Verification, pp. 234 - 250 (Eds. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, July 18, 2015 - July 24, 2015. Springer, Berlin (2015)
888.
Conference Paper
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. In: Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, pp. 100 - 114 (Eds. Esparza, J.; Tronci, E.). Sixth International Symposium on Games, Automata, Logics and Formal Verification , Genoa, Italy, September 21, 2015 - September 22, 2015. (2015)
889.
Conference Paper
Model Checking Parameterized Asynchronous Shared-Memory Systems. In: Computer Aided Verification, pp. 67 - 84 (Eds. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, July 18, 2015 - July 24, 2015. Springer, Berlin (2015)
890.
Conference Paper
Analysis of Asynchronous Programs with Event-based Synchronization. In: Programming Languages and Systems, pp. 535 - 559. 24th European Symposium on Programming, London, UK, April 11, 2015 - April 18, 2015. Springer, Berlin (2015)
891.
Conference Paper
Verification of Population Protocols. In: 26th International Conference on Concurrency Theory, pp. 470 - 482 (Eds. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, September 01, 2015 - September 04, 2015. Schloss Dagstuhl, Wadern (2015)
892.
Conference Paper
Co-evolutionary Dynamics of Information Diffusion and Network Structure. In: WWW'15 Companion, pp. 619 - 620. 24th International Conference on World Wide Web , Florence, Italy, May 18, 2015 - May 22, 2015. ACM, New York, NY (2015)
893.
Conference Paper
Back to the Past: Source Identification in Diffusion Networks from Partially Observed Cascades. In: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, pp. 232 - 240 (Eds. Lebaonon, G.; Vishwanathan, S. V. N.). 18th International Conference on Artificial Intelligence and Statistics, San Diego, CA, USA, May 10, 2015 - May 12, 2015. (2015)
894.
Conference Paper
COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution. In: Advances in Neural Information Processing Systems 29, pp. 1945 - 1953 (Eds. Cortes, C.; Lawrence, N. D.; Lee, D. D.; Sugiyama, M.; Garnett, R. et al.). Twenty-ninth Annual Conference on Neural Information Processing Systems, Montréal, Canada, December 07, 2015 - December 12, 2015. Curran, New York, NY (2015)
895.
Conference Paper
Rely-Guarantee Reasoning for Asynchronous Programs. In: 26th International Conference on Concurrency Theory, pp. 483 - 496 (Eds. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, September 01, 2015 - September 04, 2015. Schloss Dagstuhl, Wadern (2015)
896.
Conference Paper
On the Reliability of Profile Matching Across Large Online Social Networks. In: KDD'15, pp. 1799 - 1808. 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Sydney, Australia, August 10, 2015 - August 13, 2015. ACM, New York, NY (2015)
897.
Conference Paper
The Doppelgänger Bot Attack: Exploring Identity Impersonation in Online Social Networks. In: IMC'15, pp. 141 - 153. Internet Measurement Conference , Tokyo, Japan, October 28, 2015 - October 30, 2015. ACM, New York, NY (2015)
898.
Conference Paper
When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems. In: IEEE 36th Real-Time Systems Symposium, pp. 249 - 260. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, December 01, 2015 - December 04, 2015. IEEE Computer Society, Los Alamitos, CA (2015)
899.
Conference Paper
StriSynth: Synthesis for Live Programming. In: ICSE 2015, pp. 701 - 704. 37th IEEE International Conference on Software Engineering, Florence, Italy, May 16, 2015 - May 24, 2015. IEEE, Piscataway, NJ (2015)
900.
Conference Paper
Modular Verification of Concurrency-Aware Linearizability. In: Distributed Computing, pp. 371 - 387 (Ed. Moses, Y.). 29th International Symposium on Distributed Computing, Tokyo, Japan, October 05, 2015 - October 09, 2015. Springer, Berlin (2015)