Home > Publications

Publications

41261 - 41270 out of 43,264Page size: 10
  1. Published

    Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent

    Cohen, L. & Rowe, R., 4 Sep 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 119. p. 17:1-17:16 16 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  2. Published

    Uniform, integral and efficient proofs for the determinant identities

    Tzameret, I. & Cook, S., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, Vol. 32. p. 1-12 12 p.

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

  3. Published

    Uniform, Integral, and Feasible Proofs for the Determinant Identities

    Tzameret, I. & Cook, S., Jan 2021, In: Journal of the ACM. 68, 2, 80 p., 12.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Unifying casualty distributions withing and across conflicts

    Spagat, M., Van Weezel, S., Johnson Restrepo, D. D., Zheng, M. & Johnson, N. F., Aug 2020, In: Heliyon. 6, 8, 4 p., e04808.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, COMPASS/ADT. Springer, Vol. 1130. p. 81-101 21 p. (Lecture Notes in Computer Science).

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

  6. E-pub ahead of print

    Unilateral divorce for women and labor supply in the Middle East and North Africa: the effect of Khul reform.

    Hassani Nezhad, L. & Sjogren, A., 14 Jul 2014, (E-pub ahead of print) In: Feminist Economics. 20, 4, p. 113-137

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Unilateral or reciprocal climate policy? Experimental evidence from China

    Bernauer, T., Dong, L., McGrath, L. F., Shaymerdenova, I. & Zhang, H., 8 Sep 2016, In: Politics and Governance. 4, 3, p. 152-171 20 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Unilateral Standards for Social Responsibility: Corporations as Social Watchdogs?

    Spence, L. & Bourlakis, M., Aug 2009, School of Management - Royal Holloway University of London, Egham, Surrey, TW20 0EX, (Working Paper; no. SoMWP0908).

    Research output: Working paper

  9. In preparation

    Unimagined realities: Documentary, storytelling and surrealism in the work of Raúl Cañibano

    Kent, J. C., 1 Sep 2022, (In preparation) In: Photography and Culture.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Unimplementable by design? Understanding (non-)compliance with International Monetary Fund policy conditionality

    Reinsberg, B., Stubbs, T. & Kentikelenis, A., Jul 2022, In: Governance. 35, 3, p. 689-715

    Research output: Contribution to journalArticlepeer-review