Volume 78,
Number 1,
2007
The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
- Robert Clarisó, Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra.
1-33
Electronic Edition (link) BibTeX
- Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points.
35-74
Electronic Edition (link) BibTeX
- Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev:
Automating Synthesis of Asynchronous Communication Mechanisms.
75-100
Electronic Edition (link) BibTeX
- Mark B. Josephs, Hemangee K. Kapoor:
Controllable Delay-Insensitive Processes.
101-130
Electronic Edition (link) BibTeX
- Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
131-159
Electronic Edition (link) BibTeX
- Walter Vogler, Ben Kangsah:
Improved Decomposition of Signal Transition Graphs.
161-197
Electronic Edition (link) BibTeX
Volume 78,
Number 2,
2007
Volume 78,
Number 3,
2007
Special issue on DLT'04
Volume 78,
Number 4,
2007
Special issue ISMIS'05
- Liying Jiang, Jitender S. Deogun:
SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis.
467-485
Electronic Edition (link) BibTeX
- Ugo Galassi, Marco Botta, Attilio Giordana:
Hierarchical Hidden Markov Models for User/Process Profile Learning.
487-505
Electronic Edition (link) BibTeX
- Seunghyun Im:
Privacy Aware Data Management and Chase.
507-524
Electronic Edition (link) BibTeX
- Minkoo Seo, Sanghyun Park, Jung-Im Won:
Towards Efficient Searching on the Secondary Structure of Protein Sequences.
525-542
Electronic Edition (link) BibTeX
- Marie Agier, Jean-Marc Petit, Einoshin Suzuki:
Unifying Framework for Rule Semantics: Application to Gene Expression Data.
543-559
Electronic Edition (link) BibTeX
- Shusaku Tsumoto, Shoji Hirano:
Visualization of Differences between Rules' Syntactic and Semantic Similarities using Multidimensional Scaling.
561-573
Electronic Edition (link) BibTeX
- Ansaf Salleb-Aouissi, Christel Vrain:
A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases.
575-594
Electronic Edition (link) BibTeX
- Xintao Wu, Yongge Wang, Songtao Guo, Yuliang Zheng:
Privacy Preserving Database Generation for Database Application Testing.
595-612
Electronic Edition (link) BibTeX
- Xin Zhang, Zbigniew W. Ras:
Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition.
613-628
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:27 2009
by Michael Ley (ley@uni-trier.de)