Jeffrey J.-P. Tsai

MaRDI QIDQ1193838zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Robust and Computationally Efficient Digital IIR Filter Synthesis and Stability Analysis Under Finite Precision Implementations IEEE Transactions on Signal Processing	2022-09-23	Paper
A Doctrine of Cognitive Informatics (CI) Fundamenta Informaticae	2009-05-22	Paper
scientific article; zbMATH DE number 1897216 (Why is no real title available?)	2003-04-13	Paper
A comparative study of formal verification techniques for software architecture specifications Annals of Software Engineering	2003-02-19	Paper
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems The Computer Journal	2002-08-28	Paper
Hybrid Parallel Execution Model for Logic-Based Specification Languages Series on Software Engineering and Knowledge Engineering	2000-08-13	Paper
scientific article; zbMATH DE number 1324394 (Why is no real title available?)	1999-08-16	Paper
scientific article; zbMATH DE number 848808 (Why is no real title available?)	1996-02-28	Paper
Reasoning under uncertainty in fuzzy operator logic IEEE Transactions on Systems, Man, and Cybernetics	1993-01-16	Paper
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic Information Sciences	1992-09-27	Paper
IDSCA: An intelligent direction selector for the controller's action in multiloop control systems International Journal of Intelligent Systems	1988-01-01	Paper

Research outcomes over time

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