Hoggan, E., Williamson, J., Oulasvirta, A., Nacenta, M., Kristensson, P. O. & Lehtiö, A. (2013).
Multi-touch rotation gestures: Performance and ergonomics. I
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (s. 3047-3050)
Hoggan, E., Nacenta, M., Kristensson, P. O., Williamson, J., Oulasvirta, A. & Lehtiö, A. (2013).
Multi-touch pinch gestures: Performance and ergonomics. I
Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces (s. 219-222)
Beaudouin-Lafon, M., Chapuis, O., Eagan, J. R.
, Gjerlufsen, T., Huot, S.
, Klokmose, C. N., Mackay, W., Nancel, M., Pietriga, E., Pillias, C., Primet, R. & Wagner, J. (2012).
Multi-surface Interaction in the WILD Room.
Computer,
45(4), 48-56.
https://doi.org/10.1109/MC.2012.110
Francati, D., Friolo, D., Malavolta, G.
& Venturi, D. (2023).
Multi-key and Multi-input Predicate Encryption from Learning with Errors. I C. Hazay & M. Stam (red.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III (s. 573-604). Springer.
https://doi.org/10.1007/978-3-031-30620-4_19
Müller, E.
, Assent, I., Günnemann, S., Seidl, T. & Dy, J. (2015).
MultiClust special issue on discovering, summarizing and using multiple clusterings.
Machine Learning,
98(1-2), 1-5.
https://doi.org/10.1007/s10994-014-5445-0
Ciampi, M.
, Siniscalchi, L. & Waldner, H. (2021).
Multi-Client Functional Encryption for Separable Functions. I J. A. Garay (red.),
Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (s. 724-753). Springer.
https://doi.org/10.1007/978-3-030-75245-3_26
Höök, K. H., Jonsson, M., Ståhl, A., Tholander, J., Robertson, T., Marti, P., Svanæs, D.
, Petersen, M. G., Forlizzi, J., Schiphorst, T., Isbister, K., Hummels, C., Klooster, S., Loke, L. & Khut, G. P. (2016).
Move to Be Moved. I
CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 3301-3308). Association for Computing Machinery.
https://doi.org/10.1145/2851581.2856470
Alamdari, S., Angelini, P., Chan, T. M., Di Battista, G., Frati, F., Lubiw, A., Patrignani, M., Roselli, V., Singla, S.
& Wilkinson, B. T. (2013).
Morphing Planar Graph Drawings with a Polynomial Number of Steps.
The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings,
24, 1656-1667.
http://knowledgecenter.siam.org/0236-000137/0236-000137/1
Baum, C., Damgård, I., Lyubashevsky, V.
, Oechsner, S. & Peikert, C. (2018).
More Efficient Commitments from Structured Lattice Assumptions. I D. Catalano & R. De Prisco (red.),
Security and Cryptography for Networks - 11th International Conference, SCN 2018, Proceedings (Bind 11035, s. 368-385). Springer VS.
https://doi.org/10.1007/978-3-319-98113-0_20
Sergey, I., Devriese, D., Might, M.
, Midtgaard, J., Darais, D., Clarke, D. & Piessens, F. (2013).
Monadic abstract interpreters. I H.-J. Boehm (red.),
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13 (s. 399-410). Association for Computing Machinery.
https://doi.org/10.1145/2491956.2491979
Lie, M. A., Thomsen, R., Pedersen, C. N. S., Schiøtt, B. & Christensen, M. H. (2011).
Molecular Docking with Ligand Attached Water Molecules.
Journal of Chemical Information and Modeling,
51(4), 909-917.
https://doi.org/10.1021/ci100510m
Sieczkowski, F., Bizjak, A. & Birkedal, L. (2015).
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages. I C. Urban & X. Zhang (red.),
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (s. 375-390). Springer.
https://doi.org/10.1007/978-3-319-22102-1_25
Nieto, A., Daby-Seesaram, A.
, Gondelman, L., Timany, A. & Birkedal, L. (2023).
Modular Verification of State-Based CRDTs in Separation Logic. I K. Ali & G. Salvaneschi (red.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 22 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ECOOP.2023.22
Nieto, A., Gondelman, L., Reynaud, A.
, Timany, A. & Birkedal, L. (2022).
Modular verification of op-based CRDTs in separation logic.
Proceedings of the ACM on Programming Languages ,
6(OOPSLA2), 1788-1816. Artikel 188.
https://doi.org/10.1145/3563351
Da Rocha Pinto, P.
, Dinsdale-Young, T., Gardner, P. & Sutherland, J. (2016).
Modular termination verification for non-blocking concurrency. I P. Thiemann (red.),
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (Bind 9632, s. 176-201). Springer.
https://doi.org/10.1007/978-3-662-49498-1_8