default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 88
Volume 88, Numbers 1-2, 2008
- Luca Aceto, Wan J. 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
- Marc Boyer, Olivier H. Roux:
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. 225-249 - Ranko Lazic, Thomas Christopher 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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
