Orlandi, C., Ostrovsky, R., Rao, V., Sahai, A. & Visconti, I. (2014).
Statistical Concurrent Non-malleable Zero Knowledge. In Y. Lindell (Ed.),
Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, 2014. Proceedings (pp. 167-191). Springer Publishing Company.
https://doi.org/10.1007/978-3-642-54242-8_8
Orlandi, C., Ravi, D. & Scholl, P. (2022).
On the Bottleneck Complexity of MPC with Correlated Randomness. In G. Hanaoka, J. Shikata & Y. Watanabe (Eds.),
Public-Key Cryptography – PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I (pp. 194-220). Springer.
https://doi.org/10.1007/978-3-030-97121-2_8
Oortwijn, W., Huisman, M., Joosten, S. J. C.
& van de Pol, J. (2020).
Automated verification of parallel nested DFS. In A. Biere & D. Parker (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 247-265). Springer.
https://doi.org/10.1007/978-3-030-45190-5_14
Olin, P. A., Issa, A. M.
, Feuchtner, T. & Grønbæk, K. (2020).
Designing for Heterogeneous Cross-Device Collaboration and Social Interaction in Virtual Reality. In N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (Eds.),
Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (pp. 112-127). Association for Computing Machinery.
https://doi.org/10.1145/3441000.3441070
Obremski, M. & Skorski, M. (2017).
Renyi Entropy Estimation Revisited. In J. D. P. Rolim, K. Jansen, D. P. Williamson & S. S. Vempala (Eds.),
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017 (Vol. 81, pp. 20:1-20:15). Article 20 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20
Nygaard, M., Winskel, G., Amadio, R. (Ed.) & Lugiez, D. (Ed.) (2003).
Full Abstraction for HOPLA. In G. Goos, J. van Leeuwen & J. Hartmanis (Eds.),
Lecture Notes in Computer Science: Concur 2003 - Concurrency Theory (Vol. 2761. Mobility, pp. 383-398). Springer.
Nygaard, M., Winskel, G., Brim, L. (Ed.), Jancar, P. (Ed.), Kretínsky, M. (Ed.) & Kucera, A. (Ed.) (2002).
HOPLA: A Higher-Order Process Language. In
Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Vol. 2421, pp. 434-448). Springer.
Nygaard, M., Winskel, G. & Plotkin, G. (Ed.) (2002).
Linearity in Process Languages. In
Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) (pp. 433-446). IEEE Press.
Nunes, F., Verdezoto, N., Fitzpatrick, G.
, Kyng, M., Grönvall, E. & Storni, C. (2015).
Self-Care Technologies in HCI: Trends, Tensions, and Opportunities.
A C M Transactions on Computer - Human Interaction,
22(6), Article 33.
https://doi.org/10.1145/2803173
Nørregaard, P.
, Dindler, C., Fritsch, J.
, Iversen, O. S., Nielsen, C. & Andersen, J. (2003).
NetWorking News - A Method for Engaging Children Actively In Design. In
Proceedings for the 26th Information Systems Research Seminar in Scandinavia (IRIS 26)