Home > Publications

Publications

  1. Conference article › Research › Peer-reviewed
  2. 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

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

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

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

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

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

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

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

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

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

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