Streit, M.
, Schulz, H.-J., Lex, A., Schmalstieg, D. & Schumann, H. (2012).
Model-Driven Design for the Visual Analysis of Heterogeneous Data.
IEEE Transactions on Visualization and Computer Graphics,
18(6), 998-1010.
https://doi.org/10.1109/TVCG.2011.108
Gratzer, D., Cavallo, E.
, Kavvos, G. A., Guatto, A.
& Birkedal, L. (2022).
Modalities and Parametric Adjoints.
ACM Transactions on Computational Logic,
23(3), Artikel 18.
https://doi.org/10.1145/3514241
Birkedal, L., Clouston, R., Mannaa, B., Ejlers Møgelberg, R., Pitts, A. M.
& Spitters, B. (2020).
Modal dependent type theory and dependent right adjoints.
Mathematical Structures in Computer Science,
30(2), 118-138.
https://doi.org/10.1017/S0960129519000197
Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H.
, Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023).
Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. I A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (red.),
Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Artikel 34 Association for Computing Machinery.
https://doi.org/10.1145/3565066.3609791
Espitau, T.
, Takahashi, A., Tibouchi, M. & Wallet, A. (2021).
Mitaka: A simpler, parallelizable, maskable variant of Falcon. Afhandling præsenteret på Third PQC Standardization Conference, Washington, USA.
https://csrc.nist.gov/CSRC/media/Events/third-pqc-standardization-conference/documents/accepted-papers/espitau-mitaka-pqc2021.pdf
Espitau, T., Fouque, P.-A., Gérard, F., Rossi, M.
, Takahashi, A., Tibouchi, M., Wallet, A. & Yu, Y. (2022).
MITAKA: A Simpler, Parallelizable, Maskable Variant of Falcon. I O. Dunkelman & S. Dziembowski (red.),
Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (Bind 3, s. 222-253). Springer.
https://doi.org/10.1007/978-3-031-07082-2_9
Grønbæk, J. E., Borowski, M., Hoggan, E., Mackay, W., Beaudouin-Lafon, M.
& Klokmose, C. N. (2023).
Mirrorverse: Live Tailoring of Video Conferencing Interfaces. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.),
UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 14 Association for Computing Machinery.
https://doi.org/10.1145/3586183.3606767
Deuber, D., Döttling, N.
, Magri, B., Malavolta, G. & Thyagarajan, S. A. K. (2020).
Minting Mechanism for Proof of Stake Blockchains. I M. Conti, J. Zhou, E. Casalicchio & A. Spognardi (red.),
Applied Cryptography and Network Security (s. 315-334). Springer.
https://doi.org/10.1007/978-3-030-57808-4_16
Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023).
Minimizing Setup in Broadcast-Optimal Two Round MPC. 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 II (s. 129-158). Springer.
https://doi.org/10.1007/978-3-031-30617-4_5
André, É., Bloemen, V., Petrucci, L.
& Pol, J. V. D. (2019).
Minimal-Time Synthesis for Parametric Timed Automata. I L. Zhang & T. Vojnar (red.),
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, Proceedings: 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 (Bind II, s. 211-228). Springer.
https://doi.org/10.1007/978-3-030-17465-1_12
Frederiksen, T. K., Jakobsen, T. P., Nielsen, J. B., Nordholt, P. S. & Orlandi, C. (2013).
MiniLEGO: Efficient secure two-party computation from general assumptions. I T. Johansson & P. Q. Nguyen (red.),
Advances in Cryptology – EUROCRYPT 2013: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (s. 537-556). Springer VS.
https://doi.org/10.1007/978-3-642-38348-9_32
Faonio, A., Nielsen, J. B. & Venturi, D. (2015).
Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation. I M. M. Halldórsson, K. Iwama, N. Kobayashi & B. Speckmann (red.),
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I (Bind Part 1, s. 456-468). Springer VS.
https://doi.org/10.1007/978-3-662-47672-7_37
Vadicamo, L.
, Mic, V., Falchi, F. & Zezula, P. (2019).
Metric Embedding into the Hamming Space with the n-Simplex Projection. I G. Amato, C. Gennaro, V. Oria & M. Radovanovic (red.),
Similarity Search and Applications - 12th International Conference, SISAP 2019, Proceedings (s. 265-272). Springer.
https://doi.org/10.1007/978-3-030-32047-8_23
Jensen, C. S. (red.), Jermaine, C., Zhou, X. (red.), Kotagiri, R. (red.) & Ooi, B. C. (red.) (2013).
Message from the ICDE 2013 Program Committee and General. I
2013 IEEE 29th International Conference on Data Engineering (ICDE), : Australia, April 8–11, 2013 (s. i-ii). IEEE Communications Society.
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6530811