Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2019).
Guarded Cubical Type Theory.
Journal of Automated Reasoning,
63(2), 211-253.
https://doi.org/10.1007/s10817-018-9471-7,
https://doi.org/10.1007/s10817-018-9471-7
Saatci, B., Rädle, R., Rintel, S., O'Hara, K.
& Klokmose, C. N. (2019).
Hybrid Meetings in the Modern Workplace: Stories of Success and Failure. 45-61. Paper presented at International Conference on Collaboration and Technology, Kyoto, Japan.
Mathisen, A., Horak, T.
, Klokmose, C. N., Grønbæk, K. & Elmqvist, N. (2019).
InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics.
Computer Graphics Forum,
38(3), 649-661.
https://doi.org/10.1111/cgf.13717
Arge, L., Grønlund, A., Svendsen, S. C. & Tranberg, J. (2019).
Learning to find hydrological corrections. In F. Banaei-Kashani, G. Trajcevski, R. H. Güting, L. Kulik & S. Newsam (Eds.),
27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL '19) (pp. 464-467). Association for Computing Machinery. GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems
https://doi.org/10.1145/3347146.3359095
Schulz, H-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019).
Lightweight Coordination of Multiple Independent Visual Analytics Tools. In A. Kerren, C. Hurter & J. Braz (Eds.),
Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Vol. 2, pp. 106-117). SCITEPRESS Digital Library.
https://doi.org/10.5220/0007571101060117
Grønlund, A., Kamma, L., Larsen, K. G., Mathiasen, A. & Nelson, J. (2019).
Margin-Based Generalization Lower Bounds for Boosted Classifiers. In H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (Eds.),
Advances in Neural Information Processing Systems 32 (NIPS 2019) Neural Information Processing Systems Foundation.
https://arxiv.org/abs/1909.12518
André, É., Bloemen, V., Petrucci, L.
& Pol, J. V. D. (2019).
Minimal-Time Synthesis for Parametric Timed Automata. In T. Vojnar & L. Zhang (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Vol. II, pp. 211-228). Springer. Lecture Notes in Computer Science Vol. 11428
https://doi.org/10.1007/978-3-030-17465-1
Dijk, T. V., Meijer, J.
& van de Pol, J. (2019).
Multi-core On-The-Fly Saturation. In
Tools and Algorithms for the Construction and Analysis of Systems, 25th International Conference, (TACAS) 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, (ETAPS) 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II (pp. 58-75). Springer. Lecture Notes in Computer Science Vol. 11428
https://doi.org/10.1007/978-3-030-17465-1_4
Damgård, I. B., Escudero Ospina, D. E., Frederiksen, T. K., Keller, M.
, Scholl, P. & Volgushev, N. (2019).
New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning. In
2019 IEEE Symposium on Security and Privacy (SP) IEEE.
https://doi.org/10.1109/SP.2019.00078
Eskildsen, S., Iranzo, A.
, Stokholm, M., Staer, K., Ostergaard, K., Eroles, M.
, Otto, M., Svendsen, K., Pla, A., Vilas, D.
, Borghammer, P., Santamaria, J.
, Moller, A., Gaig, C.
, Brooks, D., Tolosa, E.
, Ostergaard, L. & Pavese, N. (2019).
Occurrence of brain capillary dysfunction in patients with REM sleep behavior disorder. S786-S787. Abstract from International Congress of Parkinson's Disease and Movement Disorders, Nice, France.
Piras, E. M., Cabitza, F., Lewkowicz, M.
& Bannon, L. (2019).
Personal Health Records and Patient-Oriented Infrastructures: Building Technology, Shaping (New) Patients, and Healthcare Practitioners.
Computer Supported Cooperative Work: CSCW: An International Journal,
28(6), 1001-1009.
https://doi.org/10.1007/s10606-019-09364-x
Safavi, T., Belth, C., Faber, L.
, Mottin, D., Müller, E. & Koutra, D. (2019).
Personalized Knowledge Graph Summarization: From the Cloud to Your Pocket. Paper presented at IEEE International Conference on Data Mining, Beijing, China.
https://web.eecs.umich.edu/~dkoutra/papers/19_ICDM_GLIMPSE-CR.pdf
Agarwal, A.
, Dowsley, R., McKinney, N. D., Wu, D., Lin, C. T., Cock, M. D. & Nascimento, A. (2019).
Privacy-Preserving Linear Regression for Brain-Computer Interface Applications. In Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (Eds.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (pp. 5277-5278). [8621861] IEEE.
https://doi.org/10.1109/BigData.2018.8621861
Fritchman, K., Saminathan, K.
, Dowsley, R., Hughes, T., De Cock, M., Nascimento, A. & Teredesai, A. (2019).
Privacy-Preserving Scoring of Tree Ensembles: A Novel Framework for AI in Healthcare. In Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (Eds.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (pp. 2413-2422). [8622627] IEEE.
https://doi.org/10.1109/BigData.2018.8622627
Bhagat, S., Saminathan, K., Agarwal, A.
, Dowsley, R., De Cock, M. & Nascimento, A. (2019).
Privacy-Preserving User Profiling with Facebook Likes. In Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (Eds.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (pp. 5298-5299). [8622081] IEEE.
https://doi.org/10.1109/BigData.2018.8622081
Agarwal, A.
, Dowsley, R., McKinney, N. D., Wu, D., Lin, C-T., De Cock, M. & Nascimento, A. C. A. (2019).
Protecting Privacy of Users in Brain-Computer Interface Applications.
IEEE Transactions on Neural Systems and Rehabilitation Engineering,
27(8), 1546-1555.
https://doi.org/10.1109/TNSRE.2019.2926965