PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tsai, Jeffrey J. P."

Author of the publication

copydeleteadd this publication to your clipboard
A declarative approach to software requirement specification languages.

, , and . ICCL, page 414-421. IEEE, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

J. Vogel

 

Other publications of authors with the same name

Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach., , and . International Journal of Software Engineering and Knowledge Engineering, 4 (2): 205-228 (1994)Debugging Logic-Based Requirements Specifications - a FRORL Approach., , and . SEKE, page 372-379. Knowledge Systems Institute, (1993)An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data., , , , and . BIBE, page 467-470. IEEE Computer Society, (2009)A Novel Approach for Motif Identification in Unaligned Molecular Sequences., , and . BIBE, page 378-381. IEEE Computer Society, (2009)Ergonomic Designs Based on Musculoskeletal Models., and . BIBE, page 112-116. IEEE Computer Society, (2011)Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model., , , , and . BIBE, page 228-233. IEEE Computer Society, (2011)Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics., , , , and . BIBE, page 142-148. IEEE Computer Society, (2004)A Knowledge-Based Approach for the Specification and Analysis of Real-Time Software Systems., and . International Journal on Artificial Intelligence Tools, 1 (1): 1-36 (1992)Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications., , and . IEEE Trans. Software Eng., 21 (1): 32-49 (1995)Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications., and . IEEE Trans. Software Eng., 13 (3): 355-361 (1987)