[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Certified ACKBO
- 作者Lochmann, Alexander; Sternagel, Christian
- 文件大小723.43KB
- 发表时间2019
- DOI10.1145/3293880.3294099
- 页码144-151
Mining the Web for relationsNeel Sundaresan; Jeonghee Yi · 2000
Sales Taxes and Internet Commerce <sup>†</sup>Einav, Liran; Knoepfle, Dan; Levin, Jonathan; Sundaresan, Neel · American Economic Review · 2014
Cloud-Native ApplicationsGannon, Dennis; Barga, Roger; Sundaresan, Neel · IEEE Cloud Computing · 2017
Reputation and Regulations: Evidence from eBayHui, Xiang; Saeedi, Maryam; Shen, Zeqian; Sundaresan, Neel · Management Science · 2016
Auctions Versus Posted Prices in Online MarketsLevin, Jonathan; Einav, Liran; Farronato, Chiara; Sundaresan, Neel · Journal of Political Economy · 2017
AVoN calling: AXL for voice-enabled Web navigationSami Rollins; Neel Sundaresan · 2000
Adverse Selection or Moral Hazard, An Empirical StudyHui, Xiang; Saeedi, Maryam; Sundaresan, Neel · The Journal of Industrial Economics · 2018
Consumer Price Search and Platform Design in Internet CommerceDinerstein, Michael; Einav, Liran; Levin, Jonathan; Sundaresan, Neel · American Economic Review · 2018