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)

Albeverio, Sergio and Mazzucchi, Sonia (2003) Feynman path integrals for polynomially growing potentials. UNSPECIFIED. (Unpublished)

Alonso Rodriguez, Ana and Hiptmair, Ralf and Valli, Alberto (2003) Mixed finite element approximation of eddy current problems. 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

Bagagiolo, Fabio (2003) Optimal control of finite horizon type for a dimensional delayed switching system. UNSPECIFIED. (Unpublished)

Battafarano, Italo Michele and Eilert, Hildegard (2003) Courage: die starke Frau der deutschen Literatur. IRIS: Ricerche di cultura europea = Forschungen zur europäischen Kultur; 21 . Bern [etc.]: Peter Lang. ISBN 978-3-03910-131-3

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.

Bernasconi, Michele and Mittone, Luigi (2003) Income tax evasion and artificial reference points: two experiments. UNSPECIFIED. (Unpublished)

Bertolazzi, Enrico and Biral, Francesco and Da Lio, Mauro (2003) Symbolic-Numeric Efficient Solution of Optimal Control Problems for Multibody Systems. UNSPECIFIED. (Unpublished)

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)

Bonaccorsi, Stefano and Fantozzi, Marco (2003) Semilinear stochastic Volterra equations with dissipative nonlinearity. UNSPECIFIED. (Unpublished)

Bonaccorsi, Stefano and Fantozzi, Marco (2003) Volterra integro-differential equations with accretive operators and non autonomous perturbations. UNSPECIFIED. (In Press)

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)

Brenner, Thomas and Vriend, Nicolaas J. (2003) On the Behavior of Proposers in Ultimatum Games. UNSPECIFIED. (Unpublished)

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)

Chiari, Giorgio (2003) Cooperative learning in italian schools : learning and democracy. In «Quaderni del Dipartimento di Sociologia e Ricerca Sociale», n. 30 Università degli Studi di Trento. (Unpublished)

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)

Da Prato, Giuseppe and Debussche, Arnaud and Tubaro, Luciano (2003) Irregular semi-convex gradient systems perturbed by noise and application to the stochastic Cahn-Hilliard equation. UNSPECIFIED. (Unpublished)

Damian, Erika (2003) Loop Lie algebras which are sl2(C)-modules. UNSPECIFIED thesis, UNSPECIFIED.

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)

E

Egidi, Massimo (2003) Decomposition patterns in problem solving. UNSPECIFIED. (Unpublished)

Espa, Giuseppe and Benedetti, Roberto and De Meo, Anna and Espa, Salvatore (2003) Mappe di probabilità di sito archeologico : un passo avanti. UNSPECIFIED. (Unpublished)

F

Felice, G. (2003) Dinamica strutturale e occupazione nei servizi. UNSPECIFIED. (Unpublished)

Fortuna, E. and Gianni, P. and Luminati, D. (2003) Constructive topological classification of real algebraic surfaces. UNSPECIFIED. (Unpublished)

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

Garrido, Nicolas (2003) The Desirable Organizational Structure for Evolutionary Firms in Static Landscapes. UNSPECIFIED. (Unpublished)

Gerardo Giorda, Luca (2003) Convergence Analysis of a Domain Decomposition FEM Approximation of the Isentropic Euler Equation. UNSPECIFIED. (Unpublished)

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

Ghiloni, Riccardo (2003) Second Order Homological Obstructions and Global Sullivan - type Conditions on Real Algebraic Varieties. UNSPECIFIED. (Unpublished)

Ghosh, Mini and Pugliese, Andrea (2003) Seasonal Population Dynamics of Ticks, and its Influence on Infection Transmission: A Semi-discrete Approach. 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)

Guarda, Paolo (2003) Immissioni: tra tutela proprietaria e diritto dell’ambiente. In «Diritto e Formazione», UNSPECIFIED, pp. 1251-1262.

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)

Leijonhufvud, Axel (2003) The long swings in economic understanding. 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)

Mazzucchi, Sonia (2003) Feynman Path Integrals. UNSPECIFIED thesis, UNSPECIFIED.

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

Mittone, Luigi (2003) Altruism without reciprocation in children. UNSPECIFIED. (Unpublished)

Mittone, Luigi (2003) The Condorcet paradox: an experimental approach to a voting process. UNSPECIFIED. (Unpublished)

Mittone, Luigi (2003) Ethical altruism and redistribution: an experimental approach. UNSPECIFIED. (Unpublished)

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)

Moretti, Valter and Pinamonti, Nicola (2003) Holography, SL(2,R) symmetry, Virasoro algebra and all that in Rindler spacetime. UNSPECIFIED. (Unpublished)

Moretti, Valter and Pinamonti, Nicola (2003) QFT holography near the horizon of Schwarzschild-like spacetimes. UNSPECIFIED. (Unpublished)

N

Nicolini, Davide and Bruni, Attila and Fasol, Rino (2003) Telemedicina : una rassegna bibliografica introduttiva. In «Quaderni del Dipartimento di Sociologia e Ricerca Sociale», n. 29 Università degli Studi di Trento.

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

Pagliacci, Michela (2003) Cycle type and Kazhdan Lustig R-polynomials. UNSPECIFIED thesis, UNSPECIFIED.

Pagliacci, Michela (2003) Kazhdan-Lusztig R-polynomials of permutations containing a 231 or 312 pattern. UNSPECIFIED. (Unpublished)

Panizzolo, Davide (2003) Maps between projective varieties : description of the general fiber of a Fano Mori contraction. UNSPECIFIED thesis, UNSPECIFIED.

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.

Perotti, Alessandro (2003) Quaternionic Regular Functions and the @-Neumann Problem in C2. UNSPECIFIED. (Unpublished)

Pilati, Luciano and Boatto, Vasco (2003) Contratto d'area cooperativo contro il rischio sistemico di produzione in agricoltura. UNSPECIFIED. (Unpublished)

Pinamonti, Nicola and Vanzo, Luciano (2003) Central Charges and Boundary Fields for two Dimensional Dilatonic Black Holes. UNSPECIFIED. (Unpublished)

Ploner, Matteo (2003) The Financial Markets and Wealth Effects on Consumption: an Experimental Analysis. UNSPECIFIED. (Unpublished)

Poenaru, V (2003) Geometric simple connectivity and low-dimentional topology. UNSPECIFIED. (Unpublished)

Poenaru, V. (2003) Geometric Simple connectivity in smooth Four-dimentional Topology (Po V-A): an outline. UNSPECIFIED. (Unpublished)

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.

Pugliese, Andrea and Tonetto, Lorenza (2003) Thresholds for macroparasite infections. UNSPECIFIED. (Unpublished)

Pugno, Maurizio (2003) The service paradox and endogenous economic growth. UNSPECIFIED. (Unpublished)

R

Recupero, Vincenzo (2003) On a model of phase relaxation for the hyperbolic Stefan problem. UNSPECIFIED. (In Press)

Roberto, Tamborini (2003) Il contratto della docenza universitaria. Un problema 'Multi-Tasking'. UNSPECIFIED. (Unpublished)

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

Titarev, Vladimir and Toro, Eleuterio Francisco (2003) On the use of TVD fluxes in ENO and WENO schemes. UNSPECIFIED. (Unpublished)

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)

V

Velupillai, Kumaraswamy (2003) Economics and the Complexity Vision: Chimerical Partners or Elysian Adventurers? UNSPECIFIED. (Unpublished)

Velupillai, Kumaraswamy (2003) Essays on Computable Economics, Methodology and the Philosophy of Science. 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)