Home > Publications

Publications

38501 - 38525 out of 42,428Page size: 25
  1. Conference contribution › Research
  2. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, (E-pub ahead of print) From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Logical truths in constructive type theory (abstract)

    Luo, Z., 1996, Logic Colloquium 96.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. E-pub ahead of print

    Logics for Actor Networks: A Case Study in Constrained Hybridization

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., 3 Jan 2018, (E-pub ahead of print) Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Springer, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    Longer Keys May Facilitate Side Channel Attacks

    Walter, C. D., 2003, Selected Areas in Cryptography. Matsui, M. & Zuccherato, R. J. (eds.). Springer, Vol. 3006. p. 42-57 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    Longer Randomly Blinded RSA Keys may be Weaker than Shorter Ones

    Walter, C. D., 2008, WISA 2007. Kim, S., Yung, M. & Lee, H-W. (eds.). Springer, Vol. 4867. p. 303-316 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Forthcoming

    Longing to Belong: Nationalism and Sentimentalism in the Second Violin Concertos of Bartók and Szymanowski

    Downes, S., 1 Mar 2020, (Accepted/In press) Polski Rocznik Muzykologiczny. Lindstedt, I. (ed.). Musicologists Section of the Polish Composers' Union/ PWM Edition

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Longitudinal Beam Profile Measurements at CTF3 Using Coherent Diffraction Radiation

    Micheler, M., Blair, G., Boorman, G., Karataev, P., Corsini, R. & Lefevre, T., 2009, Proceedings of PAC09, Vancouver, BC, Canada.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    LONGITUDINAL BEAM PROFILE MEASUREMENTS OF THE MICROBUNCHING INSTABILITY

    Shields, W., Karataev, P., Finn, A., Bartolini, R., Martin, I. P. S. & Rehm, G., Jul 2014, IPAC 2014 - The Fifth International Particle Accelerator Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Longitudinal beam profile monitor at CTF3 based on Coherent Diffraction Radiation

    Micheler, M., Ainsworth, R., Blair, G., Boorman, G., Corsini, R., Lefevre, T. & Lekomtsev, K., 2010, Journal of Physics: Conference Series.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Longitudinal beam profile monitor at CTF3 based on Coherent Diffraction Radiation

    Micheler, M., Ainsworth, R., Blair, G. A., Boorman, G., Corsini, R., Karataev, P., Lefevre, T. & Lekomtsev, K., 2010, VIII INTERNATIONAL SYMPOSIUM ON RADIATION FROM RELATIVISTIC ELECTRONS IN PERIODIC STRUCTURES (RREPS-2009). Strikhanov, MN. & Pivovarov, YL. (eds.). BRISTOL: IOP PUBLISHING LTD, p. - 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    L'Orchestre et la métaphore du vivant de Mozart

    Charlton, D., 1997, Mozart: Les chemins de l'Europe. Massin, B. (ed.). Strasbourg: Editions du Conseil de l'Europe, p. 105-112 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    Loss functions, complexities, and the Legendre transformation

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2001, Proceedings of the Twelfth International Conference on Algorithmic Learning Theory. Abe, N., Khardon, R. & Zeugmann, T. (eds.). London: Springer, p. 181-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    L'Oubli comme mémoire: A propos de l'amitié politique

    O'Brien, J., 2012, Amitié et compagnie. Autour du 'Discours de la Servitude Volontaire' de La Boétie. Paris: Garnier, p. 95-111 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Published

    LP-branching algorithms based on biased graphs

    Wahlström, M., 2017, Proceedings of the 2017 Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, p. 1559-1570 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Published

    Lucky Microseconds: A Timing Attack on Amazon’s s2n Implementation of TLS

    Albrecht, M. & Paterson, K., 28 Apr 2016, Advances in Cryptology – EUROCRYPT 2016: 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I. p. 622-643 22 p. (Lecture Notes in Computer Science; vol. 9665).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Published

    Lucky Thirteen: Breaking the TLS and DTLS Record Protocols

    Al Fardan, N. J. & Paterson, K. G., 2013, 2013 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, p. 526-540 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Published

    Machine Detector Interface for FASER

    FASER Collaboration, 15 Apr 2021, 40th International Conference on High Energy physics (ICHEP2020): PoS (ICHEP2020) 713. Proceedings of Science, Vol. 390.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Published

    Machine-learning applications of algorithmic randomness

    Vovk, V., Gammerman, A. & Saunders, C., 1999, Proceedings of the Sixteenth International Conference on Machine Learning. San Francisco, CA: Morgan Kaufmann, p. 444-453 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Published

    Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe

    Girdzijauskas, S., Chockler, G., Vigfusson, Y., Melamed, R. & Tock, Y., Jul 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). Cambridge, UK: ACM, p. 172-183 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Published

    MAGNETIC RESONANCE MULTI-SEQUENCE THROMBUS IMAGING (MSTI) PREDICTS THROMBUS LYSABILITY IN PATIENTS WITH ACUTE ILIOFEMORAL DEEP VEIN THROMBOSIS (DVT)

    Silickas, J., Phinikaridou, A., Black, S. A., Koloydenko, A., Lavin Plaza, B., Lyons, O., Gwozdz, A., Andia, M., Patel, A., Modarai, B., Botnar, R., Smith, A. & Saha, P., Apr 2019, Joint Meeting of the Royal Society of Medicine / Annual Meeting of the Society of Academic and Research Surgery. Wiley, Vol. 106 (S3). p. 9-9 1 p. O13. (British Journal of Surgery).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Published

    Magnetite Plaquettes Provide an Extraterrestrial Source of Asymmetric Components

    Chan, QHS., Zolensky, ME. & Martinez, JE., 2015, Astrobiology Science Conference 2015.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Published

    Maintaining Concurrency Information for On-the-fly Data Race Detection

    Audenaert, K., D'Hollander, E. (ed.), Joubert, F. J. (ed.) & Trottenberg, F. (ed.), 1998, Parallel Computing: Fundamentals, Applications and New Directions. Bonn, p. 319-326 (Advances in Parallel Computing; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Published

    Making an entrance 2.0: The linguistics of introductory success in virtual communities

    Dove, J. A., Eubanks, D. L., Panteli, N., Watts, L. A. & Joinson, A. N., 2011, Proceedings of the Annual Hawaii International Conference on System Sciences. 5718716

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Published

    Making Automated Testing of Cloud Applications an Integral Component of PaaS

    Bucur, S., Kinder, J. & Candea, G., Jul 2013, Proc. 4th Asia-Pacific Workshop on Systems (APSYS 2013). USENIX

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Published

    Making Home Away from Home: Social Relations and Food Consumption amongst Chinese Students in the UK

    Cappellini, B. & Yen, D. A., 2011, The New World: Macromarketing Yesterday, Today and Tomorrow. Proceedings of the 36thAnnual Macromarketing Conference. p. 227-239

    Research output: Chapter in Book/Report/Conference proceedingConference contribution