Programming Languages and Theory of Computing

Read more
51 - 75 out of 271Page size: 25
Sort by: Title
  1. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  2. Published

    Certified Compilation of Financial Contracts

    Annenkov, D. & Elsman, Martin, 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: Association for Computing Machinery, p. 5:1-5:13

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Classifying VAT Legislation for Automation

    Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

    Research output: Contribution to conference › Paper › Research

  4. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338

    Research output: Contribution to journal › Journal article › Research › peer-review

  5. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  6. Published

    Combinatory Adjoints and Differentiation

    Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Comparing Trace Similarity Metrics Across Logs and Evaluation Measures

    Back, C.O. & Simonsen, Jakob Grue, 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (eds.). Springer, p. 226-242 17 p. (Lecture Notes in Computer Science, Vol. 13901)).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. Published

    Compiling a functional array language with non-semantic memory information

    Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.

    Research output: Contribution to conference › Paper › Research

  9. Published

    Compiling generalized histograms for GPU

    Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  10. Published

    Complex-valued Neural Network-based Quantum Language Models

    Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Information Systems. 40, 4, 31 p., 84.

    Research output: Contribution to journal › Journal article › Research › peer-review

  11. Published

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  12. Published

    Compositional Specification of Commercial Contracts

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  13. Published

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

    Research output: Book/Report › Report › Communication

  14. Published

    Compositional deep learning in Futhark

    Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, p. 47-59

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  15. Published

    Computing with Infinite Terms and Infinite Reductions

    Ketema, J. & Simonsen, Jakob Grue, 2019, In: Fundamenta Informaticae. 170, 4, p. 339-365 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  16. Published

    Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

    Kaarsgaard, R., Jan 2019, In: Electronic Notes in Theoretical Computer Science. 347, p. 179-202

    Research output: Contribution to journal › Journal article › Research › peer-review

  17. Published

    Cons-free programs and complexity classes between LOGSPACE and PTIME

    Jones, N. D., Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2020, In: Electronic Proceedings in Theoretical Computer Science. 320, p. 65-79

    Research output: Contribution to journal › Conference article › Research › peer-review

  18. Published

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  19. Published

    Constructing a binary tree from its traversals by reversible recursion and iteration

    Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  20. Published

    Content-aware Neural Hashing for Cold-start Recommendation

    Hansen, C., Hansan, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 971-980 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  21. Published

    Contextual compositionality detection with external knowledge bases and word embeddings

    Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 317-323 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  22. Published

    Contextually propagated term weights for document representation

    Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 18 Jul 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  23. Published

    DAPHNE: An Open and Extensible System Infrastructure for Integrated Data Analysis Pipelines.

    Damme, P., Birkenbach, M., Bitsakos, C., Boehm, M., Bonnet, P., Ciorba, F. M., Dokter, M., Dowgiallo, P., Eleliemy, A., Faerber, C., Goumas, G. I., Habich, D., Hedam, N., Hofer, M., Huang, W., Innerebner, K., Karakostas, V., Kern, R., Kosar, T., Krause, A. & 21 others, Krems, D., Laber, A., Lehner, W., Mier, E., Paradies, M., Peischl, B., Poerwawinata, G., Psomadakis, S., Rabl, T., Ratuszniak, P., Silva, P., Skuppin, N., Starzacher, A., Steinwender, B., Tolovski, I., Tözün, P., Ulatowski, W., Wrosz, I. P., Zamuda, A., Zhang, C. & Zhu, X., 2022, CIDR.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  24. Published

    DLT Compliance Reporting

    Jensen, J. R., Axelsen, Henrik Bjørn & Ross, Omry, 2023, In: Complex Systems Informatics and Modeling Quarterly. 2023, 35, p. 92-103 12 p., 195.

    Research output: Contribution to journal › Journal article › Research › peer-review

  25. Published

    Data-parallel flattening by expansion

    Elsman, Martin, Henriksen, Troels & Serup, N. G. W., 8 Jun 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (ed.). Association for Computing Machinery, p. 14-24

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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