Home > Publications

Publications

  1. Preprint › Research
  2. A time-dependent scattering approach to core-level spectroscopies

    Zawadzki, K., Nocera, A. & Feiguin, A. E., 11 Feb 2020.

    Research output: Working paperPreprint

  3. Approximating quantum thermodynamic properties using DFT

    Zawadzki, K., Skelt, A. & D'Amico, I., 14 Jan 2022.

    Research output: Working paperPreprint

  4. Published

    Combatting the Effects of Disorder in Quantum State Transfer

    Keele, C. & Kay, A., 24 Mar 2022, 032612 ed., Physical Review A.

    Research output: Working paperPreprint

  5. Effects of Temperature and Magnetization on the Mott-Anderson Physics in one-dimensional Disordered Systems

    Canella, G. A., Zawadzki, K. & França, V. V., 3 Feb 2022.

    Research output: Working paperPreprint

  6. Published

    Noise reducing encoding strategies for spin chains

    Keele, C. & Kay, A., 24 Mar 2022, 032613 ed., Physical Review A.

    Research output: Working paperPreprint

  7. Conference article › Research › Peer-reviewed
  8. Published

    4th international workshop on ontologies and conceptual modeling (Onto.Com)

    De Cesare, S., Gailly, F., Guizzardi, G., Lycett, M., Partridge, C. & Pastor, O., 2016, In: CEUR Workshop Proceedings. 1660

    Research output: Contribution to journalConference articlepeer-review

  9. Published

    A posteriori error bounds for joint matrix decomposition problems

    Colombo, N. & Vlassis, N., Dec 2016, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 4950-4957 8 p.

    Research output: Contribution to journalConference articlepeer-review

  10. Forthcoming

    A Session Subtyping Tool

    Lange, J., Bravetti, M., Bacchiani, L. & Zavattaro, G., 21 Apr 2021, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  11. Published

    Amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.

    Research output: Contribution to journalConference articlepeer-review

  12. Forthcoming

    Automated Verification of Go Programs via Bounded Model Checking

    Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.

    Research output: Contribution to journalConference articlepeer-review

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