Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Nielsen, J. B. & Spitters, B. (2019). Smart Contract Interactions in Coq. (0 udg.) ArXiv.

Nielsen, L. H., Andersen, M. H., Petersen, M. G., Bouvin, N. O. & Hjorth, H. A. (2020). A Collaborative Cross-Device Microworld for Physics Simulation Experiments in High-School. I B. Tangney, J. R. Byrne & C. Girvan (red.), Proceedings of the 2020 Constructionism Conference (s. 119-128). http://www.constructionismconf.org/wp-content/uploads/2020/05/C2020-Proceedings.pdf

Nielsen, J. B. & Spitters, B. (2020). Smart contract interactions in coq. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.), Formal Methods- FM 2019 International Workshops - Revised Selected Papers (s. 380-391). Springer. https://doi.org/10.1007/978-3-030-54994-7_29

Nielsen, K. & Sillasen, M. K. (2019). En tiltrængt røst: Kommentar til Jette Reuss Schmidt "Hvem definerer STEM i skolefag og i skoleforskningen?", MONA, 2019(2). MONA - Matematik- og Naturfagsdidaktik, (3), 102-108. https://tidsskrift.dk/mona/article/view/115588

Nielsen, J. B. & Simkin, M. (2020). Lower bounds for leakage-resilient secret sharing. I A. Canteaut & Y. Ishai (red.), Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 556-577). Springer. https://doi.org/10.1007/978-3-030-45721-1_20

Nielsen, B. B. (2021). Static Analysis for Node.js. Århus Universitet.

Nielsen, B. B. & Møller, A. (2020). Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. I 34th European Conference on Object-Oriented Programming, ECOOP 2020 Artikel 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.16

Nielsen, B. B., Torp, M. T. & Møller, A. (2020). Detecting Locations in JavaScript Programs Affected by Breaking Library Changes. Proceedings of the ACM on Programming Languages , 4(OOPSLA), Artikel 187. https://doi.org/10.1145/3428255

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Modular call graph construction for security scanning of Node.js applications. I C. Cadar & X. Zhang (red.), ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 29-41). Association for Computing Machinery. https://doi.org/10.1145/3460319.3464836

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. I Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021 (s. 74-85). IEEE. https://doi.org/10.1109/ICSE43902.2021.00020

Nielsen, S. D.-H., Liang, N., Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y., Schulz, H.-J. & Dallas, D. C. (2024). Bioactive milk peptides: an updated comprehensive overview and database. Critical Reviews in Food Science and Nutrition, 64(31), 11510-11529. https://doi.org/10.1080/10408398.2023.2240396

Nielsen, E. H., Annenkov, D. & Spitters, B. (2023). Formalising Decentralised Exchanges in Coq. I R. Krebbers, D. Traytel, B. Pientka & S. Zdancewic (red.), CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 290-302). Association for Computing Machinery. https://doi.org/10.1145/3573105.3575685

Newburger, E. & Elmqvist, N. (2024). Visualization According to Statisticians: An Interview Study on the Role of Visualization for Inferential Statistics. IEEE Transactions on Visualization and Computer Graphics, 30(1), 230-239. https://doi.org/10.1109/TVCG.2023.3326521

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (2024). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. Abstract fra 4th Workshop on Artificial Intelligence and Cryptography, Zurich, Schweiz. https://arxiv.org/abs/2403.20190

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (Accepteret/In press). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. I Proceedings of ACNS 2025

Nelson, B., Pagnin, E. & Askarov, A. (2024). Metadata Privacy Beyond Tunneling for Instant Messaging. I Proceedings - 9th IEEE European Symposium on Security and Privacy, EuroS&P 2024 (s. 697-723). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP60621.2024.00044

Neerbek, J., Assent, I. & Dolog, P. (2017). TABOO: Detecting unstructured sensitive information using recursive neural networks. I Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017 (s. 1399-1400). Artikel 7930091 IEEE Computer Society Press. https://doi.org/10.1109/ICDE.2017.195

Neerbek, J., Dolog, P. & Assent, I. (2019). Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings. I Q. Yang, M.-L. Zhang, Z. Gong, S.-J. Huang & Z.-H. Zhou (red.), Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Proceedings: PAKDD '19 (s. 40-53). Springer. https://doi.org/10.1007/978-3-030-16142-2_4

Neerbek, J., Assent, I. & Dolog, P. (2018). Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks. I D. Phung, V. S. Tseng, G. I. Webb, B. Ho, M. Ganji & L. Rashidi (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings: PAKDD '18 (Bind 10939, s. 373-385). Springer VS. https://doi.org/10.1007/978-3-319-93040-4_30

Neerbek, J. (2020). Sensitive Information Detection: Recursive Neural Networks for Encoding Context. Århus Universitet.

Neerbek, J., Eskildsen, M., Dolog, P. & Assent, I. (2020). A real-world data resource of complex sensitive sentences based on documents from the Monsanto trial. I N. Calzolari, F. Bechet, P. Blache, K. Choukri, C. Cieri, T. Declerck, S. Goggi, H. Isahara, B. Maegaard, J. Mariani, H. Mazo, A. Moreno, J. Odijk & S. Piperidis (red.), LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings (s. 1258-1267). European Language Resources Association.

Neele, T. & Pol, J. V. D. (2024). Operations on Fixpoint Equation Systems. Logical Methods in Computer Science, 20(3), 5:1-5:32. https://doi.org/10.46298/LMCS-20(3:5)2024

Nayara Ortiz, J., Ricardo de Araujo, R., Aranha, D. F., Rodrigues Costa, S. I. & Dahab, R. (2021). The Ring-LWE Problem in Lattice-based Cryptography: The Case of Twisted Embeddings. Entropy, 23(9), Artikel 1108. https://doi.org/10.3390/e23091108

Nasir, M. A. U., Aslay, C., de Francisi Morales, G. & Riondato, M. (2021). TipTap: Approximate Mining of Frequent k-Subgraph Patterns in Evolving Graphs. ACM Transactions on Knowledge Discovery from Data, 15(3), 1-35. Artikel 48. https://doi.org/10.1145/3442590

Musaeus, L. H., Nielsen, K., Damsgaard-Madsen, M. & Hansen, J. Ø. (2020). Computational thinking i gymnasiefag: en modelbaseret didaktik. Århus Universitet. https://cs.au.dk/fileadmin/www.cct.au.dk/cctd.au.dk/PDFs/CT-didaktik2020.pdf

Musaeus, L. H., Petersen, M. G., Klokmose, C. N. & Iversen, O. S. (2022). CoTinker - A Toolkit for Supporting Computational Thinking and Collaboration in High School Education. I SIGCSE 2022: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (Bind 2, s. 1025). Association for Computing Machinery. https://doi.org/10.1145/3478432.3499234

Musaeus, L. H., Sørensen, M.-L. S. K., Palfi, B. S., Iversen, O. S., Klokmose, C. N. & Petersen, M. G. (2022). CoTinker: Designing a Cross-device Collaboration Tool to Support Computational Thinking in Remote Group Work in High School Biology. I Participative Computing for Sustainable Futures : Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Artikel 49 Association for Computing Machinery. https://doi.org/10.1145/3546155.3546709

Musaeus, L. H., Van Mechelen, M., Caspersen, M. E. & Iversen, O. S. (2022). Empowerment through computational thinking: A literature survey. Acta Didactica Norden, 16(4), Artikel 1. https://doi.org/10.5617/adno.9152

Musaeus, L. H., Hansen, J. Ø. & Nielsen, K. (2023). Computational thinking i matematik, naturfag og samfundsfag: hvorfor, hvad og hvordan? . MONA - Matematik- og Naturfagsdidaktik, 2023(1), 45-71.

Musaeus, L. H., Petersen, M. G. & Klokmose, C. N. (2024). Bringing Teachers and Researchers together through Participatory Design and Cooperative Prototyping in Computing Education. I SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education (Bind 1, s. 902-908). Association for Computing Machinery. https://doi.org/10.1145/3626252.3630796

Musaeus, L. H. & Musaeus, P. (2024). Computational Thinking and Modeling: A Quasi-Experimental Study of Learning Transfer. Education Sciences, 14(9), Artikel 980. https://doi.org/10.3390/educsci14090980

Munteanu, A., Sohler, C., Schwiegelshohn, C. & Woodruff, D. P. (2018). On coresets for logistic regression. Advances in Neural Information Processing Systems, 2018-December, 6561-6570.

Munro, J. I., Navarro, G., Nielsen, J. A. S. & ShaH, R. (2014). Top- k Term-Proximity in Succinct Space. I H.-K. Ahn & C.-S. Shin (red.), Algorithms and Computation: 25th International Symposium, ISAAC 2014, Proceedings (s. 169-180 ). Springer VS. https://doi.org/10.1007/978-3-319-13075-0_14

Munch-Hansen, A., Orlandi, C. & Yakoubov, S. (2021). Stronger Notions and a More Efficient Construction of Threshold Ring Signatures. I P. Longa & C. Ràfols (red.), Progress in Cryptology – LATINCRYPT 2021 : 7th International Conference on Cryptology and Information Security in Latin America, Proceedings (s. 363-381). Springer. https://doi.org/10.1007/978-3-030-88238-9_18

Munch-Hansen, A. (2023). Quattro Formaggi: Zero-Knowledge from VOLE. Århus Universitet.

Müller-Lennert, M., Dupont-Dupuis, F., Szehr, O., Fehr, S. & Tomamichel, M. (2013). On quantum Rényi entropies: A new generalization and some properties. Journal of Mathematical Physics, 54(12), Artikel 122203. https://doi.org/10.1063/1.4838856

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

Müller, J., Eberle, D. & Schmidt, C. (2015). BaseLase: An Interactive Focus + Context Laser Floor. I B. Begole & J. Kim (red.), CHI '15, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (s. 3869-3878 ). Association for Computing Machinery. http://dx.doi.org/10.1145/2702123.2702246

Müller, J., Oulasvirta, A. & Murray-Smith, R. (2017). Control theoretic models of pointing. ACM Transactions on Computer-Human Interaction, 24(4), Artikel 27. https://doi.org/10.1145/3121431

Müller, J. (2017). Dynamics of pointing with pointer acceleration. I R. Bernhaupt, G. Dalvi, A. Joshi, D. K. Balkrishan, J. O'Neill & M. Winckler (red.), Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Proceedings (Bind 10515 LNCS, s. 475-495). Springer VS. https://doi.org/10.1007/978-3-319-67687-6_33

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Artikel 255. https://doi.org/10.1145/3622831

Muller, E., Assent, I., Iglesias, P., Mülle, Y. & Böhm, K. B. (2012). Outlier Ranking via Subspace Analysis in Multiple Views of the Data. I Proceedings of the 12th IEEE International Conference on Data Mining, ICDM (s. 529 - 538 ). IEEE Communications Society. https://doi.org/10.1109/ICDM.2012.112

Muller, M., Neureiter, K., Verdezoto, N., Krischkowsky, A., Al Zubaidi-Polli, A. M. & Tscheligi, M. (2016). Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies. I Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (s. 473-480). Association for Computing Machinery. https://doi.org/10.1145/2818052.2855508

Mukherjee, P. (2015). Protecting Cryptographic Memory against Tampering Attack. Department of Computer Science, Aarhus University.

Mukherjee, P. & Wichs, D. (2015). Two Round MPC from LWE via Multi-Key FHE. Cryptology ePrint Archive. http://eprint.iacr.org/2015/345

Mueller, F., Petersen, M. G. & Li, Z. (2023). Technology futures: Towards understanding how to design awe-inspiring futures. International Journal of Human Computer Studies, 170, Artikel 102961. https://doi.org/10.1016/j.ijhcs.2022.102961

Mu, Q., Borowski, M., Grønbæk, J. E., Bødker, S. & Hoggan, E. (2024). Whispering Through Walls: Towards Inclusive Backchannel Communication in Hybrid Meetings. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 1032 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642419

Mottin, D., Marascu, A., Basu Roy, S., Das, G., Palpanas, T. & Velegrakis, Y. (2013). A Probabilistic Optimization Framework for the Empty-Answer Problem. PVLDB, 6(14).

Mottin, D., Palpanas, T. & Velegrakis, Y. (2013). Entity ranking using click-log information. Intelligent Data Analysis, 17(5), 837-856.

Viser resultater 751 til 800 ud af 2958

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series