The SCEAS System
Navigation Menu

Journals in DBLP

J. UCS
2006, volume: 12, number: 11

  1. Francisco Javier López-Fraguas
    Programming and Languages. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1464-1465 [Journal]
  2. Antonio J. Fernández, Patricia M. Hill
    An Interval Constraint Branching Scheme for Lattice Domains. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1466-1499 [Journal]
  3. Maryam Bavarian, Verónica Dahl
    Constraint Based Methods for Biological Sequence Analysis. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1500-1520 [Journal]
  4. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
    Process Equivalences as Global Bisimulations. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1521-1550 [Journal]
  5. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    Verifying Real-Time Properties of tccp Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1551-1573 [Journal]
  6. Jaime Sánchez-Hernández
    Constructive Failure in Functional-Logic Programming: From Theory to Implementation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1574-1593 [Journal]
  7. José Miguel Cleva, Isabel Pita
    Verification of CRWL Programs with Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1594-1617 [Journal]
  8. Manuel Clavel, Miguel Palomino, Adrián Riesco
    Introducing the ITP Tool: a Tutorial. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1618-1650 [Journal]
  9. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
    Magic Sets for the XPath Language. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1651-1678 [Journal]
  10. Pascual Julián, Ginés Moreno, Jaime Penabad
    Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1679-1699 [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