Volume 92,
Numbers 1-2,
2009
Volume 92,
Number 3,
2009
Volume 92,
Number 4,
2009
- Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions.
307-343
- Anindya Halder, Ashish Ghosh, Susmita Ghosh:
Aggregation Pheromone Density Based Pattern Classification.
345-362
- Anthony Spatharis, Ilias Foudalis, Martha Sideri, Christos H. Papadimitriou:
Comparing Trade-off Based Models of the Internet.
363-372
- Jacek Sroka, Jan Hidders:
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.
373-396
- Cheng-Hsing Yang, Chi-Yao Weng, Shiuh-Jeng Wang, Hung-Min Sun:
Codebook-linked Watermarking Scheme for Digital Images.
397-409
- Sheng Zhong:
On Distributed k-Anonymization.
411-431
Copyright © Sun Nov 15 05:38:52 2009
by Michael Ley (ley@uni-trier.de)