Volume 171,
Number 1,
April 2007
Proceedings of the Second Workshop on Cryptography for Ad-hoc Networks (WCAN 2006)
- Giovanni Di Crescenzo, Luigi V. Mancini:
Preface.
1-2
Electronic Edition (link) BibTeX
- Camil Demetrescu, Giuseppe F. Italiano:
Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks.
3-15
Electronic Edition (link) BibTeX
- Ioannis Chatzigiannakis, Elisavet Konstantinou, Vasiliki Liagkou, Paul G. Spirakis:
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks.
17-31
Electronic Edition (link) BibTeX
- Vanesa Daza, Paz Morillo, Carla Ràfols:
On Dynamic Distribution of Private Keys over MANETs.
33-41
Electronic Edition (link) BibTeX
- Giovanni Di Crescenzo:
Secure Node Discovery in Ad-hoc Networks and Applications.
43-55
Electronic Edition (link) BibTeX
- Reza Curtmola, Seny Kamara:
A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks.
57-69
Electronic Edition (link) BibTeX
- Andrea Vitaletti, Gianni Palombizio:
Rijndael for Sensor Networks: Is Speed the Main Issue?
71-81
Electronic Edition (link) BibTeX
- Maki Yoshida, Toru Fujiwara:
On the Security of Tag-KEM for Signcryption.
83-91
Electronic Edition (link) BibTeX
- Roberto Di Pietro, Luigi V. Mancini, Giorgio Zanin:
Efficient and Adaptive Threshold Signatures for Ad hoc networks.
93-105
Electronic Edition (link) BibTeX
- Walid Bagga, Stefano Crosta, Pietro Michiardi, Refik Molva:
Establishment of Ad-Hoc Communities through Policy-Based Cryptography.
107-120
Electronic Edition (link) BibTeX
Volume 171,
Number 2,
July 2007
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2006)
- Nadia Busi, Claudio Zandron:
Preface.
1-2
Electronic Edition (link) BibTeX
- Gheorghe Paun:
Membrane Computing and Brane Calculi (Some Personal Notes).
3-10
Electronic Edition (link) BibTeX
- Bogdan Aman, Gabriel Ciobanu:
Translating Mobile Ambients into P Systems.
11-23
Electronic Edition (link) BibTeX
- Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan:
Membrane Systems with Marked Membranes.
25-36
Electronic Edition (link) BibTeX
- Matteo Cavaliere, Sean Sedwards:
Membrane Systems with Peripheral Proteins: Transport and Evolution.
37-53
Electronic Edition (link) BibTeX
- Federica Ciocchetta, Corrado Priami:
Biological Transactions for Quantitative Models.
55-67
Electronic Edition (link) BibTeX
- Giorgio Delzanno, Roberto Montagna:
On Reachability and Spatial Reachability in Fragments of BioAmbients.
69-79
Electronic Edition (link) BibTeX
- Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
A Linear-time Tissue P System Based Solution for the 3-coloring Problem.
81-93
Electronic Edition (link) BibTeX
- Giuditta Franco, Maurice Margenstern:
Computing by Floating Strings.
95-104
Electronic Edition (link) BibTeX
- Rudolf Freund, Marion Oswald:
Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings.
105-115
Electronic Edition (link) BibTeX
- Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia:
Timed Concurrent Constraint Programming for Analysing Biological Systems.
117-137
Electronic Edition (link) BibTeX
- Cosimo Laneve, Fabien Tarissan:
A Simple Calculus for Proteins and Cells.
139-154
Electronic Edition (link) BibTeX
- Corrado Priami, Alessandro Romanel:
The Decidability of the Structural Congruence for Beta-binders.
155-170
Electronic Edition (link) BibTeX
- Cristian Versari:
Encoding Catalytic P Systems in pi@.
171-186
Electronic Edition (link) BibTeX
- Antonio Vitale, Giancarlo Mauri:
Communication via Mobile Vesicles in Brane Calculi.
187-196
Electronic Edition (link) BibTeX
- Verena Wolf:
Modelling of Biochemical Reactions by Stochastic Automata Networks.
197-208
Electronic Edition (link) BibTeX
- Xian Xu, Xiaoju Dong, Yuxi Fu:
A Model in kappa for DNA Addition.
209-222
Electronic Edition (link) BibTeX
Volume 171,
Number 3,
June 2007
Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006)
Volume 171,
Number 4,
July 2007
Proceedings of the First International Workshop on Security and Rewriting Techniques (SecReT 2006)
Copyright © Sat May 16 23:58:24 2009
by Michael Ley (ley@uni-trier.de)