International Journal of Software and Informatics, Volume 1

Volume 1, Number 1, 2007

- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/Lu07
- ask others
Ruqian Lu: Editorial. 1-2
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/CaiC07
- ask others
Jin-yi Cai, Vinay Choudhary: Some Results on Matchgates and Holographic Algorithms. 3-36
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/ZhuOSKS07
- ask others
Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva: Desiderata for Languages to be Used in the Defnition of Reference Business Processes. 37-65
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/ZhangCZ07
- ask others
Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou: Entropy-Inspired Competitive Clustering Algorithms. 67-84
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/ZhangZ07
- ask others
Jinjin Zhang, Zhaohui Zhu: A Modal Characterization of λ-Bisimilarity. 85-99
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/MeiHLL07
- ask others
Hong Mei, Gang Huang, Tiancheng Liu, Junguo Li: Coordinated Recovery of Middleware Services: A Framework and Experiments. 101-128
- view
  - electronic edition @ ijsi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijsi/GoguenMPRS07
- ask others
Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. 129-152