|
| UBLCS-2006-01 |
Lambda-Types on the Lambda-Calculus with Abbreviations: a
Certified Specification
Guidi, F. |
|
| UBLCS-2006-02 |
On the Quality-Based Evaluation and Selection of Grid Services
(Ph.D. Thesis)
Andreozzi, S. |
|
| UBLCS-2006-03 |
Transactional Aspects in Coordination and Composition of Web
Services (Ph.D. thesis)
Bocchi, L. |
|
| UBLCS-2006-04 |
Semantic Frameworks for Implicit Computational Complexity
(Ph.D. thesis)
Dal Lago, U. |
|
| UBLCS-2006-05 |
Fault Tolerant Knowledge Level Inter-Agent Communication in
Open Multi-Agent Systems (Ph.D. thesis)
Dragoni, N. |
|
| UBLCS-2006-06 |
Middleware Services for Dynamic Clustering of Application
Servers (Ph.D. Thesis)
Lodi, G. |
|
| UBLCS-2006-07 |
Meta Model Management for (Semi) Structured and Uncertain
Models (Ph.D. thesis)
Magnani, M. |
|
| UBLCS-2006-08 |
Towards Abstractions for Web Services Composition (Ph.D.
thesis)
Mazzara, M. |
|
| UBLCS-2006-09 |
Global Computing: an Analysis of Trust and Wireless
Communications (Ph.D. Thesis)
Mezzetti, N. |
|
| UBLCS-2006-10 |
Fast and Fair Event Delivery in Large Scale Online Games over
Heterogeneous Networks (Ph.D. thesis)
Palazzi, C. E. |
|
| UBLCS-2006-11 |
Interoperability of Annotation Languages in Semantic Web
Applications Design (Ph.D. Thesis)
Presutti, V. |
|
| UBLCS-2006-12 |
Advanced Machine Learning Techniques for Digital Mammography
(Ph.D. thesis)
Roffilli, M. |
|
| UBLCS-2006-13 |
Modular Algorithms for Component Replication (Ph.D.
Thesis)
Vuckovic, J. |
|
| UBLCS-2006-14 |
Performative Patterns for Designing Verifiable ACLs
Dragoni, N.; Gaspari, M. |
|
| UBLCS-2006-15 |
Towards Flexible Information Systems: Bridging the Gap Between
Theory and Practice
Magnani, M.; Montesi, D. |
|
| UBLCS-2006-16 |
Improving the selection of close-native protein structures in
decoy sets using a graph theory-based approach
Casadio, R.; Fariselli, P.; Margara, L.; Medri, F.; Vassura,
M. |
|
| UBLCS-2006-17 |
A Secure Peer Sampling Service as a "Hub attack"
Countermeasure
Jesi, G. P.; Gavidia, D.; Gamage, C.; van Steen, M. |
|
| UBLCS-2006-18 |
Modified Realizability and Inductive Types
Asperti, A.; Tassi, E. |
|
| UBLCS-2006-19 |
Towards Automatic Social Bootstrapping of Peer-to-Peer
Protocols
Hales, D.; Babaoglu, O. |
|
| UBLCS-2006-20 |
SOCK: a calculus for service oriented computing
Guidi, C.; Lucchi, R.; Zavattaro, G.; Busi, N.; Gorrieri,
R. |
|
| UBLCS-2006-21 |
Evolving Networks for Social Optima in the "Weakest Link
Game"
Rossi, G.; Arteconi, S.; Hales, D. |
|
| UBLCS-2006-22 |
Broadcasting at the Critical Threshold in Peer-to-Peer
Networks
Arteconi, S.; Hales, D.; Babaoglu, O. |
|
| UBLCS-2006-23 |
Emergent Social Rationality in a Peer-to-Peer System
Marcozzi, A.; Hales, D. |
|
| UBLCS-2006-24 |
Reconstruction of the Protein Structures from Contact
Maps
Margara, L.; Vassura, M.; di Lena, P.; Medri, F.; Fariselli, P.;
Casadio, R. |
|
| UBLCS-2006-25 |
Lambda Types on the Lambda Calculus with Abbreviations
Guidi, F. |
|
| UBLCS-2006-26 |
FirmNet: The Scope of Firms and the Allocation of Task in a
Knowledge-Based Economy
Mollona, E.; Marcozzi, A. |
|
| UBLCS-2006-27 |
Behavioral Coalition Structure Generation
Rossi, G. |
|
| UBLCS-2006-28 |
On the solution of cooperative games
Rossi, G. |
|
| UBLCS-2006-29 |
Motifs in Evolving Cooperative Networks Look Like Protein
Structure Networks
Hales, D.; Arteconi, S. |
