The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2004, volume: 313, number: 1

  1. Bruce W. Watson, Derick Wood
    Introduction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:1- [Journal]
  2. Anne Bergeron, Sylvie Hamel
    From cascade decompositions to bit-vector algorithms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:3-16 [Journal]
  3. Bernard Boigelot, Louis Latour
    Counting the solutions of Presburger equations without enumerating them. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:17-29 [Journal]
  4. Jean-Marc Champarnaud, Gérard Duchamp
    Derivatives of rational expressions and related theorems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:31-44 [Journal]
  5. Jan Daciuk, Gertjan van Noord
    Finite automata for compact representation of tuple dictionaries. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:45-56 [Journal]
  6. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
    Past pushdown timed automata and safety verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:57-71 [Journal]
  7. Jacques Farré, José Fortes Gálvez
    Bounded-connect noncanonical discriminating-reverse parsers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:73-91 [Journal]
  8. Nathalie Friburger, Denis Maurel
    Finite-state transducer cascades to extract named entities in texts. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:93-104 [Journal]
  9. Tamás Gaál
    Deciding sequentiability of finite-state transducers by finite-state pattern-matching. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:105-117 [Journal]
  10. Dominique Geniet, Jean-Philippe Dubernard
    Scheduling hard sporadic tasks with regular languages and generating functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:119-132 [Journal]
  11. Frank Katritzke, Wolfgang Merzenich, Michael Thomas
    Enhancements of partitioning techniques for image compression using weighted finite automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:133-144 [Journal]
  12. André Kempe
    Extraction and recoding of input-[epsiv]-cycles in finite state transducers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:145-158 [Journal]
  13. Lynette van Zijl
    Generalized acceptance, succinctness and supernondeterministic finite automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:313, n:1, pp:159-172 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002