If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Shiu Kai Chin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Formal methods
Access control
Specifications
Hardware
Formal logic
Network protocols
Computer aided design
Semantics
Electronic mail
Algebra
Interoperability
Authentication
Computer simulation languages
Binary decision diagrams
Adders
Firmware
Curricula
Finite automata
Intelligent systems
Reliability analysis
Temporal logic
Formal verification
Testing
Computer hardware
Engineers
Information systems
Servers
Systems analysis
Computer systems
Field programmable gate arrays (FPGA)
Pipelines
Chemical analysis
Electronic commerce
Engines
Networks (circuits)
Data storage equipment
SCADA systems
Accreditation
Logic programming
Security of data
Students
Internet
Formal specification
Computer science
Theorem proving
Mechanization
Simulators
Common object request broker architecture (CORBA)

Mathematics

Higher-order Logic
Access Control
Logic
State Machine
Calculus
Reasoning
Modal Logic
Multiplier
Theorem
Process Calculi
Role-based Access Control
Formal Semantics
Secure Communication
Hardware
Formal Analysis
Delegation
Distributed Control
Formal Verification
Verify
Communication Channels
Electronic Mail
Intelligent Systems
Linking
Transactions
Key Management
Server
Design
Engineering
Cell
Control Policy
Integrity
Synthesis
Formal Languages
Correctness
Equivalence
Authorization
Temporal Logic
Operator
Output
Notation
Authentication
Public Key Infrastructure
Well-defined
Linear Time
Layout
Simulation
Supervisory Control
Interoperability
Compiler
Operational Semantics