Programming Languages and Theory of Computing

Read more
41 - 50 out of 257Page size: 10
Sort by: Title
  1. Published

    Blockchain deconstructed

    Henglein, Fritz, 2018. 2 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  2. Published

    Boolean monadic recursive schemes as a logical characterization of the subsequential functions

    Bhaskar, S., Chandlee, J., Jardine, A. & Oakden, C., 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer VS, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12038 LNCS).

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

  3. Published

    Bootstrapping compiler generators from partial evaluators

    Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).

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

  4. Published

    Bounds Checking on GPU

    Henriksen, Troels, 2021, In: International Journal of Parallel Programming. 49, 6, p. 761-775

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

  5. Published

    Branching execution symmetry in Jeopardy by available implicit arguments analysis

    Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14

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

  6. Published

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.

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

  7. Published

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

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

  8. Published

    Building blocks of sharding blockchain systems: Concepts, approaches, and open problems

    Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., Nov 2022, In: Computer Science Review. 46, 44 p., 100513.

    Research output: Contribution to journal › Review › Research › peer-review

  9. Published

    Can AI Moderate Online Communities?

    Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.

    Research output: Working paper › Preprint

  10. 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

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