Publications

Publication list extracted from DBLP (Digital Bibliography & Library Project), reference website for publications of our area of research.

1996

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
, , , , , , :
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
, , , , , , :
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
, , , :
Handling Conceptual Model Validation by Planning. CAiSE : 255-271
, :
Strong Edge Features for Image Coding. ISMM : 443-450
, , :
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 ()
, , :
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259 ()
, :
A feature-based subband coding scheme. ICASSP : 2355-2358
, , :
Prediction error image coding using a modified stochastic vector quantization scheme. ICIP (3) : 451-454
, , :
Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. ICTAI : 478-479
, , , , :
Computation of Best Bounds of Probabilities from Uncertain Data. Computational Intelligence 12: 541-566 ()
, :
Abductive Change Operators. Fundam. Inform. 27(4): 385-411 ()

1995

PROCEDIMENTS D'OPTIMITZACIO I SIMULACIO APLICATS A TRANSPORT
Att zone access control implementations in the cities of barcelona and bologna
SIMULATION ASSISTED DESIGN AND ASSESSMENT OF VEHICLE GUIDANCE SYSTEMS
AN NEURSISTIC ALGORITHM FOR DYNAMIC NETWORK LOADING
A route based variant of the aimsun2 microsimulation model
Dynamic traffic assignment: consideration on some deterministic modelling approaches
, :
Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241 ()
, , :
Information System Concepts: Towards a Consolidation of Views, Proceedings of the IFIP International Working Conference on Information System Concepts (ISCO 1995), Marburg, Germany, 28-30 March 1995. IFIP Conference Proceedings 26, Chapman & Hall , ISBN 0-412-63950-5 [contents]
:
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases : 111-125
, , , , , :
Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien 266, Gesellschaft für Mathematik und Datenverarbeitung MbH , ISBN 3-88457-266-0 [contents]
, :
A Method for Explaining the Behaviour of Conceptual Models. CAiSE : 12-25
, :
Supporting Transaction Design in Conceptual Modelling of Information Systems. CAiSE : 40-53
, , :
An Experimental Distributed Deductive Database System. DOOD : 128-142
, , :
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. Ann. Math. Artif. Intell. 14(2-4): 151-176 ()
, :
Dynamic traffic assignment: Considerations on some deterministic modelling approaches. Annals OR 60(1): 1-58 ()

Pages