Programming Languages and Theory of Computing

Read more
31 - 40 out of 262Page size: 10
Sort by: 1st author
  1. 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

  2. Published

    LightNVM: The Linux Open-Channel SSD Subsystem.

    Bjørling, M., González, J. & Bonnet, Philippe, 2017, FAST. p. 359-374 16 p.

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

  3. Published

    Letter from the Special Issue Editor.

    Bonnet, Philippe, 2020, In: IEEE Data Eng. Bull.. 43, 1, p. 2-3 2 p., 1.

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

  4. Published

    What's Up with the Storage Hierarchy?

    Bonnet, Philippe, 2017, CIDR.

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

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

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

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

  8. Published

    International Workshop on Program Understanding. Proceedings

    Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.

    Research output: Book/Report › Anthology › Research

  9. Published

    Proof complexity of systems of (non-deterministic) decision trees and branching programs

    Buss, S., Das, A. & Knop, A., Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 152).

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

  10. Published

    Multi-Head Adapter Routing for Cross-Task Generalization

    Caccia, L., Ponti, E., Su, Z., Pereira, M., Le Roux, N. & Sordoni, A., 2024. 2 p.

    Research output: Contribution to conference › Paper › Research › peer-review

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