CSV
publication icon
Nalon C (2023) Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic in Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
publication icon
Beckett A (2021) The relationship between gas and galaxies at z  < 1 using the Q0107 quasar triplet in Monthly Notices of the Royal Astronomical Society
publication icon
Drouhin P (2015) A Copper-Mediated Oxidative Coupling Route to 3 H - and 1 H -Indoles from N -Aryl-enamines in European Journal of Organic Chemistry
publication icon
Barton D (2016) Control-Based Continuation of a Hybrid Numerical/Physical Substructured System in Nonlinear Dynamics, Volume 1 - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
publication icon
Olivucci M (2021) Unlocking the Double Bond in Protonated Schiff Bases by Coherent Superposition of S 1 and S 2 in The Journal of Physical Chemistry Letters
publication icon
Tyndall A (2013) Two rings but no fellowship: LoTr 1 and its relation to planetary nebulae possessing barium central stars in Monthly Notices of the Royal Astronomical Society