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

  13. Published

    Bayesian semi-supervised learning with graph Gaussian processes

    Ng, Y. C., Colombo, N. & Silva, R., 3 Dec 2018, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 1690-1701 12 p.

    Research output: Contribution to journalConference articlepeer-review

  14. Published

    Bird Song Synthesis Based on Hidden Markov Models

    Bonada, J., Lachlan, R. & Blaauw, M., Sep 2016, In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 08-12-September-2016, p. 2582-2586 5 p.

    Research output: Contribution to journalConference articlepeer-review

  15. Published

    Bounded verification of message-passing concurrency in Go using Promela and Spin

    Dilley, N. & Lange, J., 3 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 314, p. 34-45 12 p.

    Research output: Contribution to journalConference articlepeer-review

  16. Published

    Canonical Automata via Distributive Law Homomorphisms

    Zetzsche, S., van Heerdt, G., Sammartino, M. & Silva, A., 29 Dec 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 351, p. 296-313 18 p.

    Research output: Contribution to journalConference articlepeer-review

  17. Published

    Choreography synthesis as contract agreement

    Lange, J. & Scalas, A., 15 Oct 2013, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.

    Research output: Contribution to journalConference articlepeer-review

  18. Published

    Collimation of heavy-ion beams in the HE-LHC

    Abramov, A., Bruce, R., Crouch, M., Fuster-Martinez, N., Mereghetti, A., Molson, J., Nevay, L. J. & Redaelli, S., 2 Dec 2019, In: Journal of Physics: Conference Series. 1350, 1, p. 1-7 7 p., 012072.

    Research output: Contribution to journalConference articlepeer-review

  19. Published

    Collimation system studies for the FCC-hh

    Bruce, R., Abramov, A., Bertarelli, A., Besana, M. I., Carra, F., Cerutti, F., Faus-Golfe, A., Fiascaris, M., Gobbi, G., Krainer, A., Lechner, A., Mereghetti, A., Mirarchi, D., Molson, J., Pasquali, M., Redaelli, S., Schulte, D., Serluca, M., Skordis, E. & Varasteh, M., 2 Dec 2019, In: Journal of Physics: Conference Series. 1350, 1, p. 1-7 7 p., 012009.

    Research output: Contribution to journalConference articlepeer-review

  20. Published

    Compact neutron generators for the calibration of low background experiments

    Chepurnov, A. S., Gromov, M. B., Ionidi, V. Y., Kaplii, A. A., Kirsanov, M. A., Klenin, A. A., Kolesnikov, D. A., Kubankin, A. S., Maslenkina, A. Y., Oleinik, A. N., Selivanova, D. A. & Shchagin, A. V., 29 Nov 2019, In: Journal of Physics: Conference Series. 1390, 1, p. 1-4 4 p., 012103.

    Research output: Contribution to journalConference articlepeer-review

  21. Published

    Eeg Connectivity - Informed Cooperative Adaptive Line Enhancer for Recognition of Brain State

    Sanei, S., Cheong Took, C., Jarchi, D. & Prochazke, A., 14 May 2020, In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 5 p.

    Research output: Contribution to journalConference articlepeer-review

  22. Environmental Management Systems and Sustainability in SMEs

    Shah, S., Ganji, E. & Hasan, S., 21 Oct 2016, In: MATEC Web of Conferences. 76, 02006.

    Research output: Contribution to journalConference articlepeer-review

  23. Evaluation of Sustainable Practices within Project Management Methods

    Shah, S., Naghi Ganji, E. & Coutroubis, A., 4 Oct 2017, In: MATEC Web of Conferences. 125, 02002.

    Research output: Contribution to journalConference articlepeer-review

  24. Forthcoming

    Fair Refinement for Asynchronous Session Types

    Bravetti, M., Lange, J. & Zavattaro, G., 22 Dec 2020, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  25. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In: Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference articlepeer-review

  26. Published

    Impacts of a reduction in 11 kV voltage settings in South Wales

    Shaddick, G., Green, A. & Watson, M., 1 Oct 2017, In: CIRED - Open Access Proceedings Journal. 2017, 1, p. 2346-2349 4 p.

    Research output: Contribution to journalConference articlepeer-review

  27. Published

    Institutional Distance and Multinationals’ Social Irresponsibility: A Subsidiary Perspective

    Kim, J., 2021, In: Academy of International Business.

    Research output: Contribution to journalConference articlepeer-review

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