Huimin Lin

Available identifiers

zbMath Open lin.huiminWikidataQ9291964 ScholiaQ9291964MaRDI QIDQ348725

List of research outcomes

Publication	Date of Publication	Type
PAM: A process algebra manipulator	2024-04-29	Paper
Exact simultaneous confidence intervals for logical selection of a biomarker cut‐point	2023-12-15	Paper
Symbolic transition graph with assignment	2023-06-28	Paper
Complete inference systems for weak bisimulation equivalences in the π-calculus	2022-08-18	Paper
Robust methods for detecting familial aggregation of a quantitative trait in matched case–control family studies	2020-10-21	Paper
Correct and logical inference on efficacy in subgroups and their mixture for binary outcomes	2019-02-28	Paper
Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media	2016-12-05	Paper
Image approximations to electrostatic potentials in layered electrolytes/dielectrics and an ion-channel model	2013-08-13	Paper
A complete symbolic bisimulation for full applied pi calculus	2012-11-08	Paper
Proof System for Applied Pi Calculus	2010-10-27	Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support	2010-03-30	Paper
A Complete Symbolic Bisimulation for Full Applied Pi Calculus	2010-01-28	Paper
Symbolic Test Generation Using a Temporal Logic with Constrained Events	2008-09-25	Paper
Controlling Process Modularity in Mobile Computing	2008-09-17	Paper
On decidability and model checking for a first order modal logic for value-passing process	2007-02-20	Paper
A predicate spatial logic for mobile process	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4823810	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4472451	2004-08-04	Paper
A graphical \(\mu\)-calculus and local model checking.	2004-07-01	Paper
Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.	2003-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4710016	2003-01-01	Paper
Axiomatising timed automata	2002-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q2760244	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4508304	2001-05-28	Paper
Inference systems for observation equivalences in the \(\pi\)-calculus	2001-02-18	Paper
Computing bisimulations for finite-control \(\pi\)-calculus	2000-03-07	Paper
Abstract implementation of algebraic specifications in a temporal logic language	1991-01-01	Paper
A categorical semantics of multiple inheritance	1990-01-01	Paper
Modelling multiple inheritance with colimits	1990-01-01	Paper

Research outcomes over time

This page was built for person: Huimin Lin