Programming Languages and Theory of Computing

Read more
21 - 30 out of 272Page size: 10
Sort by: 1st author
  1. Published

    A simple and efficient universal reversible Turing machine

    Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 117-128 12 p. (Lecture notes in computer science, Vol. 6638).

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

  2. Published

    MicroPower - Towards Low-power Microprocessors with Reversible Computing

    Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

    Research output: Contribution to journal › Journal article › Communication

  3. Published

    Reversible machine code and its abstract processor architecture

    Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

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

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

  5. Published

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.

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

  6. Published

    Shape-Constrained Array Programming with Size-Dependent Types

    Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41

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

  7. Published

    A Generic Type System for Higher-Order Ψ-calculi

    Bendixen, A. R., Bojesen, B. B., Hüttel, Hans & Lybech, S., 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.

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

  8. Published

    Read/write factorizable programs

    Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.

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

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

  10. Published

    Graph Traversals as Universal Constructions

    Bhaskar, S. & 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 proceeding › Article in proceedings › Research › peer-review

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