- Tu sei qui:
- Home
- Ricerca
- Technical reports
Technical Reports - 2009
A Note on Basic Implication
F. Guidi
UBLCS-2009-01
Algorithms for Network Design and Routing Problems (Ph.D. Thesis)
E. Bartolini
UBLCS-2009-02
Design and Performance Evaluation of Network-on-Chip Communication Protocols and Architectures (Ph.D. Thesis)
N Concer
UBLCS-2009-03
Kernel Methods for Tree Structured Data (Ph.D. Thesis)
G. Da San Martino
UBLCS-2009-04
Expressiveness of Concurrent Languages (Ph.D. Thesis)
C. Di Giusto
UBLCS-2009-05
EXAM-S: an Analysis tool for Multi-Domain Policy Sets (Ph.D. Thesis)
R. Ferrini
UBLCS-2009-06
Self-Organizing Mechanisms for Task Allocation in a Knowledge-Based Economy (Ph.D. Thesis)
A. Marcozzi
UBLCS-2009-07
3-Dimensional Protein Reconstruction from Contact Maps: Complexity and Experimental Results (Ph.D. Thesis)
F. Medri
UBLCS-2009-08
A Core Calculus for the Analysis and Implementation of Biologically Inspired Languages (Ph.D. Thesis)
C. Versari
UBLCS-2009-09
Probabilistic Data Integration
M. Magnani D. Montesi
UBLCS-2009-10
Equilibrium Selection via Strategy Restriction in Multi-Stage Congestion Games for Real-time Streaming
G. Rossi, S. Ferretti, G. D'Angelo
UBLCS-2009-11
Natural deduction environment for Matita
C. Sacerdoti Coen E. Tassi
UBLCS-2009-12
Hints in Unification
A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi
UBLCS-2009-13
A New Type for Tactics
A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi
UBLCS-2009-14
The k-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
G. Delzanno, C. Di Giusto, M. Gabbrielli, C. Laneve, G. Zavattaro
UBLCS-2009-15
Landau's "Grundlagen der Analysis" from Automath to lambda-delta
F. Guidi
UBLCS-2009-16
