Volume 88,
Numbers 1-2,
2008
- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir:
A Cancellation Theorem for BCCSP.
1-21
- Chin-Chen Chang, Chia-Chen Lin, Yi-Hui Chen:
Adaptive Data Embedding Scheme Based on Similar and Dissimilar Clustering Strategies.
23-45
- Yung-Chen Chou, Chin-Chen Chang, Kuan-Ming Li:
A Large Payload Data Embedding Technique for Color Images.
47-61
- Ferruccio Damiani, Elena Giachino, Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations.
63-107
- Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
Nondeterminism in Constructive Z.
109-134
- Sattar Hashemi, Mohammad Reza Kangavari, Ying Yang:
Class Specific Fuzzy Decision Trees for Mining High Speed Data Streams.
135-160
- Pradipta Maji, Malay Kumar Kundu, Bhabatosh Chanda:
Second Order Fuzzy Measure and Weighted Co-Occurrence Matrix for Segmentation of Brain MR Images.
161-176
- Vibha S. Vyas, Priti P. Rege:
Geometric transform Invariant Texture Analysis based on Modified Zernike Moments.
177-192
- Hu Xiong, Zhiguang Qin, Fagen Li:
An Improved Certificateless Signature Scheme Secure in the Standard Model.
193-206
- Zhanbo Yang:
A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces.
207-223
Volume 88,
Number 3,
2008
PETRI NETS 2007
- Marc Boyer, Olivier H. Roux:
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets.
225-249
- Ranko Lazic, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell:
Nets with Tokens which Carry Data.
251-274
- Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
275-305
- Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities.
307-328
- Fernando Rosa-Velardo, David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems.
329-356
- Jonathan Billington, Somsak Vanit-Anunchai:
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.
357-385
- Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
Working with the Past: Integrating History in Petri Nets.
387-409
Volume 88,
Number 4,
2008
Application of Concurrency to System Design,
the Sixth Special Issue
- Frédéric Béal, Tomohiro Yoneda, Chris J. Myers:
Hazard Checking of Timed Asynchronous Circuits Revisited.
411-435
- Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages.
437-468
- Hanifa Boucheneb, Hind Rakkay:
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties.
469-495
- Franck Cassez, Stavros Tripakis:
Fault Diagnosis with Static and Dynamic Observers.
497-540
- Victor Khomenko, Mark Schäfer, Walter Vogler:
Output-Determinacy and Asynchronous Circuit Synthesis.
541-579
- Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev:
Analysis of Static Data Flow Structures.
581-610
Last update Wed Feb 15 05:32:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
