|< 3 4 5 6 7 >|
CSV
publication icon
Minogue, D. (2024) Putting Principles into Practice: Reflections on a Mock Admissibility Hearing on Open Source Evidence in International Criminal Law before Domestic Courts
publication icon
Szabo, R J (2022) The L-infinity structure of noncommutative gravity in Proceedings of Science
publication icon
Liang L (2017) Effective Verification for Low-Level Software with Competing Interrupts in ACM Transactions on Embedded Computing Systems
publication icon
Bondesan R (2017) Classical topological paramagnetism in Physical Review B
publication icon
Suhaj A (2018) PRODAN differentially influences its local environment. in Physical chemistry chemical physics : PCCP
publication icon
Cárdenas B (2023) A directly charged thermal store for compressed air energy storage systems in Journal of Energy Storage
publication icon
Fordy AP (2017) [Formula: see text] graded discrete Lax pairs and Yang-Baxter maps. in Proceedings. Mathematical, physical, and engineering sciences
publication icon
Claypool, M. (2021) Automation, Architecture and Labour in Intelligent Control: Disruptive Technologies
publication icon
Dickinson David (2014) Microinstabilities in the pedestal region in APS Division of Plasma Physics Meeting Abstracts
publication icon
Wilkinson AJ (2013) Direct detection of electron backscatter diffraction patterns. in Physical review letters
publication icon
Kanso K (2009) Specifying Railway Interlocking Systems in AVoCS'09 -- PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems. Swansea University, Wales, UK, Technical Report of Computer Science CSR-2-2009
publication icon
Stankovski T (2017) Coupling functions: Universal insights into dynamical interaction mechanisms in Reviews of Modern Physics
publication icon
Gutin E (2015) Interdiction Games on Markovian PERT Networks in Management Science
publication icon
Orsi M (2014) Direct Mixing of Atomistic Solutes and Coarse-Grained Water. in Journal of chemical theory and computation