Fundamenta Informaticae, Volume 88

Volume 88, Numbers 1-2, 2008

• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir:
  A Cancellation Theorem for BCCSP. 1-21
  Electronic Edition (link) BibTeX
• Chin-Chen Chang, Chia-Chen Lin, Yi-Hui Chen:
  Adaptive Data Embedding Scheme Based on Similar and Dissimilar Clustering Strategies. 23-45
  Electronic Edition (link) BibTeX
• Yung-Chen Chou, Chin-Chen Chang, Kuan-Ming Li:
  A Large Payload Data Embedding Technique for Color Images. 47-61
  Electronic Edition (link) BibTeX
• Ferruccio Damiani, Elena Giachino, Paola Giannini:
  Alias Types and Effects for "Environment-aware" Computations. 63-107
  Electronic Edition (link) BibTeX
• Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
  Nondeterminism in Constructive Z. 109-134
  Electronic Edition (link) BibTeX
• Sattar Hashemi, Mohammad Reza Kangavari, Ying Yang:
  Class Specific Fuzzy Decision Trees for Mining High Speed Data Streams. 135-160
  Electronic Edition (link) BibTeX
• Pradipta Maji, Malay Kumar Kundu, Bhabatosh Chanda:
  Second Order Fuzzy Measure and Weighted Co-Occurrence Matrix for Segmentation of Brain MR Images. 161-176
  Electronic Edition (link) BibTeX
• Vibha S. Vyas, Priti P. Rege:
  Geometric transform Invariant Texture Analysis based on Modified Zernike Moments. 177-192
  Electronic Edition (link) BibTeX
• Hu Xiong, Zhiguang Qin, Fagen Li:
  An Improved Certificateless Signature Scheme Secure in the Standard Model. 193-206
  Electronic Edition (link) BibTeX
• Zhanbo Yang:
  A New Proof on Embedding the Category of Proximity Spaces into the Category of Nearness Spaces. 207-223
  Electronic Edition (link) BibTeX

Volume 88, Number 3, 2008

• Marc Boyer, Olivier H. Roux:
  On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. 225-249
  Electronic Edition (link) BibTeX
• Ranko Lazic, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell:
  Nets with Tokens which Carry Data. 251-274
  Electronic Edition (link) BibTeX
• Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
  From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. 275-305
  Electronic Edition (link) BibTeX
• Maciej Koutny, Marta Pietkiewicz-Koutny:
  Synthesis of Elementary Net Systems with Context Arcs and Localities. 307-328
  Electronic Edition (link) BibTeX
• Fernando Rosa Velardo, David de Frutos-Escrig:
  Name Creation vs. Replication in Petri Net Systems. 329-356
  Electronic Edition (link) BibTeX
• Jonathan Billington, Somsak Vanit-Anunchai:
  Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. 357-385
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX

Volume 88, Number 4, 2008

• Frédéric Béal, Tomohiro Yoneda, Chris J. Myers:
  Hazard Checking of Timed Asynchronous Circuits Revisited. 411-435
  Electronic Edition (link) BibTeX
• Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
  Synthesis of Petri Nets from Finite Partial Languages. 437-468
  Electronic Edition (link) BibTeX
• Hanifa Boucheneb, Hind Rakkay:
  A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. 469-495
  Electronic Edition (link) BibTeX
• Franck Cassez, Stavros Tripakis:
  Fault Diagnosis with Static and Dynamic Observers. 497-540
  Electronic Edition (link) BibTeX
• Victor Khomenko, Mark Schäfer, Walter Vogler:
  Output-Determinacy and Asynchronous Circuit Synthesis. 541-579
  Electronic Edition (link) BibTeX
• Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev:
  Analysis of Static Data Flow Structures. 581-610
  Electronic Edition (link) BibTeX