Konferenzbeitrag (918)
981.
Konferenzbeitrag
SplitX: High-performance Private Analytics. In: SIGCOMM'13, S. 315 - 326. SIGCOMM 2013, Hong Kong, China, 12. August 2013 - 16. August 2013. ACM, New York, NY (2013)
982.
Konferenzbeitrag
A Uniformization Theorem for Nested Word to Word Transductions. In: Implementation and Application of Automata, S. 97 - 108 (Hg. Konstantinidis, S.). 18th International Conference on Implementation and Application of Automata , Halifax, Canada,, 16. Juli 2013 - 19. Juli 2013. Springer, Berlin (2013)
983.
Konferenzbeitrag
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. In: Interactive Theorem Proving, S. 67 - 83 (Hg. Blazy, S.; Paulin-Mohring, C.; Pichardie, D.). 4th International
Conference on Interactive Theorem Provin, Rennes, France, 22. Juli 2013 - 26. Juli 2013. Springer, Berlin (2013)
984.
Konferenzbeitrag
A Computational Approach to Politeness with Application to Social Factors. In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, S. 250 - 259. 51st Annual Meeting of the Association for Computational Linguistics, Sofia, Bulgaria, 04. August 2013 - 09. August 2013. ACL, [s.l.] (2013)
985.
Konferenzbeitrag
No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities. In: WWW'13, S. 307 - 318. 22nd International Conference on World Wide Web, Rio de Janeiro, Brazil, 13. Mai 2013 - 17. Mai 2013. ACM, New York, NY (2013)
986.
Konferenzbeitrag
Synthesis of Fixed-Point Programs. In: Proceedings of the International Conference on Embedded Software, S. 1 - 10. Proceedings of the International Conference on Embedded Software , Montreal, Canada, 29. September 2013 - 04. Oktober 2013. IEEE, Piscataway, NJ (2013)
987.
Konferenzbeitrag
Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. In: ICFP'13, S. 429 - 442. ACM SIGPLAN International Conference on Functional Programming , Boston, MA, USA, 25. September 2013 - 27. September 2013. ACM, New York, NY (2013)
988.
Konferenzbeitrag
Parameterized Verification of Asynchronous Shared-Memory Systems. In: Computer Aided Verification, S. 124 - 140 (Hg. Sharygina, N.; Veith, H.). 25th International Conference on Computer Aided Verification, Saint Petersburg, Russia, 13. Juni 2013 - 19. Juni 2013. Springer, Berlin (2013)
989.
Konferenzbeitrag
The First Workshop on Language Support for Privacy-enhancing Technologies (PETShop'13). In: CCS'13, S. 1085 - 1086. ACM SIGSAC Conference on Computer and Communications Security, Berlin, Germany, 04. November 2013 - 08. November 2013. ACM, New York, NY (2013)
990.
Konferenzbeitrag
On Sampling the Wisdom of Crowds: Random vs. Expert Sampling of the Twitter Stream. In: CIKM'13, S. 1739 - 1744. 22nd ACM International Conference on Information & Knowledge
Management , San Francisco, CA, USA, 27. Oktober 2013 - 01. November 2013. ACM, New York, NY (2013)
991.
Konferenzbeitrag
Model Checking Database Applications. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 549 - 564 (Hg. Piterman, N.; Smolka, S. A.). 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy, 16. März 2013 - 24. März 2013. Springer, Berlin (2013)
992.
Konferenzbeitrag
Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities. In: Proceedings of the 25th Euromicro Conference on Real-Time Systems, S. 69 - 79. 25th Euromicro Conference on Real-Time Systems, Paris, France, 09. Juli 2013 - 12. Juli 2013. IEEE, Los Alamitos, CA (2013)
993.
Konferenzbeitrag
Addressing the Privacy Management Crisis in Online Social Networks. In: WWW '13, S. 841 - 842. 22nd International World Wide Web Conference, Rio de Janeiro, Brazil, 13. Mai 2013 - 17. Mai 2013. ACM, New York, NY (2013)
994.
Konferenzbeitrag
Complete Completion Using Types and Weights. In: PLDI'13, S. 27 - 38. ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, USA, 16. Juni 2013 - 19. Juni 2013. ACM, New York, NY (2013)
995.
Konferenzbeitrag
Aspect-Oriented Linearizability Proofs. In: CONCUR 2013 -- Concurrency Theory, S. 242 - 256 (Hg. D'Argenio, P. R.; Melgratti, H.). 24th Conference on Concurrency Theory , Buenos Aires, Argentina, 27. August 2013 - 30. August 2013. Springer, Berlin (2013)
996.
Konferenzbeitrag
A Theory of Name Boundedness. In: CONCUR 2013 -- Concurrency Theory, S. 182 - 196 (Hg. D'Argenio, P. R.; Melgratti, H.). 24th Conference on Concurrency Theory, Buenos Aires, Argentina, 27. August 2013 - 30. August 2013. Springer, Berlin (2013)
997.
Konferenzbeitrag
The Power of Parameterization in Coinductive Proof. In: POPL'13, S. 193 - 206. 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, 23. Januar 2013 - 25. Januar 2013. ACM, New York, NY (2013)
998.
Konferenzbeitrag
Supervisor Synthesis for Controller Upgrades. In: Design, Automation & Test in Europe, S. 1105 - 1110 (Hg. Preas, K.). DATE 2013, Grenoble, France, 18. März 2013 - 22. März 2013. IEEE, Piscataway, NJ (2013)
999.
Konferenzbeitrag
Incremental, Inductive Coverability. In: Computer Aided Verification, S. 158 - 173 (Hg. Sharygina, N.; Veith, H.). 25th International Conference on Computer Aided Verification, Saint Petersburg, Russia, 13. Juni 2013 - 19. Juni 2013. Springer, Berlin (2013)
1000.
Konferenzbeitrag
Internalizing Relational Parametricity in the Extensional Calculus of Constructions. In: Computer Science Logic 2013, S. 432 - 451 (Hg. Ronchi Della Rocca, S.). 22nd Annual Conference of the EACSL, Torino, Italy, 02. September 2013 - 05. September 2013. Schloss Dagstuhl, Wadern (2013)