Jiann-I Pan

12 papers B 3C 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2019 J jnl
An Enhanced Lightweight Dynamic Pseudonym Identity Based Authentication and Key Agreement Scheme Using Wireless Sensor Networks for Agriculture Monitoring.
Sensors
Meriske Chen, Tian-Fu Lee, Jiann-I Pan
2015 — conf
Intelligent Fall Prevention for Parkinson's Disease Patients based on Detecting Posture Instabilily and Freezing of Gait.
ICINCO (1)
Jiann-I Pan, Yi-Chi Huang
2013 J jnl
Secure Mobile Agent for Telemedicine Based on P2P Networks.
J. Medical Syst.
Wen-Shin Hsu, Jiann-I Pan
2013 J jnl
The Secure Authorization Model for Healthcare Information System.
J. Medical Syst.
Wen-Shin Hsu, Jiann-I Pan
2010 C conf
A Modeling Language for Supporting Evidence-based Nursing Processes.
ICCE
I-Ping Ko, Jiann-I Pan
2006 — conf
A neural network-based sensor for elder falling detection.
ICINCO-ICSO
Jiann-I Pan, Cheng-Jie Yung, Chung Chao Liang
2001 J jnl
Verifying scenarios with time Petri-nets.
Inf. Softw. Technol.
Jonathan Lee, Jiann-I Pan, Jong-Yih Kuo
2000 B conf
Towards the Verification of Scenarios with Time Petri-Nets.
COMPSAC
Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan
1998 J jnl
A rule-based approach to producing Z specifications from Jackson system development.
Int. J. Intell. Syst.
Jonathan Lee, Jiann-I Pan
1997 J jnl
OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.
J. Inf. Sci. Eng.
Jonathan Lee, Jiann-I Pan, Wei T. Huang
1995 B conf
Expressing JSD in Z.
COMPSAC
Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan
1995 B conf
Integrating object-oriented requirements specifications with formal notations.
ICTAI
Jonathan Lee, Jiann-I Pan, Wei T. Huang