Jeffrey J.-P. Tsai

Available identifiers

zbMath Open tsai.jeffrey-j-pMaRDI QIDQ1193838

List of research outcomes

Publication	Date of Publication	Type
Robust and Computationally Efficient Digital IIR Filter Synthesis and Stability Analysis Under Finite Precision Implementations	2022-09-23	Paper
A Doctrine of Cognitive Informatics (CI)	2009-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q4802384	2003-04-13	Paper
A comparative study of formal verification techniques for software architecture specifications	2003-02-19	Paper
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems	2002-08-28	Paper
Hybrid Parallel Execution Model for Logic-Based Specification Languages	2000-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4255488	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4867197	1996-02-28	Paper
Reasoning under uncertainty in fuzzy operator logic	1993-01-16	Paper
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic	1992-09-27	Paper
IDSCA: An intelligent direction selector for the controller's action in multiloop control systems	1988-01-01	Paper

Research outcomes over time

This page was built for person: Jeffrey J.-P. Tsai