The following pages link to Huimin Lin (Q348725):
Displaying 27 items.
- Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media (Q348726) (← links)
- Image approximations to electrostatic potentials in layered electrolytes/dielectrics and an ion-channel model (Q357809) (← links)
- A categorical semantics of multiple inheritance (Q583908) (← links)
- On decidability and model checking for a first order modal logic for value-passing process (Q866004) (← links)
- A predicate spatial logic for mobile process (Q866088) (← links)
- Modelling multiple inheritance with colimits (Q919836) (← links)
- Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
- A graphical \(\mu\)-calculus and local model checking. (Q1433941) (← links)
- Axiomatising timed automata (Q1608937) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- Inference systems for observation equivalences in the \(\pi\)-calculus (Q1974214) (← links)
- Abstract implementation of algebraic specifications in a temporal logic language (Q2277861) (← links)
- (Q2760244) (← links)
- Proof System for Applied Pi Calculus (Q3163886) (← links)
- A Complete Symbolic Bisimulation for Full Applied Pi Calculus (Q3401115) (← links)
- Controlling Process Modularity in Mobile Computing (Q3525089) (← links)
- Symbolic Test Generation Using a Temporal Logic with Constrained Events (Q3526943) (← links)
- (Q4472451) (← links)
- (Q4508304) (← links)
- Correct and logical inference on efficacy in subgroups and their mixture for binary outcomes (Q4626704) (← links)
- (Q4710016) (← links)
- (Q4823810) (← links)
- Complete inference systems for weak bisimulation equivalences in the π-calculus (Q5096731) (← links)
- Robust methods for detecting familial aggregation of a quantitative trait in matched case–control family studies (Q5127072) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900550) (← links)
- Exact simultaneous confidence intervals for logical selection of a biomarker cut‐point (Q6068466) (← links)
