Publicacions

Llista de publicacions extreta de DBLP(Digital Bibliography & Library Project), lloc web de referència pel que fa a les publicacions més rellevants de la nostra àrea de recerca.

1997

A COMPARISON OF TWO SIMPLICIAL DECOMPOSITION ALGORITHM FOR TAP
Petri: sistema de gestion e información de tráfico en tiempo real por computacio...
A survey of some mathematical programming models in transportation
, :
Defeasible Specifications in Action Theories. IJCAI : 1441-1446
, , :
Adding Knowledge to the Action Description Language A. AAAI/IAAI : 454-459
, , :
Materialized Views Selection in a Multidimensional Database. VLDB : 156-165
, :
Advanced Information Systems Engineering, 9th International Conference CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings. Lecture Notes in Computer Science 1250, Springer , ISBN 3-540-63107-0 [contents]
, , , :
FOLRE: A Deductive Database System for the Integrated Treatment of Updates. Rules in Database Systems : 35-50
, , :
Validating Active Rules by Planning. Rules in Database Systems : 181-196
, :
Planning Based on View Updating in Deductive Databases. ISMIS : 348-359
, , :
Temporal Features of Class Populations and Attributes in Conceptual Models. ER : 57-70
, , :
An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD : 175-192
, , :
Formal Characterizations of Active Databases: Part II. DOOD : 247-264
, :
From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. DOOD : 26-32
, :
Structuring the Process of Integrity Maintenance. DEXA : 262-275
, , , :
The Role of Structural Events in Behaviour Specification. DEXA : 673-686
, :
Abductive Consequence Relations. Artif. Intell. 89(1-2): 149-171 ()
, :
Minimal and Consistent Evolution of Knowledge Bases. Journal of Applied Non-Classical Logics 7(1): 117-146 ()
, :
Qualifying Answers According to User Needs and Preferences. Fundam. Inform. 32(2): 121-137 ()

1996

, , , , , , :
FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD : 132-141
, , , , , , :
FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD : 132-141
, , , , , :
Docencia de las bases de Datos en la Facultat d'Informàtica de Barcelona. JIDBD : 16-23
, , , , , , :
FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD : 132-141
, :
Semantics for Update Rule Programs and Implementations in a Relational Database Management System. ACM Trans. Database Syst. 21(4): 526-571 ()
Un estudio de movilidad y modelización de la red de transporte de Zaragoza
PETRI: A PARALLEL ENVIROMENT FOR REAL-TIME TRAFFIC MANAGEMENT AND INFORMATION SY...
Estimación del estado del tráfico mediante ajuste de matrices o/d a partir de vo...
The Parallelization of AIMSUN2 Microscopic Simulator for ITS Applications
PETRI: A Parallel Environment for a Real-Time Traffic Management and Information...
UNA ENQUESTA DE MOBILITAT: EMOZ'93
THE PARALLELIZATION OF AIMSUN2 MICROSIMULATION SIMULATOR FOR ITS APPLICATIONS
A System optimal traffic assignment model with distributed parameters
Petri sistema de gestión e información de tráfico en tiempo real por computación...
UN ESTUDIO DE MOVILIDAD Y PLANIFICACIÓN DEL TRANSPORTE COLECTIVO DE ZARAGOZA
A simplicial decomposition algorithm for the general traffic assignment problem:...
Simulación de sistemas discretos
Quadern de Pràctiques d'Estadística I (FIB)
Càlcul de Probabilitats: Pràctiques de Laboratori
Model Lineal General. Pràctiques
Model Lineal General. Problemes
A Simplicial Decomposition Algorithm for the General Traffic Assignment Problem: RSDVI. Problem type solving capabilities
Una panorámica de los métodos lagrangianos para los problemas discretos de local...
SIMULACIÓN Y MODELIZACIÓN DE SISTEMAS
, , , :
Handling Conceptual Model Validation by Planning. CAiSE : 255-271
, , :
How to Tackle Schema Validation by View Updating. EDBT : 535-549
, :
Formal Characterization of Active Databases. Logic in Databases : 175-195
, :
Validating Conceptual Specifications Through Model Execution. Inf. Syst. 21(2): 167-186 ()

Pàgines