Items where Department is "Information Engineering and Computer Science" and Year is 2001

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Authors(s) | Item Type | No Grouping
Number of items: 12.

Departmental Technical Report

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. UNSPECIFIED.

Bouquet, Paolo and Ghidini, Chiara and Giunchiglia, Fausto and Blanzieri, Enrico (2001) Theories and uses of context in knowledge representation and reasoning. UNSPECIFIED.

Caorsi, S. and Donelli, Massimo and Massa, Andrea and Pastorino, Matteo (2001) A Numerical Approach for the Evaluation of the Nonlinear Effects on the Attenuation Constant in High Temperature Superconduction Transmission Lines. UNSPECIFIED.

Caorsi, Salvatore and Massa, Andrea and Pastorino, Matteo (2001) A Crack Identification Microwave Procedure based on a Genetic Algorithm for Non-Destructive Testing. UNSPECIFIED.

Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2001) The Tropos Software Development Methodology: Processes, Models and Diagrams. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Perini, Anna and Sannicolo', Fabrizio (2001) Knowledge Level Software Engineering. UNSPECIFIED.

Nottegar, Chiara and Priami, Corrado and Degano, Pierpaolo (2001) Performance Evaluation of Mobile Processes via Abstract Machines. UNSPECIFIED.

Panconesi, Alessandro and Rizzi, Romeo (2001) Some Simple Distributed Algorithms for Sparse Networks. UNSPECIFIED. (Unpublished)

Priami, Corrado and Regev, Aviv and Shapiro, Ehud and Silverman, William (2001) Application of a stochastic name-­passing calculus to representation and simulation of molecular processes. UNSPECIFIED.

Rizzi, Romeo (2001) On the Recognition of P4-Indifferent Graphs. UNSPECIFIED.

Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2001) The Local Relational Model: Model and Proof Theory. UNSPECIFIED.

Serpico, Sebastiano B. and Bruzzone, Lorenzo (2001) A New Search Algorithm for Feature Selection in Hyperspectral Remote Sensing Images. UNSPECIFIED.

This list was generated on Fri Jun 22 01:02:58 2018 CEST.