출판 A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan Jackson, Sandeep Neema, Janos Sztipanovits 2013 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS) | April 2013
출판 Classification using Perceptrons James McCaffrey Visual Studio Magazine | April 2013 Available online at http://visualstudiomagazine.com/articles/2013/04/01/classification-using-perceptrons.aspx
출판 Prefetching Mobile Ads: Can advertising systems afford it? Prashanth Mohan, Suman Nath, Oriana Riva Proceedings of the 8th European Conference on Computer Systems (EuroSys ’13) | April 2013
출판 Appendix to The Design of Bug Fixes Emerson Murphy-Hill, Tom Zimmermann, Christian Bird, Nachi Nagappan MSR-TR-2013-22 | April 2013 프로젝트
출판 Dandelion: a Compiler and Runtime for Heterogeneous Systems Chris Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin MSR-TR-2013-44 | April 2013
출판 ZØ: An Optimizing Distributing Zero-Knowledge Compiler Matthew Fredrikson, Benjamin Livshits, Ben Livshits MSR-TR-2013-43 | April 2013 added
출판 Better termination proving through cooperation Marc Brockschmidt, Byron Cook, Carsten Fuhs CAV proceedings | April 2013
출판 Joint Social and Content Recommendation for User Generated Videos in Online Social Network Zhi Wang, Lifeng Sun, Wenwu Zhu, Shiqiang Yang, Hongzhi Li, Dapeng Wu IEEE Transactions on Multimedia | April 2013, 제 15 권: pp. 698-709