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

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: Jeffrey J.-P. Tsai