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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Huimin Lin