Jiann-I Pan

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2015
Intelligent Fall Prevention for Parkinson's Disease Patients based on Detecting Posture Instabilily and Freezing of Gait.
Proceedings of the ICINCO 2015, 2015

2013
The Secure Authorization Model for Healthcare Information System.
J. Medical Syst., 2013

Secure Mobile Agent for Telemedicine Based on P2P Networks.
J. Medical Syst., 2013

2006
A neural network-based sensor for elder falling detection.
Proceedings of the ICINCO 2006, 2006

2001
Verifying scenarios with time Petri-nets.
Inf. Softw. Technol., 2001

2000
Towards the Verification of Scenarios with Time Petri-Nets.
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.
Int. J. Intell. Syst., 1998

1997
OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.
J. Inf. Sci. Eng., 1997

1995
Integrating object-oriented requirements specifications with formal notations.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Expressing JSD in Z.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995


  Loading...