Author of the publication

Design of Point-and-Click User Interfaces for Proof Assistants.

, , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 86-103. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Communication Delay Analysis Under Constrained Condition for Multi-Radio WSNs., , , , and . Ad Hoc Sens. Wirel. Networks, 42 (1-2): 125-144 (2018)A Comparative Experimental Study Between Instantaneous and Convolutional BSS Models for Saccadic EOG Signal Separation., , , , and . IEEE Trans. Instrum. Meas., (2021)Design of Point-and-Click User Interfaces for Proof Assistants., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 86-103. Springer, (2019)Finger-Vein Recognition Based on an Enhanced HMAX Model., , , , and . CCBR, volume 9967 of Lecture Notes in Computer Science, page 263-270. (2016)Formal Analysis of the VPN Service Management System., , , and . PDCAT, page 493-498. IEEE Computer Society, (2007)Type-2 fuzzy logic based energy-efficient transceiver resource schedule in multi-radio WSNs., , , , and . Int. J. Ad Hoc Ubiquitous Comput., 32 (3): 197-209 (2019)Face recognition using weber local circle gradient pattern method., , , , and . Multim. Tools Appl., 77 (2): 2807-2822 (2018)Security Strategy of Campus Network Data Center in Cloud Environment., , and . ICCCS (3), volume 11065 of Lecture Notes in Computer Science, page 290-297. Springer, (2018)Interval type-2 fuzzy logic based radio resource management in multi-radio WSNs., , , , and . J. Intell. Fuzzy Syst., 35 (2): 2525-2536 (2018)Asymmetrical cross-modal influence on neural encoding of auditory and visual features in natural scenes., , and . NeuroImage, (2022)