Showing 1–14 of 14 results
/ Date/ Name
May 8, 2025Contact Lens with Moiré patterns for High-Precision Eye TrackingOct 8, 2025A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculusSep 12, 2010Theory of processesOct 16, 2021Verification of MPI programsDec 26, 2005Mechanisms of arsenic clustering in siliconNov 24, 2020New method of verifying cryptographic protocols based on the process modelJul 18, 2015A theory of probabilistic automata, part 1Jun 1, 2017A graph model of message passing processesJun 1, 2017A new method of verification of security protocolsApr 14, 2016A New Method of Verification of Functional ProgramsJul 24, 2020Transient processes in a gas / plate structure in the case of light gas loadingJan 10, 2020State diagrams of functional programsSep 18, 2021A Distributed Process Model of Cryptographic ProtocolsSep 30, 2005Simulation of Arsenic Diffusion During Rapid Thermal Annealing of Silicon Layers Doped with Low-Energy High-Dose Ion Implantation