Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
77011 - 77020 out of 99,191Page size: 10
  1. Published

    Trace Sanitizer: Eliminating the Effects of Non-Determinism of Error Propagation Analysis

    Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 23/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Published

    Efficient verification of distributed protocols using stateful model checking

    Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    PBMC: Symbolic slicing for the verification of concurrent programs

    Saissi, H., Bokor, P. & Suri, N., 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, Vol. 9364. p. 344-360 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  4. Published

    Filling Pattern Dependence of Regenerative Beam Breakup Instability in Energy Recovery Linacs

    Saitiniyazi, S., Apsimon, R. & Williams, P., 23/06/2021, In: Physical Review Accelerators and Beams. 24, 6, p. 1-10 10 p., 061003.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    Implications of beam filling patterns on the design of recirculating Energy Recovery Linacs

    Saitiniyazi, S., Apsimon, R. & Williams, P., 17/07/2020, In: Physical Review Accelerators and Beams. 23, 7, 17 p., 072002.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Pushing the Capture Limit of Thermionic Gun Linacs

    Saitiniyazi, S., Castilla Loeza, A., McKenzie, J., Apsimon, R., Militsyn, B., Angal-Kalinin, D. & Burt, G., 16/08/2021, In: Physical Review Accelerators and Beams. 24, 8, 12 p., 080401.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Modelling nonlocal nonlinear spin dynamics in antiferromagnetic orthoferrites

    Saito, Y. & Mikhaylovskiy, RV., 1/09/2022, In: Faraday Discussions. 237, 0, p. 381-388 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Working memory as a construct in cognitive science: An illustrious past and a highly promising future

    Saito, S. & Towse, J., 2007, In: Psychologia. 50, p. 69-75 7 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Acoustic characteristics and learner profiles of low-, mid- and high-level second language fluency

    Saito, K., Ilkan, M., Magne, V., Tran, M. N. & Suzuki, S., 05/2018, In: Applied Psycholinguistics. 39, 3, p. 593-617 25 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    How does longitudinal interaction promote second language speech learning? Roles of learner experience and proficiency levels

    Saito, K., Suzuki, S., Oyama, T. & Akiyama, Y., 1/10/2021, In: Second Language Research. 37, 4, p. 547-571 25 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...7698 7699 7700 7701 7702 7703 7704 7705 ...9920 Next

Back to top