| 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
Biometrical Journal | 2023-12-15 | Paper |
Symbolic transition graph with assignment
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Robust methods for detecting familial aggregation of a quantitative trait in matched case-control family studies
Journal of Applied Statistics | 2020-10-21 | Paper |
Correct and logical inference on efficacy in subgroups and their mixture for binary outcomes
Biometrical Journal | 2019-02-28 | Paper |
Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media
Journal of Computational Physics | 2016-12-05 | Paper |
Image approximations to electrostatic potentials in layered electrolytes/dielectrics and an ion-channel model
Journal of Scientific Computing | 2013-08-13 | Paper |
A complete symbolic bisimulation for full applied pi calculus
Theoretical Computer Science | 2012-11-08 | Paper |
Proof system for applied pi calculus
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Formal Methods at the Crossroads. From Panacea to Foundational Support
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A complete symbolic bisimulation for full applied pi-calculus
SOFSEM 2010: Theory and Practice of Computer Science | 2010-01-28 | Paper |
Symbolic Test Generation Using a Temporal Logic with Constrained Events
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Controlling Process Modularity in Mobile Computing
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
A predicate spatial logic for mobile process
Science in China. Series F | 2007-02-20 | Paper |
On decidability and model checking for a first order modal logic for value-passing process
Science in China. Series F | 2007-02-20 | Paper |
| scientific article; zbMATH DE number 2112326 (Why is no real title available?) | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2080209 (Why is no real title available?) | 2004-08-04 | Paper |
A graphical \(\mu\)-calculus and local model checking.
Journal of Computer Science and Technology | 2004-07-01 | Paper |
Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
Information and Computation | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1930738 (Why is no real title available?) | 2003-01-01 | Paper |
Axiomatising timed automata
Acta Informatica | 2002-08-14 | Paper |
| A symbolic approach to value-passing processes | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1512619 (Why is no real title available?) | 2001-05-28 | Paper |
Inference systems for observation equivalences in the \(\pi\)-calculus
Science in China. Series E | 2001-02-18 | Paper |
Computing bisimulations for finite-control \(\pi\)-calculus
Journal of Computer Science and Technology | 2000-03-07 | Paper |
Abstract implementation of algebraic specifications in a temporal logic language
Journal of Computer Science and Technology | 1991-01-01 | Paper |
A categorical semantics of multiple inheritance
Chinese Science Bulletin | 1990-01-01 | Paper |
Modelling multiple inheritance with colimits
Formal Aspects of Computing | 1990-01-01 | Paper |
