[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - An Algebraic Theory of Markov Processes
- 作者Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
- 文件大小786.54KB
- 发表时间2018
- DOI10.1145/3209108.3209177
- 页码679-688
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - AeroquakeKim, Heesoon; Landay, James A. · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - Hiking HacksQuitmeyer, Andrew · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - ShareBoxLaw, Matthew V.; Naaman, Mor; Dell, Nicola · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - BubbleTalkKo, Donghyeon; Kwon, Daye; Kim, Eunjin; Lee, Woohun · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - VMotionSra, Misha; Xu, Xuhai; Mottelson, Aske; Maes, Pattie · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - TrafficoKim, Juntae; Self, James A.; Park, Young-Woo · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - Metaphor CardsLogler, Nick; Yoo, Daisy; Friedman, Batya · 2018
[ACM Press the 2018 - Hong Kong, China (2018.06.09-2018.06.13)] Proceedings of the 2018 on Designing Interactive Systems Conference 2018 - DIS '18 - WristOrigamiZhu, Kening; Fjeld, Morten; Ünlüer, Ayça · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - Going the DistanceCorbett, Eric; Le Dantec, Christopher A. · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - The Problem of Community EngagementCorbett, Eric; Le Dantec, Christopher A. · 2018