Travelled to:1 × Germany
1 × USA
2 × Denmark
Collaborated with:∅ W.Yi T.Y.Chen R.G.Merkel D.Wang
Talks about:system (3) calculus (2) complet (2) proof (2) congruenc (1) algorithm (1) automata (1) quadrat (1) process (1) problem (1)
Person: Huimin Lin
DBLP: Lin:Huimin
Contributed to:
2008
2000
1998
1991
1995Wrote 5 papers:
- SEKE-2008-ChenLMW #algorithm #case study #optimisation #polynomial #problem #verification
- Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.
- FoSSaCS-2000-LinY #automaton #proving
- A Proof System for Timed Automata (HL, WY), pp. 208–222.
- ICALP-1998-Lin #proving #π-calculus
- Complete Proof Systems for Observation Congruences in Finite-Control π-Calculus (HL), pp. 443–454.
- CAV-1991-Lin #algebra #named #process
- PAM: A Process Algebra Manipulator (HL), pp. 136–146.
- TAPSOFT-1995-Lin #bisimulation #π-calculus
- Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus (HL), pp. 187–201.