Home > Publications

Publications

1 - 25 out of 40,942Page size: 25

Sort by: Type

Conference article › Research › Peer-reviewed
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Published
Machine learning for classification of an eroding scarp surface using terrestrial photogrammetry with nir and rgb imagery
Bernsteiner, H., Broåová, N., Eischeid, I., Hamer, A., Haselberger, S., Huber, M., Kollert, A., Vandyk, T. M. & Pirotti, F., 3 Aug 2020, In: ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. 5, 3, p. 431-437 7 p.
Research output: Contribution to journal › Conference article › peer-review
Published
Multiparty compatibility for concurrent objects
Perera, R., Lange, J. & Gay, S. J., 17 Jun 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 211, p. 73-82 10 p.
Research output: Contribution to journal › Conference article › peer-review
Published
On the efficient implementation and time-updating of the linearly constrained minimum variance beamformer
Jakobsson, A. & Alty, S. R., Sep 2006, In: European Signal Processing Conference. p. 1-5 5 p.
Research output: Contribution to journal › Conference article › peer-review
Published
Playing on a Single Chessboard: Corporate Social Responsibility as a Political Activity
Kim, J., 2019, In: Academy of Management Proceedings.
Research output: Contribution to journal › Conference article › peer-review
Published
Polar Code in FSO Communication System for Sea Surface Scenario
An, Q., Dec 2018, In: Proceedings of 2018 IEEE 4th International Conference on Computer and Communications. p. 1-6 6 p.
Research output: Contribution to journal › Conference article › peer-review
Forthcoming
Quo Vadis ICASSP: Echoes of 2019 ICASSP in Brighton, United Kingdom: Signal Processing Meets the Needs of Modern Humankind
Mandic, D., Djuric, P., Cichocki, A., Cheong Took, C., Sanei, S. & Hanzo, L., 1 Sep 2019, (Accepted/In press) In: IEEE Signal Processing Magazine. 36, 5, 9 p.
Research output: Contribution to journal › Conference article › peer-review
Published
Reconceptualizing the Politics of Corporate Responsibility: Uncovering and Addressing Neo-colonial Tendencies
Kim, J., 2020, In: European Group for Organizational Studies (EGOS).
Research output: Contribution to journal › Conference article › peer-review
Published
Secure P2P programming on top of tuple spaces
Benigni, F., Brogi, A., Buchholz, J. L., Jacquet, J. M., Lange, J. & Popescu, R., 2008, In: Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE. p. 54-59 6 p., 4806891.
Research output: Contribution to journal › Conference article › peer-review
Published
Status of the R&D activities for the upgrade of the ALICE TPC
The ALICE collaboration, 2018, In: EPJ Web of Conferences. 174, p. 1-4 4 p., 01006.
Research output: Contribution to journal › Conference article › peer-review

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

Research

Publications

Projects

Activities

Researchers

Departments and groups

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455

Publications

Find an expert