Publications
Scoring of tumor-infiltrating lymphocytes: from visual estimation to machine learning
F Klauschen, K-R Müller, A Binder, M Bockmayr, M Hägele, P Seegerer, S Wienert, G Pruneri, S de Maria, S Badve, S Michiels, TO Nielsen, S Adams, P Savas, F Symmans, S Willis, T Gruosso, M Park, B Haibe-Kains, B Gallas, AM Thompson, I Cree, C Sotiriou, C Solinas, M Preusser, SM Hewitt, D Rimm, G Viale, S Loi, S Loibl, R Salgado, C Denkert, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, Seminars in Cancer Biology, 2018, https://www.sciencedirect.com/science/article/abs/pii/S1044579X1830066X
Static analysis of context leaks in android applications
Flavio Toffalini, Jun Sun, Martín Ochoa, 2018, ICSE (SEIP) 2018: 215-224, ICSE (SEIP) 2018: 215-224, ICSE (SEIP) 2018: 215-224, https://dl.acm.org/doi/10.1145/3183519.3183530
Symbolic Verification of Cache Side-channel Freedom
Sudipta Chattopadhyay, Abhik Roychoudhury, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Task-specific Vision Models Explain Task-specific Areas of Visual Cortex
K. Dwivedi, G. Roig, 2018, bioRxiv:402735, 2018, bioRxiv:402735, 2018
The Limit Points of (Optimistic) Gradient Descent in Min-Max Optimization
Constantinos Daskalakis, Ioannis Panageas, 2018, 32nd Conference on Neural Information Processing Systems (NeurIPS), Montreal, Canada, December 2-8, 2018, 32nd Conference on Neural Information Processing Systems (NeurIPS), Montreal, Canada, December 2-8, 2018
The Structure of Chord Progressions Influences Listeners' Enjoyment and Absorptive States in EDM
Agres K., Herremans D., 2018, 2018, 15th International Conference on Music Perception and Cognition, 2018, 15th International Conference on Music Perception and Cognition
Toward a perpetual IoT system: Wireless power management policy with threshold structure
Yang Zhang, Zehui Xiong, Dusit Niyato, Ping Wang, and Dong In Kim, 2018, IEEE Internet of Things Journal, vol. 5, no. 6, 5254-5270
Towards 'Verifying' a Water Treatment System
Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu, 2018, FM 2018: 73-92, FM 2018: 73-92, FM 2018: 73-92, FM 2018: 73-92, FM 2018: 73-92, https://link.springer.com/chapter/10.1007/978-3-319-95582-7_5
Towards Model Checking Android Applications
Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser, 2018, IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), https://ieeexplore.ieee.org/document/7911333
Towards Sustainable Evolution for the TLS Public-Key Infrastructure
T.Lee, C.Pappas, P.Szalachowski, A.Perrig, 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018