• Home
• Content
  • Current Issue of JZUS-A
  • Current Issue of JZUS-B
  • Current Issue of FITEE
  • Current Issue of BDM
  • Back Issue of JZUS-A
  • Back Issue of JZUS-B
  • Back Issue of FITEE
  • Back Issue of BDM
  • In Press of JZUS-A
  • In Press of JZUS-B
  • In Press of FITEE
  • In Press of BDM
  • Highlights archive of JZUS-A
  • Highlights archive of JZUS-B
  • Highlights archive of FITEE
• Submit/Guide
  • Preparing Manuscript
  • Online Submission
  • Revision&Acceptance
  • Download
• Reviewer
  • Int'l Reviewer
  • Guidelines
• Ed. Board
  • JZUS-A
  • JZUS-B
  • FITEE
  • BDM
• Service
  • Polishing
  • Crosscheck
  • Advertisement
  • Conf. info.
  • Subscription
• Top 10 Rank
  • Top 10 Cited
  • Top 10 Downloads
• About
  • Policy
  • Awards
  • Editor Papers
  • Events
  • E-linK
  • Thanks Card
  • Contacts
• Subscribe
  • Issue Subscription

index	Title
1	Towards automated software model checking using graph transformation systems and Bogor Author(s):Vahid RAFE, Adel T. RAHMANI  Clicked:6147  Download:3753  Cited:2  <Full Text> Journal of Zhejiang University Science A  2009 Vol.10 No.8 P.1093-1105  DOI:10.1631/jzus.A0820415
2	Equality detection for linear arithmetic constraints Author(s):Li LI, Kai-duo HE, Ming GU, Xiao-y...  Clicked:5041  Download:2865  Cited:1  <Full Text> Journal of Zhejiang University Science A  2009 Vol.10 No.12 P.1784-1789  DOI:10.1631/jzus.A0820812
3	Fairness analysis of extra-gain guilty of a non-repudiation protocol Author(s):Xu GUO  Clicked:3754  Download:6809  Cited:0  <Full Text>  <PPT> 427 Frontiers of Information Technology & Electronic Engineering  2022 Vol.23 No.6 P.893-908  DOI:10.1631/FITEE.2100413

Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE