Home > Publications

Publications

38551 - 38575 out of 41,689Page size: 25
  1. Conference contribution › Research
  2. Forthcoming

    Solo singing at the Comédie-Italienne, 1716 to c.1752

    Charlton, D., 2018, (Accepted/In press) La Comédie-Italienne de Paris, 1716-1780. Fabiano, A. & De Luca, E. (eds.). Paris: Presses de l'Université Paris-Sorbonne

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

  3. Published

    Solving hard cut problems via flow-augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., Jan 2021, Proceedings of SODA 2021. 20 p.

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

  4. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

    Biely, M., Robinson, P. & Schmid, U., 2011, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. p. 1488-1495 8 p.

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

  5. Published

    Solving SAT for CNF formulas with a one-sided variable occurrence restriction

    Johannsen, D., Razgon, I. & Wahlström, M., 2009, Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009. Kullmann, O. (ed.). Swansea, Wales, United Kingdom: Springer, Vol. 5584. p. 80-85 6 p. (Lecture Notes in Computer Science).

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

  6. E-pub ahead of print

    Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

    Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

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

  7. Published

    Some Algebraic Aspects of the Advanced Encryption Standard

    Cid, C., 2004, Advanced Encryption Standard - AES 2004, 4th International Conference. Berlin: Springer, Vol. 3373. p. 58-66 9 p. (Lecture Notes in Computer Science; vol. 3373).

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

  8. Published

    Some observations on colour and imitation in Roman material culture

    Claridge, A., 2020, Color, lujo y moda en la epoca romana: Piedras preciosas y ornamentales y sus imitationes. Cisneros Cunchillos, M. (ed.). Madrid: Archivo Español de Arqueología

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

  9. Published

    Some proof-theoretic and algorithmic aspects of coercive subtyping

    Jones, A., Luo, Z. & Soloviev, S., 1998, Types for proofs and programs, Proc. of the Inter. Conf. TYPES'96, LNCS 1512.

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

  10. Published

    Some Security Aspects of the MIST Randomized Exponentiation Algorithm

    Walter, C. D., 2003, CHES 2002. Jr., B. S. K., Koç, Ç. K. & Paar, C. (eds.). Springer, Vol. 2523. p. 276-290 15 p. (Lecture Notes in Computer Science).

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

  11. Published

    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

    Fiadeiro, J. L. & Maibaum, T. S. E., 1994, ICTL. Springer, Vol. 827. p. 48-66 19 p. (Lecture Notes in Computer Science).

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

  12. Published

    Sound regular expression semantics for dynamic symbolic execution of JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.

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

  13. Published

    Sources du droit, commerce international, éthiques et marchés - 50 ans de travaux de l'école de Dijon: is Lex Sportiva a rule or a contract

    Valladares Pacheco de Oliveira, L., 1 Jan 2020, Sources du droit, commerce international, éthiques et marchés - 50 ans de travaux de l'école de Dijon. Fortier, C. (ed.). France, Vol. 53. p. 57-59 3 p.

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

  14. Published

    South Asia and West Asia from the Delhi Sultanate to the Present: Security, Resources and Influence

    Robinson, F., 2012, Working Papers: Symposium on the Academic Chairs of His Majesty Sultan Qaboos bin Said and their Contribution to the Development of Human Knowledge. Muscat: Ministry of Higher Education, Oman, p. 74-86 13 p.

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

  15. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Spiegelman, A., Cassuto, Y., Chockler, G. & Keidar, I., 25 Jul 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

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

  16. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., Jul 2017, PODC '17: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, p. 83-92 10 p.

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

  17. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I., 8 Jul 2014, Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS).

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

  18. Published

    Spatial and temporal volcanotectonic evolution of Santorini volcano

    Drymoni, K., Browning, J. & Gudmundsson, A., 2020, COV 11.

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

  19. Unpublished

    Speaking-in-the-last-instance: Non-Standard Usage, Superposition, and the (H)interlinguistic State

    Hazell, C., 2019, (Unpublished) TUJ Philosophy Lecture Series. 12 p.

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

  20. Published

    Special Session: ‘Disposing: Constructing and Structuring Consumption’

    Türe, M., 2011, NA - Advances in Consumer Research Volume . Vol. 39.

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

  21. Published

    Specialist Experts for Prediction with Side Information

    Kalnishkan, Y., Adamskiy, D., Chernov, A. & Scarfe, T., 2016, 2015 IEEE International Conference on Data Mining Workshop (ICDMW). IEEE, p. 1470-1477 8 p.

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

  22. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, (E-pub ahead of print) 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, p. 99-108 10 p.

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

  23. Published

    Specification of Required Non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. L. & Lopes, A., 1997, FME. Springer, Vol. 1313. p. 298-317 20 p. (Lecture Notes in Computer Science).

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

  24. Published

    Specifying and enforcing constraints in role-based access control

    Crampton, J., 2003, Proceedings of 8th ACM Symposium on Access Control Models and Technologies. ACM Press, p. 43-50 8 p.

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

  25. Published

    Spectral clustering of protein sequences

    Paccanaro, A., Trifonov, V., Yu, H. & Gerstein, M. B., 2005, International Joint Conference on Neural Networks. p. 161-166

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

  26. Published

    Spectral clustering of protein sequences using sequence-profile scores

    Sasidharan, R., Gerstein, M. B. & Paccanaro, A., 2006, Proceedings of ICNPSC – 3rd International Conference on Neural Parallel and Scientific Computations.

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