A self-healing ferroelectric liquid crystal electro-optic shutter based on vertical surface-relief grating alignment von Wyatt, Peter J. M., Bailey, James, Nagaraj, Mamatha, Jones, J. Cliff

Volltext

Three Early Formal Approaches to the Verification of Concurrent Programs von Jones, Cliff B.

Volltext

Self-assembly of fractal liquid crystal colloids von Solodkov, Nikita V., Shim, Jung-uk, Jones, J. Cliff

Volltext

Lipid coated liquid crystal droplets for the on-chip detection of antimicrobial peptides von Bao, Peng, Paterson, Daniel A, Harrison, Patrick L, Miller, Keith, Peyman, Sally, Jones, J. Cliff, Sandoe, Jonathan, Evans, Stephen D, Bushby, Richard J, Gleeson, Helen F

Volltext

Liquid Crystal Devices for Beam Steering Applications von Morris, Rowan, Jones, J Cliff, Nagaraj, Mamatha

Volltext

Extending rely-guarantee thinking to handle real-time scheduling von Jones, Cliff B., Burns, Alan

Volltext

Production of giant unilamellar vesicles and encapsulation of lyotropic nematic liquid crystals von Bao, Peng, Paterson, Daniel A, Peyman, Sally A, Jones, J. Cliff, Sandoe, Jonathan A. T, Gleeson, Helen F, Evans, Stephen D, Bushby, Richard J

Volltext

Electrically Driven Rotation and Nonreciprocal Motion of Microparticles in Nematic Liquid Crystals von Solodkov, Nikita V., Saxena, Antariksh, Jones, J. Cliff

Volltext

The fiftieth anniversary of the liquid crystal display von Jones, J. Cliff

Volltext

The Control of Director Fields in Phospholipid-Coated Liquid Crystal Droplets von Paterson, Daniel A, Bao, Peng, Abou-Saleh, Radwa Hassan, Peyman, Sally, Jones, Cliff J, Sandoe, Jonathan, Evans, Stephen D, Gleeson, Helen F, Bushby, Richard J

Volltext

Switchable Liquid Crystal Contact Lenses for the Correction of Presbyopia von Bailey, James, Morgan, Philip, Gleeson, Helen, Jones, J.

Volltext

Deriving Specifications of Control Programs for Cyber Physical Systems von Burns, Alan, Hayes, Ian J, Jones, Cliff B

Volltext

Specifying and Reasoning About Shared-Variable Concurrency von Hayes, Ian J., Jones, Cliff B., Meinicke, Larissa A.

Volltext

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example von Jones, Cliff B., Yatapanage, Nisansala

Volltext

Chiral nematic liquid crystal droplets as a basis for sensor systems von Paterson, Daniel A, Du, Xiaoxue, Bao, Peng, Parry, Adele A, Peyman, Sally A, Sandoe, Jonathan A. T, Evans, Stephen D, Luo, Dan, Bushby, Richard J, Jones, J. Cliff, Gleeson, Helen F

Volltext

Understanding Programming Languages von Jones, Cliff B

Volltext

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedin... von Fitzgerald, John, Jones, Cliff B, Lucas, Peter

Volltext

Embossing Reactive Mesogens: A Facile Approach to Polarization‐Independent Liquid Crystal Devices von Wahle, Markus, Snow, Benjamin, Sargent, Joe, Jones, J. Cliff

Volltext

In memoriam: Professor Heinz Zemanek (1920–2014) von Jones, Cliff B.

Volltext

Balancing expressiveness in formal approaches to concurrency von Jones, Cliff B., Hayes, Ian J., Colvin, Robert J.

Volltext