A

Aiello, Marco and Bussler, Chris and D'Andrea, Vincenzo and Yang, Jian (2003) Forum Session at the First International Conference on Service Oriented Computing (ICSOC03). UNSPECIFIED. (Unpublished)

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2003) Efficiently Integrating Boolean Reasoning and Mathematical Solving. UNSPECIFIED. (Unpublished)

B

Battiti, Roberto and Brunato, Mauro and Delai, Andrea (2003) Optimal Wireless Access Point Placement for Location-Dependent Services. UNSPECIFIED. (Unpublished)

Bermani, Emanuela and Boni, Andrea and Caorsi, Salvatore and Massa, Andrea (2003) An Innovative Real-Time Technique for Buried Object Detection. UNSPECIFIED.

Blanzieri, Enrico (2003) Theoretical Interpretations and Applications of Radial Basis Function Networks. UNSPECIFIED. (Unpublished)

Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto and Zanoni, Claudio (2003) Implict Culture-based Personal Agents for Knowledge Management. UNSPECIFIED.

Boato, Giulia and Granelli, Fabrizio (2003) MORA: a movement-based routing algorithm for ad hoc networks. UNSPECIFIED. (Unpublished)

Boni, Andrea and Pianegiani, Fernando and Petri, Dario (2003) Inverse Problems with SVMs-based Run-Time Reconfigurable Systems. UNSPECIFIED. (Unpublished)

Bonifacio, Matteo and Bouquet, Paolo and Mameli, Gianluca and Nori, Michele (2003) Peer - Mediated Distributed Knowledge Management. UNSPECIFIED. (Unpublished)

Bonifacio, Matteo and Camussone, Pierfranco (2003) Managing the KM Trade-Off: Knowledge Centralization versus Distribution. UNSPECIFIED. (In Press)

Bonifacio, Matteo and Molani, Alessandra (2003) The richness of diversity in knowledge creation: an interdisciplinary overview. UNSPECIFIED. (In Press)

Bouquet, Paolo and Giunchiglia, Fausto and van Harmelen, Frank and Serafini, Luciano and Stuckenschmidt, Heiner (2003) C-OWL: Contextualizing ontologies. UNSPECIFIED.

Bouquet, Paolo and Magnini, Bernardo and Serafini, Luciano and Zanobini, Stefano (2003) A SAT-Based Algorithm for Context Matching. UNSPECIFIED. (Unpublished)

Bouquet, Paolo and Serafini, Luciano (2003) On the difference between bridge rules and lifting axioms. UNSPECIFIED. (Unpublished)

Bouquet, Paolo and Serafini, Luciano and Zanobini, Stefano (2003) Semantic coordination: a new approach and an application. UNSPECIFIED. (Submitted)

Bresciani, Paolo and Marin, Floriana and Martinelli, Lucia and Sannicolo', Fabrizio (2003) Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain. UNSPECIFIED. (Submitted)

Bresciani, Paolo and Marin, Floriana and Martinelli, Lucia and Sannicolo', Fabrizio (2003) Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain. UNSPECIFIED. (In Press)

Brewster, Richard C. and Hell, Pavol and Rizzi, Romeo (2003) Sidepath results on packing $\vec{P}_1$'s and $\vec{P}_2$'s. UNSPECIFIED. (Unpublished)

Busetta, Paolo and Bouquet, Paolo and Adami, Giordano and Bonifacio, Matteo and Palmieri, Francesco (2003) K-Trek: A Peer-to-Peer Approach To Distribute Knowledge In Large Environments. UNSPECIFIED. (Unpublished)

C

Caorsi, Salvatore and Donelli, Massimo and Franceschini, Davide and Massa, Andrea (2003) A New Methodology Based on an Iterative Multi-scaling for Microwave Imaging. UNSPECIFIED.

Caorsi, Salvatore and Massa, Andrea and Donelli, Massimo (2003) Detection, Location and Imaging of Multiple Scatterers by means of the Iterative Multiscaling Method. UNSPECIFIED. (In Press)

Caorsi, Salvatore and Massa, Andrea and Pastorino, Matteo and Donelli, Massimo (2003) Improved Microwave Imaging Procedure for Non-Destructive Evaluations of Two-Dimensional Structures. UNSPECIFIED. (In Press)

Caorsi, Salvatore and Massa, Andrea and Pastorino, Matteo and Raffetto, Mirco and Randazzo, Andrea (2003) Detection of Buried Inhomogeneous Elliptic Cylinders by a Memetic Algorithm. UNSPECIFIED.

Caorsi, Salvatore and Massa, Andrea and Pastorino, Matteo and Randazzo, Andrea (2003) Synthesis of sum and difference patterns for monopulse antennas by an hybrid real/integer-coded differential evolution method. UNSPECIFIED. (In Press)

Caorsi, Salvatore and Massa, Andrea and Pastorino, Matteo and Randazzo, Andrea and Rosani, Andrea (2003) A Reconstruction Procedure for Microwave Nondestructive Evaluation based on a Numerically Computed Green's Function. UNSPECIFIED. (In Press)

Cuel, Roberta and Bonifacio, Matteo and Grossele, Mirko (2003) Knowledge Nodes: the reification of organizational communities. A case study. UNSPECIFIED. (In Press)

D

D'Andrea, Vincenzo and Aiello, Marco (2003) Services and Objects: Open Issues. UNSPECIFIED. (Unpublished)

Degano, Pierpaolo and Gadducci, Fabio and Priami, Corrado (2003) Causality and replication in concurrent processes. UNSPECIFIED. (Submitted)

Degano, Pierpaolo and Priami, Corrado (2003) Enhanced Operational Semantics in Systems Biology. UNSPECIFIED. (In Press)

F

Franconi, Enrico and Kuper, Gabriel and Lopatenko, Andrei and Serafini, Luciano (2003) A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. UNSPECIFIED.

G

Ghidini, Chiara and Giunchiglia, Fausto (2003) A semantics for abstraction. UNSPECIFIED. (Unpublished)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John (2003) Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. UNSPECIFIED.

Giunchiglia, Fausto and Shvaiko, Pavel (2003) Semantic Matching. UNSPECIFIED.

Giunchiglia, Fausto and Zaihrayeu, Ilya (2003) Implementing Database Coordination in P2P Networks. UNSPECIFIED. (In Press)

Granelli, Fabrizio and Boato, Giulia (2003) A novel methodology for analysis of the computational complexity of block ciphers: Rijndael, Camellia and Shacal-2 compared. UNSPECIFIED. (Unpublished)

K

Kliazovich, Dzmitry and Granelli, Fabrizio (2003) A Delayed-ACK Scheme for Performance Enhancement of Wireless LANs. UNSPECIFIED. (Unpublished)

Korenblat, Katerina and Priami, Corrado (2003) Extraction of pi-calculus specifications from UML sequence and state diagrams. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo (2003) Distributed Access Control for Web and Business Processes. UNSPECIFIED. (Unpublished)

Kumar, K M Senthil (2003) A Java implementation of Coordination Rules as ECA Rules. UNSPECIFIED. (Unpublished)

L

Lazovik, Alexander and Aiello, Marco and Papazoglou, Mike (2003) Planning and monitoring the execution of web service requests. UNSPECIFIED. (Unpublished)

Lecca, Paola and Priami, Corrado (2003) Cell Cycle Control in Eukaryotes: a BioSpi model. UNSPECIFIED. (In Press)

Lecca, Paola and Priami, Corrado and Laudanna, Carlo and Constantin, Gabriela (2003) Predicting cell adhesion probability via the biochemical stochastic pi-calculus. UNSPECIFIED. (Unpublished)

Li, Bo and Battiti, Roberto (2003) Supporting Service Differentiation with Enhancements of the IEEE 802.11 MAC Protocol: Models and Analysis. UNSPECIFIED. (Unpublished)

Lorenzelli, Leandro and Rangra, Kamal J. and Collini, Cristian and Giacomozzi, Flavio and Margesin, Benno and Pianegiani, Fernando (2003) Electro-Mechanical Performance Analysis of RF MEMS Switches. UNSPECIFIED.

M

Macii, David and Pianegiani, Fernando and Carbone, Paolo and Petri, Dario (2003) A Criterion of stability for High-Accuracy Digital Oscillators based on Delta-Sigma Modulators. UNSPECIFIED.

Mardare, Radu and Priami, Corrado (2003) Computing the accessibility relation for the Ambient Calculus. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2003) A Propositional Branching Temporal Logic for the Ambient Calculus. UNSPECIFIED. (Unpublished)

Mich, Luisa and Franch, Mariangela and Novi Inverardi, Pierluigi and Marzani, Pietro (2003) Web site quality evaluation: Lightweight or Heavyweight Models? UNSPECIFIED. (In Press)

Modafferi, Stefano and Koshutanski, Hristo and Plebani, Pierluigi and Zlatev, Zlatko and Bolotin, Alexei and Wang, Xia and Berardi, Daniela (2003) The First International Conference on Service Oriented Computing: Doctoral Consortium Proceedings. UNSPECIFIED. (Unpublished)

N

Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and Schuch da Rosa, Debora (2003) Static Analysis for Systems Biology. UNSPECIFIED. (In Press)

Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and da Rosa, Debora Schuch (2003) Control Flow Analysis for BioAmbients. UNSPECIFIED. (Unpublished)

P

Papazoglou, Michael P. (2003) Web Services and Business Transactions. UNSPECIFIED.

Patel-Schneider, Peter F. and Sebastiani, Roberto (2003) A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. UNSPECIFIED.

Priami, Corrado (2003) Design Environments for Complex Systems. UNSPECIFIED. (In Press)

Priami, Corrado (eds.) (2003) Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems". Trento : Università degli Studi di Trento.

R

Ronchetti, Marco (2003) From the classroom to the computer screen: delivering a traditional University course in a non-traditional way. UNSPECIFIED. (In Press)

Ronchetti, Marco and Giuliani, Alberto and Saini, Paramjeet (2003) De-Fragmenting Knowledge: Using Metadata for Interconnecting Courses. UNSPECIFIED. (In Press)

Ronchetti, Marco and Trifonova, Anna (2003) Supporting Mobile Learning with Location-Aware Printing Service. UNSPECIFIED. (Unpublished)

S

Saini, Paramjeet and Ronchetti, Marco (2003) Deriving Ontology-Based Metadata for E-Learning form the ACM Computing Curricula. UNSPECIFIED. (In Press)

Salvadori, Elio and Battiti, Roberto (2003) Traffic Engineering in G-MPLS networks with QoS guarantees. UNSPECIFIED. (Unpublished)

Salvadori, Elio and Battiti, Roberto and Ardito, Filippo (2003) Lazy Rerouting for MPLS Traffic Engineering. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)

Serafini, Luciano and Bouquet, Paolo and Magnini, Bernardo and Zanobini, Stefano (2003) An algorithm for matching contextualized schemas via SAT. UNSPECIFIED. (Unpublished)

Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2003) Local Relational Model: a logical formalization of database coordination. UNSPECIFIED. (Unpublished)

Severina, D. and Lo Cigno, R. (2003) CDMA Radio Network Planning: A Comparison of Different Interference Evaluation Methods. UNSPECIFIED. (Unpublished)

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

T

Trifonova, Anna (2003) Mobile Learning - Review of the Literature. UNSPECIFIED. (Unpublished)

Trifonova, Anna and Ronchetti, Marco (2003) A GENERAL ARCHITECTURE FOR M-LEARNING. UNSPECIFIED. (Unpublished)

U

Ucelli, Giuliana and De Amicis, Raffaele and Conti, Giuseppe and Giunchiglia, Fausto and Noll, Stefan (2003) A Semantic-Based Information Management System to Support Innovative Product Design. UNSPECIFIED. (Unpublished)

Y

Yatskevich, Mikalai (2003) Preliminary Evaluation of Schema Matching Systems. UNSPECIFIED. (Unpublished)

Z

Zaihrayeu, Ilya (2003) Query Answering in Peer-to-Peer Database Networks. UNSPECIFIED. (Unpublished)

Zanobini, Stefano (2003) Improving CtxMatch by means of grammatical and ontological knowledge - in order to handle attributes. UNSPECIFIED. (Unpublished)