Programming Languages and Theory of Computing

  1. 2021
  2. Published

    Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work

    Møller, Naja L. Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, Jul 2021, In: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 219.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Accepted/In press

    A Functional Approach to Accelerating Monte Carlo based American Option Pricing

    Pawlak, Wojciech Michal, Elsman, Martin & Oancea, Cosmin Eugen, 2021, (Accepted/In press) IFL 2019: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. Association for Computing Machinery, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications

    Pawlak, Wojciech Michal, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 p.

    Research output: Book/ReportPh.D. thesisResearch

  5. Published

    Accelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs

    Thegler, A., Johnsen, Carl-Johannes, Skovhede, K. & Vinter, B., 2021, Proceedings - 2021 Concurrent Processes Architectures and Embedded Systems Conference, COPA 2021. IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Graph Traversals as Universal Constructions

    Bhaskar, Siddharth Kasi & Kaarsgaard, R., 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 17. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 202).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Multi-head Self-attention with Role-Guided Masks

    Wang, D., Hansen, Casper, Chaves Lima, Lucas, Hansen, Christian, Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (eds.). Springer, p. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12657 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  8. Published

    Occam to Go translator

    Brolos, M., Johnsen, Carl-Johannes & Skovhede, K., 2021, Proceedings - 2021 Concurrent Processes Architectures and Embedded Systems Conference, COPA 2021. IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Proof-directed program transformation: A functional account of efficient regular expression matching

    Filinski, Andrzej, 2021, In: Journal of Functional Programming. 31, 38 p., e12.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Semantic Classification and Evaluation

    Chaves Lima, Lucas, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 135 p.

    Research output: Book/ReportPh.D. thesisResearch

  11. Published

    Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

    Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Springer, p. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12813 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...17 Next