Symbolic model checking quantum circuits in Maude [PeerJ]
Symbolic model checking quantum circuits in Maude [PeerJ],Photodegradation of Bisphenol A and Triclosan using ZnCl2(6OMeQ)2 complex as photosensitizer under homogeneous conditions - ScienceDirect,Multi-cycle Direct Numerical Simulations of a Laboratory Scale Engine: Evolution of Boundary Layers and Wall Heat Flux | Flow, Turbulence and Combustion