Volume 368,
Numbers 1-2,
December 2006
- Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
A flexible model for dynamic linking in Java and C#.
1-29
Electronic Edition (link) BibTeX
- Markus Krötzsch:
Generalized ultrametric spaces in quantitative domain theory.
30-49
Electronic Edition (link) BibTeX
- Michael Kaminski:
Invariance under stuttering in a temporal logic of actions.
50-63
Electronic Edition (link) BibTeX
- Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara:
Type checking a multithreaded functional language with session types.
64-87
Electronic Edition (link) BibTeX
- Foto N. Afrati, Chen Li, Prasenjit Mitra:
Rewriting queries using views in the presence of arithmetic comparisons.
88-123
Electronic Edition (link) BibTeX
- Yi-Xiang Chen, Achim Jung:
A logical approach to stable domains.
124-148
Electronic Edition (link) BibTeX
- Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu:
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.
149-160
Electronic Edition (link) BibTeX
Note
Erratum
Volume 368,
Number 3,
December 2006
Combinatorial Pattern Matching
- Süleyman Cenk Sahinalp, Ugur Dogrusöz, S. Muthukrishnan:
Preface.
195
Electronic Edition (link) BibTeX
- Amihood Amir, Oren Kapah, Dekel Tsur:
Faster two-dimensional pattern matching with rotations.
196-204
Electronic Edition (link) BibTeX
- Eugene Davydov, Serafim Batzoglou:
A computational model for RNA multiple structural alignment.
205-216
Electronic Edition (link) BibTeX
- Stefano Lonardi, Wojciech Szpankowski, Qiaofeng Yang:
Finding biclusters by random projections.
217-230
Electronic Edition (link) BibTeX
- Richard F. Geary, Naila Rahman, Rajeev Raman, Venkatesh Raman:
A simple optimal representation for balanced parentheses.
231-246
Electronic Edition (link) BibTeX
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Sat Dec 22 20:47:37 2007
by Michael Ley (ley@uni-trier.de)