Department of Information Systems and Computation
Home
Department
Directory
Teaching
Research
Intranet
Links
Research
Research Public.
Research Reports
Thesis

Universidad Politécnica de Valencia

WebMail WebMail

www@dsic.upv.es
Research-Internal Publications-Research Reports

Search
  
All 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2004 2005 2006 2007 2008 2009 2010

CodeTitleAuthor(s)BibTeXPdf/Ps
DSIC-II/01/07Survey of automated Systems for Railway ManagementF. Barber, M. Abril, M. A. Salido, L. P. Ingolotti, P. Tormos, A. Lovabib
DSIC-II/02/07Un motor algebraico para la verificación de sistemas web en GVerdiM. Alpuente, D. Ballis, S. Escobar, M. Falaschi, P. Ojeda, and D. Romerobib
DSIC-II/03/07paperTeX class: Creating newspapers using LaTeXIgnacio Llopis Tortosabib
DSIC-II/04/07Solving Initial Value Problems for Ordinary Differential Equations by a Piecewise-linearized Method Based on Diagonal Padé ApproximationsE. Arias, V. Hernández, J. Ibáñez, P. Ruizbib
DSIC-II/05/07Symbolic Model Checking of Infinite-State Systems Using NarrowingS. Escobar, J. Meseguerbib
DSIC-II/06/07Formal Verification of WebsitesSonia Flores, Salvador Lucas, Alicia Villanuevabib
DSIC-II/08/07The Web Verification Service WebVerdi-MM. Alpuente, D. Ballis, M. Falaschi, P. Ojeda and D. Romerobib
DSIC-II/09/07Examine your laziness. A lightweight procedural debugging technique for HaskellJ.Iborra, S.Marlowbib
DSIC-II/10/07Putting MDA in Practice: from BPMN to BPELP. Giner, V. Torresbib
DSIC-II/11/07Análisis y clasificación de lenguajes de programación orientados a agentes.García Montoro, Carlosbib
DSIC-II/12/07Towards a notion of usable rules for context-sensitive rewrite systemsRaúl Gutiérrez, Salvador Lucas, Xavier Urbainbib
DSIC-II/13/07The Buggy Benchmarks Collection of Haskell ProgramsJosep Silvabib
DSIC-II/14/07A functional framework for analysis of undemandedness in websitesM. Alpuente, D. Romero, and M. Zanellabib
DSIC-II/16/07Fast SAT-based polynomial constraint solving for termination toolsSalvador Lucas, Rafael Navarrobib
DSIC-II/17/07A Distributed Shortest Path Algorithm for Global Automated Transport SystemFrédérique C. Versteegh, Miguel A. Salidobib

  
www@dsic.upv.es