A

Aiello, Marco and Smeulders, Arnold M.W. (2002) Thick 2D Relations for Document Understanding. UNSPECIFIED. (Unpublished)

Andretta, Elena and Bonifacio, Matteo (2002) Problematiche di Distributed Knowledge Management nel mondo B2B. UNSPECIFIED. (Unpublished)

Anguita, Davide and Boni, Andrea and Ridella, Sandro (2002) The Digital Kernel Perceptron. UNSPECIFIED. (In Press)

Anguita, Davide and Boni, Andrea and Tagliafico, Luca (2002) SVM Performance Assessment for the Control of Injection Moulding Processes and Plasticating Extrusion. UNSPECIFIED.

Armando, Alessandro and Castellini, Claudio and Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (2002) SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective. UNSPECIFIED. (Unpublished)

Atzori, L. and De Natale, Francesco G. B. and Granelli, F. (2002) Adaptive Anisotropic Filtering (AAF) for Real-Time Visual Enhancement of Mpeg-Coded Video Sequences. UNSPECIFIED. (In Press)

Atzori, Luigi and De Natale, Francesco G.B. (2002) Spectral Classified Vector Quantization (SCVQ) for Multispectral Images. UNSPECIFIED.

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements. UNSPECIFIED.

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. UNSPECIFIED. (In Press)

Audemard, Gilles and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Bounded Model Checking for Timed Systems. UNSPECIFIED. (In Press)

B

Battiti, Roberto and Brunato, Mauro and Villani, Alessandro (2002) Statistical Learning Theory for Location Fingerprinting in Wireless LANs. UNSPECIFIED. (Unpublished)

Battiti, Roberto and Le, Nhat Thang and Villani, Alessandro (2002) Location-aware computing: a neural network model for determining location in wireless LANs. UNSPECIFIED. (Unpublished)

Benedikt, Michael and Fan, Wenfei and Kuper, Gabriel M. (2002) Structural Properties of XPath Fragments. UNSPECIFIED. (Unpublished)

Benerecetti, Massimo and Bouquet, Paolo and Ghidini, Chiara (2002) On the dimensions of context dependence. UNSPECIFIED. (In Press)

Bernstein, Philip A. and Giunchiglia, Fausto and Kementsietsidis, Anastasios and Mylopoulos, John and Serafini, Luciano and Zaihrayeu, Ilya (2002) Data Management for Peer-to-Peer Computing: A Vision. UNSPECIFIED.

Bertossi, Alan and Pinotti, Cristina M. and Tan, Richard (2002) Channel Assignment with Separation for Interference Avoidance in Wireless Networks. UNSPECIFIED. (In Press)

Bertossi, Alan Albert and Olariu, Stephan and Pinotti, Maria Cristina and Zheng, S.-Q. (2002) Selection on Matrices Classifying Rows and Columns. UNSPECIFIED. (Submitted)

Bertossi, Alan Albert and Pinotti, Maria Cristina and Rizzi, Romeo (2002) Channel Assignment with Separation on Trees and Interval Graphs. UNSPECIFIED. (Submitted)

Bertossi, Alan Albert and Pinotti, Maria Cristina and Rizzi, Romeo and Gupta, Phalguni (2002) Allocating Servers in Infostations for Bounded Simultaneous Requests. UNSPECIFIED. (Submitted)

Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto and Zanoni, Claudio (2002) Personal Agents for Implicit Culture Support. UNSPECIFIED. (Unpublished)

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol Specifications. UNSPECIFIED.

Boni, Andrea (2002) Adaptive Model Selection for Digital Linear Classifiers. UNSPECIFIED. (In Press)

Bonifacio, Matteo and Bouquet, Paolo and Cuel, Roberta (2002) Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge Management. UNSPECIFIED. (Unpublished)

Bonifacio, Matteo and Bouquet, Paolo and Ferrario, Roberta and Ponte, Diego (2002) Rationality, Autonomy and Coordination: the Sunk Costs Perspective. UNSPECIFIED. (Unpublished)

Bonifacio, Matteo and Bouquet, Paolo and Merigliano, Davide (2002) Knowledge e Management: sono compatibili? UNSPECIFIED.

Bonifacio, Matteo and Bouquet, Paolo and Traverso, Paolo (2002) Enabling Distributed Knowledge Management: Managerial and Technological Implications. UNSPECIFIED.

Bonifacio, Matteo and Cuel, Roberta and Mameli, Gianluca and Nori, Michele (2002) A Peer-to-Peer Architecture for Distributed Knowledge Management. UNSPECIFIED. (Unpublished)

Bresciani, Paolo and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2002) TROPOS: An Agent-Oriented Software Development Methodology. UNSPECIFIED.

Bresciani, Paolo and Sannicolò, Fabrizio (2002) Requirements Analysis in Tropos: a self referencing example. UNSPECIFIED.

Bresciani, Paolo and Sannicolò, Fabrizio (2002) Tropos Requirements Analysis for defining a Tropos tool. UNSPECIFIED.

Brunato, Mauro and Battiti, Roberto (2002) PILGRIM: A Location Broker and Mobility-Aware Recommendation System. UNSPECIFIED. (Submitted)

Brunato, Mauro and Battiti, Roberto and Salvadori, Elio (2002) Dynamic load balancing in WDM Networks. UNSPECIFIED.

Brunato, Mauro and Battiti, Roberto and Villani, Alessandro and Delai, Andrea (2002) A Location-Dependent Recommender System for the Web. UNSPECIFIED. (Unpublished)

Brunato, Mauro and Kiss Kalló, Csaba (2002) Transparent Location Fingerprinting for Wireless Services. UNSPECIFIED. (In Press)

Bruzzone, Lorenzo and Casadio, S. and Cossu, Roberto and Sini, Francesco and Zehner, Claus (2002) A system for monitoring NO2 emissions from biomass burning by using GOME and ATSR-2 data. UNSPECIFIED. (Unpublished)

Bruzzone, Lorenzo and Cossu, Roberto (2002) Analysis of Multitemporal Remote-Sensing Images for Change Detection: Bayesian Thresholding Approaches. UNSPECIFIED. (In Press)

Bruzzone, Lorenzo and Cossu, Roberto (2002) A Multiple Cascade-Classifier System for a Robust and Partially Unsupervised Updating of Land-Cover Maps. UNSPECIFIED.

Bruzzone, Lorenzo and Cossu, Roberto and Vernazza, Gianni (2002) Combining Parametric and Non-parametric Algorithms for a Partially Unsupervised Classification of Multitemporal Remote-Sensing Images. UNSPECIFIED.

Bruzzone, Lorenzo and Fernandez Prieto, Diego (2002) An Adaptive Semi-Parametric and Context-Based Approach to Unsupervised Change Detection in Multitemporal Remote-Sensing Images. UNSPECIFIED.

Bruzzone, Lorenzo and Fernandez Prieto, Diego (2002) A partially unsupervised cascade classifier for the analysis of multitemporal remote-sensing images. UNSPECIFIED. (Unpublished)

C

Caorsi, Salvatore and Bermani, Emanuela and Massa, Andrea (2002) A Finite Element Procedure Based on a Boundary Value Approach for the Evaluation of the Electromagnetic Exposure in Biological Phantoms. UNSPECIFIED.

Caprara, Alberto and Rizzi, Romeo (2002) Improved Approximation for Breakpoint Graph Decomposition and Sorting by Reversals. UNSPECIFIED.

Caprara, Alberto and Rizzi, Romeo (2002) Packing Triangles in Bounded Degree Graphs. UNSPECIFIED.

Cimatti, Alessandro and Clarke, Edmund and Giunchiglia, Enrico and Giunchiglia, Fausto and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) NuSMV2: an Open Source Tool for Symbolic Model Checking. UNSPECIFIED.

Cimatti, Alessandro and Giunchiglia, Enrico and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) Integrating BDD-based and SAT-based Symbolic Model Checking. UNSPECIFIED. (In Press)

Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto (2002) Improving the Encoding of LTL Model Checking into SAT. UNSPECIFIED. (In Press)

Curti, M. and Degano, Pierpaolo and Priami, Corrado and Baldari, C.T. (2002) Causal P-Calculus for Biochemical Modelling. UNSPECIFIED. (Unpublished)

D

Das, Sajal K. and Pinotti, Maria Cristina (2002) Load Balanced and Optimal Disk Allocation Strategy for Partial Match Queries on Multi-dimensional Files. UNSPECIFIED. (In Press)

De Natale, Francesco G.B. and Granelli, Fabrizio (2002) Low-Complexity Context-Based Motion Compensation for VLBR Video Encoding. UNSPECIFIED. (Unpublished)

F

Ferrario, Roberta (2002) Il ragionamento controfattuale: un modello e la sua applicazione al ragionamento pratico. UNSPECIFIED. (In Press)

Fontana, Giorgio (2002) A Compensated Current Injection circuit, theory and applications. UNSPECIFIED. (Unpublished)

Fontana, Giorgio and Tonello, Alessandro (2002) Exact design solutions for photodiode transimpedance amplifiers based on FET input OP-AMPs. UNSPECIFIED. (Unpublished)

G

Garzetti, Maddalena and Giorgini, Paolo and Mylopoulos, John and Sannicolò, Fabrizio (2002) Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis. UNSPECIFIED.

Ghidini, Chiara and Giunchiglia, Fausto (2002) What is Local Models Semantics? UNSPECIFIED. (In Press)

Giorgini, Paolo and Nicchiarelli, Eleonora and Mylopoulous, John and Sebastiani, Roberto (2002) Reasoning with Goal Models. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Zaihrayeu, Ilya (2002) Making peer databases interact – A vision for an architecture supporting data coordination. UNSPECIFIED.

Granelli, Fabrizio and De Natale, Francesco G. B. and Vernazza, Gianni (2002) A Contrast-Based Approach to the Identification of Texture Faults. UNSPECIFIED. (Unpublished)

K

Koshutanski, Hristo and Massacci, Fabio (2002) An Access Control System for Business Processes for Web Services. UNSPECIFIED. (Unpublished)

L

Lancia, Giuseppe and Pinotti, Maria Cristina and Rizzi, Romeo (2002) Haplotyping Populations: Complexity and Approximations. UNSPECIFIED. (Unpublished)

Li, Bo and Battiti, Roberto (2002) A channel assignment and handoff strategy for mobile multimedia cellular communication systems with variable bandwidth support. UNSPECIFIED. (Submitted)

M

Marchese, Maurizio and Jacucci, Gianni and Martin, Mike and Wessels, Bridgette and Dittrich, Yvonne and Eriksén, Sara (2002) A participatory design approach for the development of support environments in eGovernment services to citizens. UNSPECIFIED.

Massa, Andrea (2002) Genetic Algorithm (GA) Based Techniques for 2D Microwave Inverse Scattering. UNSPECIFIED.

McBader, Stephanie and Clementel, Luca and Sartori, Alvise and Boni, Andrea and Lee, Peter (2002) SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. UNSPECIFIED. (Unpublished)

Mich, Luisa and Mylopoulos, John and Zeni, Nicola (2002) Improving the Quality of Conceptual Models with NLP Tools: An Experiment. UNSPECIFIED. (Unpublished)

P

Papazoglou, Mike and Aiello, Marco and Pistore, Marco and Yang, Jian (2002) XSRL: An XML web-services request language. UNSPECIFIED. (Unpublished)

Papazoglou, Mike P. and Yang, Jian and Kramer, Bend J. (2002) Leveraging Web-Services and Peer-to-Peer Networks. UNSPECIFIED. (Unpublished)

Perini, Anna and Susi, Angelo and Giunchiglia, Fausto (2002) Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology. UNSPECIFIED.

Perini, Anna and Susi, Angelo and Giunchiglia, Fausto (2002) Designinig Coordination among Human and Software Agents. UNSPECIFIED. (Unpublished)

Pinotti, Cristina Maria and Saxena, Navrati (2002) Push less and pull the current highest demanded data item to decrease the waiting time in asymmetric communication environments. UNSPECIFIED. (Submitted)

Priami, Corrado (2002) Language-Based Performance Prediction for Distributed and Mobile Systems. UNSPECIFIED. (In Press)

R

Rizzi, Romeo (2002) Complexity of Context-free Grammars with Exceptions, and the inadequacy of grammars as models for XML and SGML. UNSPECIFIED.

Rizzi, Romeo (2002) Cycle Cover Property and CPP=SCC Property are not Equivalent. UNSPECIFIED.

Rizzi, Romeo (2002) Finding 1-factors in bipartite regular graphs, and edge-coloring bipartite graphs. UNSPECIFIED.

Rizzi, Romeo (2002) Impaccando T-tagli e T-giunti. UNSPECIFIED.

Rizzi, Romeo (2002) A Simple Minimum T-Cut Algorithm. UNSPECIFIED.

Ronchetti, Marco (2002) Why web pages annotation tools are not killer applications? A new approach to an old problem. UNSPECIFIED. (Unpublished)

Ronchetti, Marco and Rizzi, Matteo (2002) Web-Notes: a tool for supporting contextual asynchronous discussion on an e-learning platform. UNSPECIFIED. (Unpublished)

S

Salvadori, Elio and Battiti, Roberto (2002) A Load Balancing Scheme for Congestion Control in MPLS Networks. UNSPECIFIED. (Submitted)

Salvadori, Elio and Battiti, Roberto and Sabel, Mikalai (2002) A Reactive Scheme for Traffic Engineering in MPLS Networks. UNSPECIFIED. (Submitted)

Sannicolo', Fabrizio and Perini, Anna and Giunchiglia, Fausto (2002) The Tropos Modeling Language. A User Guide. UNSPECIFIED. (Unpublished)

Simone, Giovanni and Farina, Alfonso and Morabito, Francesco and Serpico, Sebastiano Bruno and Bruzzone, Lorenzo (2002) Image fusion techniqes for remote sensing applications. UNSPECIFIED.

Stuckenschmidt, Heiner and van Harmelen, Frank and Giunchiglia, Fausto (2002) Query Processing in Ontology-Based Peer-To-Peer Systems. UNSPECIFIED. (Unpublished)