Home > Publications

Publications

« Simple search

Reset

to
1 - 25 out of 42,619Page size: 25
Sort by: Type
  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 paper › Preprint

  3. Approximating quantum thermodynamic properties using DFT

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

    Research output: Working paper › Preprint

  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 paper › Preprint

  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 paper › Preprint

  6. Published

    Noise reducing encoding strategies for spin chains

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

    Research output: Working paper › Preprint

  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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-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 journal › Conference article › peer-review

  26. Published

    Institutional Distance and Multinationals’ Social Irresponsibility: A Subsidiary Perspective

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

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

  27. Forthcoming

    Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

    Imai, K., Lange, J. & Neykova, R., 24 Dec 2021, (Accepted/In press) In: Lecture Notes in Computer Science. TACAS 2022

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

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

Find an expert

Research
Publications
Projects
Activities
Researchers
Departments and groups