Journals in DBLP

Int. J. Found. Comput. Sci.
2006, volume: 17, number: 4

1. Farn Wang
   Preface. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:731-732 [Journal]
   
2. E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka
   Molecular Model Checking. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:733-742 [Journal]
   
3. Doron Peled, Hongyang Qu
   Enforcing Concurrent Temporal Behaviors. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:743-762 [Journal]
   
4. Freddy Y. C. Mang, Pei-Hsin Ho
   Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:763-774 [Journal]
   
5. Fang Yu, Bow-Yaw Wang
   Sat-based Model Checking for Region Automata. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:775-796 [Journal]
   
6. Robi Malik, David Streader, Steve Reeves
   Conflicts and Fair Testing. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:797-814 [Journal]
   
7. Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
   Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:815-832 [Journal]
   
8. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
   A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:833-850 [Journal]
   
9. Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi
   Büchi Complementation Made Tighter. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:851-868 [Journal]
   
10. Orna Kupferman, Gila Morgenstern, Aniello Murano
    Typeness for omega-regular Automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:869-884 [Journal]
    
11. Ansgar Fehnker, Bruce H. Krogh
    Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:885-902 [Journal]
    
12. Tatsuya Akutsu
    Algorithms for Point Set Matching with K-differences. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:903-918 [Journal]
    
13. Sylvain Gravier, Philippe Jorrand, Mehdi Mhalla, Charles Payan
    Quantum Octal Games. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:919-932 [Journal]
    
14. Xingqin Qi, Guojun Li, Jichang Wu, Bingqiang Liu
    Sorting Signed Permutations by Fixed-length Reversals. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:933-948 [Journal]
    
15. Yuli Ye, Janusz A. Brzozowski
    Covering of Transient Simulation of Feedback-free Circuits by Binary Analysis. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:949-974 [Journal]
    
16. Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg
    Spike Trains in Spiking Neural P Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:975-1002 [Journal]