Jiann-I Pan

According to our database, Jiann-I Pan authored at least 11 papers between 1995 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

An Enhanced Lightweight Dynamic Pseudonym Identity Based Authentication and Key Agreement Scheme Using Wireless Sensor Networks for Agriculture Monitoring.

Meriske Chen, Tian-Fu Lee, Jiann-I Pan

Sensors, 2019

2015

Intelligent Fall Prevention for Parkinson's Disease Patients based on Detecting Posture Instabilily and Freezing of Gait.

Jiann-I Pan, Yi-Chi Huang

Proceedings of the ICINCO 2015, 2015

2013

The Secure Authorization Model for Healthcare Information System.

Wen-Shin Hsu, Jiann-I Pan

J. Medical Syst., 2013

Secure Mobile Agent for Telemedicine Based on P2P Networks.

Wen-Shin Hsu, Jiann-I Pan

J. Medical Syst., 2013

2006

A neural network-based sensor for elder falling detection.

Jiann-I Pan, Cheng-Jie Yung, Chung Chao Liang

Proceedings of the ICINCO 2006, 2006

2001

Verifying scenarios with time Petri-nets.

Jonathan Lee, Jiann-I Pan, Jong-Yih Kuo

Inf. Softw. Technol., 2001

2000

Towards the Verification of Scenarios with Time Petri-Nets.

Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1998

A rule-based approach to producing Z specifications from Jackson system development.

Jonathan Lee, Jiann-I Pan

Int. J. Intell. Syst., 1998

1997

OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.

Jonathan Lee, Jiann-I Pan, Wei T. Huang

J. Inf. Sci. Eng., 1997

1995

Integrating object-oriented requirements specifications with formal notations.

Jonathan Lee, Jiann-I Pan, Wei T. Huang

Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Expressing JSD in Z.

Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995