Showing 1–20 of 24 results
/ Date/ Name
Apr 3, 2020Plasma-enhanced atomic layer deposition of nickel nanotubes with low resistivity and coherent magnetization dynamics for 3D spintronicsOct 2, 2012Analysis of a Quantum Error Correcting Code using Quantum Process CalculusMar 29, 2010A low-voltage retarding-field Mott polarimeter for photocathode characterizationSep 14, 2016Liveness for VerificationAug 7, 2014Session Types as Generic Process TypesMar 12, 2013Application of Quantum Process Calculus to Higher Dimensional Quantum ProtocolsJun 12, 2018Domain formation mechanism of the Si(110)"16 x 2" reconstructionMay 14, 2021Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)Mar 18, 2019Spin- and angle-resolved photoemission studies of the electronic structure of Si(110)"16x2" surfacesApr 3, 2020Duality of Session Types: The Final CutJun 13, 2014Session Types for BroadcastingNov 1, 2021Comment on Kuwahara et al., Intensity Interference in a Coherent Spin-Polarized Electron Beam, Phys. Rev. Lett. 126, 125501 (2021)Jan 20, 2022The Different Shades of Infinite Session TypesDec 20, 2013Automated Verification of Quantum Protocols by Equivalence CheckingAug 7, 2014Verification of Linear Optical Quantum Computing using Quantum Process CalculusJun 22, 2023Special Delivery: Programming with Mailbox Types (Extended Version)Aug 1, 2021Non-Poissonian ultrashort, nanoscale electron pulsesJan 8, 2019Femtosecond-Laser-Induced Spin-Polarized Electron Emission from a GaAs TipFeb 4, 2019A Session Type System for Asynchronous Unreliable Broadcast CommunicationAug 2, 2011Formal Analysis of Quantum Systems using Process Calculus