Programming Languages and Theory of Computing

Read more
51 - 75 out of 269Page size: 25
  1. 2022
  2. 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

  3. Published

    Deep Probabilistic Programming Applied Protein Superposition: Protein Structure Prediction and Ancestral Sequence Resurrection

    Sanz Moreta, Lys, 2022, Department of Computer Science, Faculty of Science, University of Copenhagen. 138 p.

    Research output: Book/Report › Ph.D. thesis › Research

  4. Published

    Diagnostics-Guided Explanation Generation

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10445-10453.

    Research output: Contribution to journal › Conference article › Research

  5. Published

    Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

    Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.

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

  6. Published

    Diversity and Inclusion Activities in Database Conferences: A 2021 Report.

    Amer-Yahia, S., Amsterdamer, Y., Bhowmick, S. S., Bonifati, A., Bonnet, P., Borovica-Gajic, R., Catania, B., Cerquitelli, T., Chiusano, S., Chrysanthis, P. K., Curino, C., Darmont, J., Abbadi, A. E., Floratou, A., Freire, J., Jindal, A., Kalogeraki, V., Koutrika, G., Kumar, A., Maiyya, S. & 13 others, Meliou, A., Mohanty, M., Naumann, F., Noack, N. S., Özcan, F., Peterfreund, L., Rahayu, W., Tan, W., Tian, Y., Tözün, P., Vargas-Solar, G., Yadwadkar, N. J. & Zhang, M., 2022, In: SIGMOD Record. 51, 2, p. 69-73 5 p., 2.

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

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

  8. Published

    Events as a Basis for Workflow Scheduling

    Marchant, David Gray, 2022, Proceedings of WORKS 2022: 17th Workshop on Workflows in Support of Large-Scale Science, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, p. 52-59 8 p.

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

  9. Published

    Fact Checking with Insufficient Evidence

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Transactions of the Association for Computational Linguistics. 10, p. 746-763

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

  10. Published

    Fast Control for Reversible Processors

    Mogensen, Torben Ægidius, 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, CA. & Podlaski, K. (eds.). Springer, p. 51-64 (Lecture Notes in Computer Science, Vol. 13354).

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

  11. Published

    From reversible programming languages to reversible metalanguages

    Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.

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

  12. Published

    Hermes: A reversible language for lightweight encryption

    Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.

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

  13. Published

    I/O interface independence with xNVMe.

    Lund, S. A. F., Bonnet, Philippe, Jensen, K. B. A. & González, J., 2022, SYSTOR. p. 108-119 12 p.

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

  14. Published

    Identification of soil type in Pakistan using remote sensing and machine learning

    Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali, Alsabban, W. & Aziz, M. H., 2022, In: PeerJ Computer Science. 8, 19 p., e1109.

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

  15. Published

    Making programs reversible with minimal extra data

    Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480

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

  16. Published

    Memory Optimizations in an Array Language

    Munksgaard, P., Henriksen, Troels, Sadayappan, P. & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, p. 1-15 31

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

  17. Published

    Mixture Models for Spherical Data with Applications to Protein Bioinformatics

    Mardia, K. V., Barber, S., Burdett, P. M., Kent, J. T. & Hamelryck, Thomas Wim, 2022, Directional Statistics for Innovative Applications: A Bicentennial Tribute to Florence Nightingale. Springer, p. 15-32 (Forum for Interdisciplinary Mathematics).

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

  18. Published

    Persistent Topology of Protein Space

    Hamilton, W., Borgert, J. E., Hamelryck, Thomas Wim & Marron, J. S., 2022, Research in Computational Topology 2. Springer, p. 223-244 (Association for Women in Mathematics Series, Vol. 30).

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

  19. Published

    Predicting Bearings Degradation Stages for Predictive Maintenance in the Pharmaceutical Industry.

    Juodelyte, D., Cheplygina, V., Graversen, T. & Bonnet, Philippe, 2022, KDD. p. 3107-3115 9 p.

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

  20. Published

    Preface

    Elsman, Martin, 2022, Proceedings - 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, Inc., p. IV (ACM International Conference Proceeding Series).

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

  21. Published

    Programming Language Design and Implementation

    Mogensen, Torben Ægidius, 2022, Springer. 321 p. (Texts in Computer Science).

    Research output: Book/Report › Book › Research › peer-review

  22. Published

    Reversible programming: a case study of two string-matching algorithms

    Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).

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

  23. Published

    Temporal vectorization: a compiler approach to automatic multi-pumping

    Johnsen, Carl-Johannes, De Matteis, T., Ben-Nun, T., De Fine Licht, J. & Hoefler, T., 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-9 85

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

  24. Published

    VLDB 2021: Designing a Hybrid Conference.

    Tözün, P., Naumann, F., Bonnet, Philippe & Dong, X. L., 2022, In: SIGMOD Record. abs/2202.08069

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

  25. Published

    When is a DAO Decentralized?

    Axelsen, Henrik Bjørn, Jensen, J. R. & Ross, O., 2022, In: Complex Systems Informatics and Modeling Quarterly. 2022, 31, p. 51-75

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

  26. 2021
  27. 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 ...11 Next