Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Albert Rubio's Home Page
[go: Go Back, main page]

Albert Rubio

Universitat Politècnica de Catalunya
Departament de Llenguatges i Sistemes Informàtics
MODUL C6
C/ Jordi Girona, 1-3
E-08034 Barcelona, Spain.

E-mail: rubio@lsi.upc.es
Phone: +34-93-401-7988
Fax: +34-93-401-7014
I'm working in the Programming Group of the Department of Software, at the Technical University of Catalonia, in Barcelona.

Research interest


Have a look at TPDB the new Termination Problem library. It provides a variety of test problems on termination of processes (logic and functional programs, rewrite systems,...).


TERMPTATION (TERMination Proof Techniques automATION)
is a new fully automated system for proving termination (and innermost termination) of term rewrite systems (developed by C. Borralleras and A. Rubio). New version: Feb 2003.
Try it and send us your comments !!!

The TerminationLab (developed by P. Nivela, R. Nieuwenhuis and A. Rubio) is a termination proof checker based on the MSPO method (by C. Borralleras, M. Ferreira and A. Rubio)

My on-line papers are here.

Research events I'm involved in.