Si informano gli utenti che il contenuto di questa pagina è obsoleto
La versione aggiornata si trova nel nuovo sito del Dipartimento di Informatica.
Accedi alla versione aggiornata

This page is out of date
Go to new version

• M. Marzolla
  libcppsim: A Simula-like, Portable Process-Oriented Simulation Library in C++
  Rapporto di Ricerca CS-2004-1, Febbraio 2004.
  [PDF]

• M. Marzolla, S. Balsamo
  UML-PSI:the UML Performance Simulator
  Rapporto di Ricerca CS-2004-2, Aprile 2004.
  [PDF]

• V. Pietrobon, S. Orlando
  Performance Fault Prediction Models
  Rapporto di Ricerca CS-2004-3, Maggio 2004.
  [PDF]

• O. Gaggi, A. Celentano
  LAMP: A Laboratory for Multimedia Presentation Prototyping
  Rapporto di Ricerca CS-2004-4, Settembre 2004.
  [PDF]

• T. Chaari, F. Laforest, A. Celentano
  Design of Context-Aware Applications Based on Web Services
  Rapporto di Ricerca CS-2004-5, Settembre 2004.
  [PDF]

• G. Marcon, N. Cannata, M. Llabrés, M. Simeoni, G. Valle
  Ordering BAC clones from fingerprint data
  Rapporto di Ricerca CS-2004-6, Settembre 2004.
  [PDF]

• F. Logozzo, A. Cortesi
  Semantic Class Hierarchies by Abstract Interpretation
  Rapporto di Ricerca CS-2004-7, Ottobre 2004.
  [PDF]

• S. Crafa, S. Rossi
  A Theory of Noninterference for the Pi-calculus
  Rapporto di Ricerca CS-2004-8, Ottobre 2004.
  [gzipped Postscript]

• C. Lucchese, S. Orlando, R. Perego
  Fast and Memory Efficient Mining of Frequent Closed Itemsets
  Rapporto di Ricerca CS-2004-9, Novembre 2004.
  [PDF]

• P. Baldan, A. Corradini, B. Koenig
  Verifying finite-State Graph Grammars: an Unfolding-Based Approach
  Rapporto di Ricerca CS-2004-10, Novembre 2004.
  [gzipped Postscript]

• C. Braghin, A. Cortesi, R. Focardi
  Freshness Analysis in Authentication Protocols in Mobile Ambient Calculus
  Rapporto di Ricerca CS-2004-11, Novembre 2004.
  [gzipper Postscript]

• S. Balsamo, F. De Riz, A. Marin
  Product-form Queueing Networks and product-form Stochastic Petri Nets: relations and transformation algorithms
  Rapporto di Ricerca CS-2004-12, Novembre 2004.
  

• S. Balsamo, M. Marzolla
  Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models
  Rapporto di Ricerca CS-2004-13, Dicembre 2004.
  [PDF]

• R. Focardi, S. Rossi, A. Sabelfeld
  Bridging Language-Based and Process Calculi Security
  Rapporto di Ricerca CS-2004-14, Dicembre 2004.
  [PDF]

• S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni
  Software Architectures: State of the art and perspectives
  Rapporto di Ricerca CS-2003-1, Gennaio 2003.
  [PDF]

• S. Balsamo, M. Grosso, M. Marzolla
  Towards Simulation-Based Performance Modeling of UML specifications
  Rapporto di Ricerca CS-2003-2, Gennaio 2003.
  [PDF]

• R. Glantz, M. Pelillo
  Graph Polynomials from Principal Pivoting
  Rapporto di Ricerca CS-2003-3, Gennaio 2003.
  [PDF]

• M. Pavan, M. Pelillo
  A New Graph-Theoretic Approach to Clustering and Segmentation
  Rapporto di Ricerca CS-2003-4, Aprile 2003.
  [PDF]

• M. Pelillo
  Annealed imitation: Fast dynamics for maximum clique
  Rapporto di Ricerca CS-2003-5, Aprile 2003.
  [PDF]

• A. Bossi, D. Macedonio, C. Piazza, S. Rossi
  P_BNDC and Replication
  Rapporto di Ricerca CS-2003-6, Aprile 2003.
  [PDF]

• P. Fosser, R. Glantz, M. Locatelli, M. Pelillo
  Swap Strategies for Graph Matching
  Rapporto di Ricerca CS-2003-7, Maggio 2003.
  [PDF]

• R. Glantz, M. Pelillo, W. G. Kropatsch
  Using Segmentation Hierarchies for Matching and Recognition in Computer Vision
  Rapporto di Ricerca CS-2003-8, Maggio 2003.
  [PDF]

• D. Hidovic, M. Pelillo
  Metrics for Attributed Graphs based on the Maximal Similarity Common Subgraph
  Rapporto di Ricerca CS-2003-9, Maggio 2003.
  [PDF]

• M. Bugliesi, R. Focardi, M. Maffei, F. Tudone
  Principles for Entity Authentication (Revised version of TR CS-2002-16)
  Rapporto di Ricerca CS-2003-10, Giugno 2003.
  [Postscript]

• S. Orlando, P. Palmerini, R. Perego
  On statistical properties of transactional databases
  Rapporto di Ricerca CS-2003-11, Giugno 2003.
  [PDF]

• M. Bugliesi, R. Focardi, M. Maffei
  Compositional Analysis of Entity Authentication Protocols
  Rapporto di Ricerca CS-2003-12, Luglio 2003.
  [gzipped Postscript]

• A. Bossi, D. Macedonio, C. Piazza, S. Rossi
  Compositional Action Refinement and Information Flow Security
  Rapporto di Ricerca CS-2003-13, Agosto 2003.
  [Postscript]

• E. Jabara
  Gruppi di operatori di ordine coprimo di un gruppo finito
  Rapporto di Ricerca CS-2003-14, Settembre 2003.
  

• M. Pavan, M. Pelillo
  Dominant Sets and Hierarchical Clustering
  Rapporto di Ricerca CS-2003-15, Ottobre 2003.
  [zipped Postscript]

• F. Dalla Libera, E. Squizzato
  Trading Agent Competition: strategie di agente
  Rapporto di Ricerca CS-2003-16, Novembre 2003.
  [PDF]

• R. Glantz, M. Pelillo, A, Torsello
  Hierarchical Matching via Kronecker Products of Transitive Closures
  Rapporto di Ricerca CS-2003-17, Novembre 2003.
  [PDF]

• M. Bugliesi, R. Focardi, M. Maffei
  Compositional Analysis of Authentication Protocols (Full Version)
  Rapporto di Ricerca CS-2003-18, Dicembre 2003.
  [gzipped Postscript]

• A. Torsello, Z. Hidovic, M. Pelillo
  Polynomial-Time metrics for Attributed Trees
  Rapporto di Ricerca CS-2003-19, Dicembre 2003.
  [PDF]

• S. Lusin, A. Salibra
  The lattice of lambda Theories
  Rapporto di Ricerca CS-2002-1, Gennaio 2002.
  [gzipped PostScript]

• S. Balsamo, M. Bernardo, M. Simeoni
  Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis
  Rapporto di Ricerca CS-2002-2, Febbraio 2002.
  [gzipped PostScript]

• M. Pavan, M. Pelillo, E. Jabara
  Towards a Generalization of the Motzkin-Straus Theorem to Edge-weighted Graphs
  Rapporto di Ricerca CS-2002-3, Marzo 2002.
  [gzipped PostScript]

• S. Balsamo, M. Bernardo
  Heterogeneous Queueing Networks with Blocking: An Architectural Approach based on SPA
  Rapporto di Ricerca CS-2002-4, Aprile 2002.
  [PDF]

• M. Marzolla
  Design and Analysis of a Fault-Tolerant Web Retrieval Algorithm
  Rapporto di Ricerca CS-2002-5, Aprile 2002.
  [PDF]

• A. Bossi, R. Focardi, C. Piazza, S. Rossi
  Compositionality and Secure Contexts for Bisimulation-based Information Flow Security
  Rapporto di Ricerca CS-2002-6, Aprile 2002.
  [gzipped Postscript]

• R. Glantz, M. Pelillo, W. G. Kropatsch
  Matching Hierarchies of Segmentations
  Rapporto di Ricerca CS-2002-7, Aprile 2002.
  [PDF]

• O. Gaggi, A. Celentano
  A Visual Authoring Environment for Multimedia Presentations on the World Wide Web
  Rapporto di Ricerca CS-2002-8, Aprile 2002.
  [PDF]

• R. Focardi, F. L. Luccio
  Analysing Sprouts
  Rapporto di Ricerca CS-2002-9, Giugno 2002.
  [gzipped Postscript]

• M. Wirsing, S. Balsamo, A. Knapp (eds.)
  Proceedings of Monterey Workshop 2002: Radical Innovations of Software and Systems Engineering in the future
  Rapporto di Ricerca CS-2002-10, Settembre 2002.
  

• O. Gaggi, A. Celentano
  Modelling Synchronized Hypermedia Presentations
  Rapporto di Ricerca CS-2002-11, Settembre 2002.
  [PDF]

• M. Locatelli, I. M. Bomze, M. Pelillo
  Swaps, diversification, and the combinatorics of pivoting for the maximum weight clique
  Rapporto di Ricerca CS-2002-12, Settembre 2002.
  [PDF]

• S. Balsamo, M. Bernardo and V. Grassi
  Quantitative analysis of software architectures
  Rapporto di Ricerca CS-2002-13, Settembre 2002.
  [PDF]

• F. Pittarello
  Wandering through Time-pillars: a Serendipitous 3D Approach for the TV Information Domain
  Rapporto di Ricerca CS-2002-14, Ottobre 2002.
  [PDF]

• A. Bossi, R. Focardi, C. Piazza, S. Rossi
  Bisimulation and Unwinding for Verifying Possibilistic Security Properties
  Rapporto di Ricerca CS-2002-15, Novembre 2002.
  [gzipped Postscript]

• M. Bugliesi, R. Focardi, M. Maffei, F. Tudone
  Principles for Entity Authentication
  Rapporto di Ricerca CS-2002-16, Novembre 2002.
  [gzipped Postscript]

• E. Jabara
  Prodotti di sottogruppi mutuamente permutabili
  Rapporto di Ricerca CS-2002-17, Novembre 2002.
  

• A. Bossi, D. Macedonio, C. Piazza, S. Rossi
  Secure Contexts for Information Flow Security
  Rapporto di Ricerca CS-2002-18, Dicembre 2002.
  [gzipped Postscript]

• A. Celentano, O. Gaggi
  Modelling synchronized hypermedia documents
  Rapporto di Ricerca CS-2001-1, Gennaio 2001.
  [PostScript]

• A. Salibra
  Nonmodularity results for lambda calculus
  Rapporto di Ricerca CS-2001-2, Gennaio 2001.
  [PostScript]

• A. Salibra
  A continuum of theories of lambda calculus without semantics
  Rapporto di Ricerca CS-2001-3, Gennaio 2001.
  [PostScript]

• S. Balsamo, M. Simeoni
  Deriving performance models from software architecture specifications
  Rapporto di Ricerca CS-2001-4, Febbraio 2001.
  [PDF]

• A. Bossi, N. Cocco, S. Etalle, S. Rossi
  Termination in a hierarchy of general logic programs
  Rapporto di Ricerca CS-2001-5, Marzo 2001.
  [PostScript]

• M. Pelillo
  Matching free trees, maximal cliques, and monotone game dynamics
  Rapporto di Ricerca CS-2001-6, Marzo 2001.

• S. Orlando, P. Palmerini, R. Perego
  The DCP algorithm for frequent set counting
  Rapporto di Ricerca CS-2001-7, Aprile 2001.
  [PDF] [Cover]

• A. Salibra
  Towards lambda calculus order-incompleteness
  Rapporto di Ricerca CS-2001-8, Maggio 2001.
  [PostScript]

• S. Orlando, P. Palmerini, R. Perego
  DCI: A hybrid algorithm for frequent set counting
  Rapporto di Ricerca CS-2001-9, Maggio 2001.
  [PDF] [Cover]

• S. Lusin, A. Salibra
  A note on absolutely unorderable combinatory algebras
  Rapporto di Ricerca CS-2001-9bis, Maggio 2001.
  [PostScript]

• E. Jabara
  Gruppi fattorizzati tramite un gruppo di esponente 2 e un gruppo periodico privo di involuzioni
  Rapporto di Ricerca CS-2001-10, Settembre 2001.

• A. Salibra
  Topological incompleteness and order incompleteness of the lambda calculus
  Rapporto di Ricerca CS-2001-11, Settembre 2001.
  [PostScript]

• E. Jabara, A. Salibra
  Una nota sui gruppoidi topologici
  Rapporto di Ricerca CS-2001-12, Novembre 2001.

• G. Busetto, E. Jabara
  Some observations on factorized groups
  Rapporto di Ricerca CS-2001-13, Novembre 2001.

• E. Jabara
  Sui p-gruppi finiti dotati di un automorfismo involutorio
  Rapporto di Ricerca CS-2001-14, Novembre 2001.

• F. Dalla Libera, E. Ferro
  Sistemi di pagamento on-line con carta di credito
  Rapporto di Ricerca CS-2001-15, Novembre 2001.
  [PDF]

• R. Focardi, S. Rossi
  Information flow security in dynamic contexts
  Rapporto di Ricerca CS-2001-16, Novembre 2001.
  [PostScript]

• A. Bossi, S. Rossi (Eds.)
  Workshop finale del progetto "Tecniche formali per l'analisi, la sintesi, e la trasformazione di sistemi software"
  Rapporto di Ricerca CS-2000-1, Gennaio 2000.
  [html]

• S. Ciarpaglini, L. Folchi, S. Orlando, S. Pelagatti, R. Perego
  Integrating task and data parallelism with tashHPF
  Rapporto di Ricerca CS-2000-2, Febbraio 2000.

• F. Aquilani, S. Balsamo, P. Inverardi
  An approach to performance evaluation of software architectures
  Rapporto di Ricerca CS-2000-3, Marzo 2000.
  [PostScript]

• S. Balsamo
  Closed queueing networks with finite capacity queues: Approximate analysis
  Rapporto di Ricerca CS-2000-4, Marzo 2000.
  [PostScript]

• D. Giammarresi
  Describing computations by (bounded) local sets
  Rapporto di Ricerca CS-2000-5, Aprile 2000.
  [PostScript]

• C. Rossi
  A replicator equations-based evolutionary algorithm for the maximum clique problem
  Rapporto di Ricerca CS-2000-6, Aprile 2000.
  [PostScript]

• A. Jagota, M. Pelillo, A. Rangarajan, X. Wang
  Discrete- versus continuous-time stability in a cluster-competitive net
  Rapporto di Ricerca CS-2000-7, Aprile 2000.

• E. Jabara
  Su alcune classi di p-gruppi fattorizzati
  Rapporto di Ricerca CS-2000-8, Novembre 2000.

• E. Jabara
  Una nota sui 3-gruppi dotati di un automorfismo involutorio
  Rapporto di Ricerca CS-2000-9, Novembre 2000.

• A. Cortesi, S. Rossi, B. Le Charlier
  Reexecution-based analysis of logic programs with delay declaration
  Rapporto di Ricerca CS-2000-10, Novembre 2000.

• A. Bossi, S. Etalle, S. Rossi, J.-G. Smaus
  On the semantics and termination of logic programs with dynamic scheduling
  Rapporto di Ricerca CS-2000-11, Novembre 2000.

• I. M. Bomze, M. Budinich, P. M. Pardalos, M. Pelillo
  The maximum clique problem,
  Rapporto di Ricerca CS-99-1, Gennaio 1999.
  [Abstract] [PostScript]

• M. Pelillo, K. Siddiqi, S. W. Zucker
  Attributed tree matching and maximum weight cliques,
  Rapporto di Ricerca CS-99-2, Febbraio 1999.
  [Abstract] [PostScript]

• M. Pelillo
  A note on a capacity result for the Hopfield neural network,
  Rapporto di Ricerca CS-99-3, Febbraio 1999.
  [Abstract] [PostScript]

• M. Pelillo, K. Siddiqi, S. W. Zucker
  Continuous-based heuristics for graph and tree isomorphisms, with application to computer vision,
  Rapporto di Ricerca CS-99-4, Marzo 1999.
  [Abstract] [PostScript]

• F. Furano, R. Orsini
  Searching museums-on-demand: A search method for world wide web museums,
  Rapporto di Ricerca CS-99-5, Aprile 1999.
  [Abstract] [PostScript]

• A. Celentano
  Virtual worlds as metaphors for web sites exploration: Are they effective?,
  Rapporto di Ricerca CS-99-6, Maggio 1999.
  [Abstract] [PostScript]

• A. Celentano, S. Sabbadin
  Indexing multiple features in image retrieval systems,
  Rapporto di Ricerca CS-99-7, Maggio 1999.
  [Abstract] [PostScript]

• D. Giammarresi, J.-L. Ponty, D. Wood
  A characterization of Thompson digraphs,
  Rapporto di Ricerca CS-99-8, Maggio 1999.
  [Abstract] [PostScript]

• S. Orlando, P. Palmerini, R. Perego
  Mixed data and task parallelism with HPF and PVM,
  Rapporto di Ricerca CS-99-9, Maggio 1999.
  [Abstract] [PostScript]

• A. Celentano, S. Chiereghin
  Multiple strategies for relevance feedback in image retrieval,
  Rapporto di Ricerca CS-99-10, Maggio 1999.
  [Abstract] [PostScript]

• F. Dalla Libera, P. De Min
  Il mercato elettronico: Modelli, attori, interazioni,
  Rapporto di Ricerca CS-99-11, Maggio 1999.
  [Abstract] [pdf]

• M. Bartoli, M. Pelillo, K. Siddiqi, S. W. Zucker
  Attributed tree homomorphism using association graphs,
  Rapporto di Ricerca CS-99-12, Giugno 1999.
  [Abstract] [PostScript]

• I. M. Bomze, M. Pelillo, V. Stix
  Approximating the maximum weight clique using replicator dynamics,
  Rapporto di Ricerca CS-99-13, Giugno 1999.
  [Abstract] [PostScript]

• A. Longega, R. Orsini
  Una metodologia per affrontare la manutenzione di massa di sistemi informativi aziendali,
  Rapporto di Ricerca CS-99-14, Luglio 1999.
  [Abstract] [PostScript]

• A. Longega, R. Orsini
  Un algoritmo per il partizionamento di sistemi informativi aziendali,
  Rapporto di Ricerca CS-99-15, Luglio 1999.
  [Abstract] [PostScript]

• A. Bossi, S. Rossi (Eds.)
  Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99),
  Rapporto di Ricerca CS-99-16, Settembre 1999.
  [html]

• E. Jabara
  Gruppi di operatori che fissano un sottogruppo di Sylow,
  Rapporto di Ricerca CS-99-17, Settembre 1999.

• A. Celentano, O. Gaggi
  A synchronization model for hypermedia documents navigation,
  Rapporto di Ricerca CS-99-18, Settembre 1999.
  [Abstract] [PostScript]

• E. Jabara
  Una nota sui p-guppi di Fischer,
  Rapporto di Ricerca CS-99-19, Ottobre 1999.

• E. Jabara
  Automorfismi spezzanti di ordine primo,
  Rapporto di Ricerca CS-99-20, Ottobre 1999.

• R. Focardi, F. L. Luccio
  Minimum feedback vertex set in k-dimensional hypercubes,
  Rapporto di Ricerca CS-99-21, Ottobre 1999.
  [Abstract] [PostScript]

• M. Pelillo
  Replicator dynamics in combinatorial optimization,
  Rapporto di Ricerca CS-99-22, Novembre 1999.
  [Abstract] [PostScript]

• M. Pelillo
  Heuristics for maximum clique and independent set,
  Rapporto di Ricerca CS-99-23, Novembre 1999.
  [PostScript]

• G. Busetto
  Some observations on factorizable groups,
  Rapporto di Ricerca CS-99-24, Dicembre 1999.
  [Abstract]

• F. Pittarello, A. Celentano
  A multimodal approach for orientation and navigation in 3D scenes,
  Rapporto di Ricerca CS-99-25, Dicembre 1999.
  [Abstract] [PostScript] [PDF]

• M. Bugliesi, S. Pericas-G.
  Depth subtyping and type inference for obejct calculi,
  Rapporto di Ricerca CS-99-26, Dicembre 1999.
  [Abstract] [PostScript]

• A. Salibra
  Modularity in lambda calculus,
  Rapporto di Ricerca CS-99-27, Dicembre 1999.
  [Abstract] [PostScript]

• F. Pittarello
  The artists eyes: A three-d environment to navigate through textual and pictorial information,
  Rapporto di Ricerca CS-99-28, Dicembre 1999.
  [Abstract] [PostScript]

• F. Pittarello
  Walking on the edge of the well of the Itza: The reconstruction of an ancient maya metropolis in the centre of the northern Yucatan,
  Rapporto di Ricerca CS-99-29, Dicembre 1999.
  [Abstract] [PostScript]

• A. Cortesi, G. File',
  Sharing is optimal,
  Rapporto di Ricerca CS-98-1, Gennaio 1998.

• A. Bossi, N. Cocco,
  Successful logic programs,
  Rapporto di Ricerca CS-98-2, Febbraio 1998.
  [PostScript]

• G. Busetto,
  On certain counterexamples in the theory of isomorphisms of group lattices,
  Rapporto di Ricerca CS-98-3, Febbraio 1998.

• S. Orlando, R. Perego,
  COLT_HPF: A Coordination Layer for HPF Tasks,
  Rapporto di Ricerca CS-98-4, Marzo 1998.
  [PostScript]

• R. Focardi,
  Located Entity Authentication,
  Rapporto di Ricerca CS-98-5, Marzo 1998.
  [PostScript]

• S. Verbaeten, A. Bossi,
  Composing complete and partial knowledge,
  Rapporto di Ricerca CS-98-6, Aprile 1998.

• S. Etalle, A. Bossi, N. Cocco,
  Well-terminating programs,
  Rapporto di Ricerca CS-98-7, Aprile 1998.
  [PostScript]

• A. Salibra,
  The variety of lambda abstraction algebras does not admit n-permutable congruences for all n,
  Rapporto di Ricerca CS-98-8, Aprile 1998.
  [PostScript]

• A. Torsello, M. Pelillo,
  Continuous-time relaxation labelling processes,
  Rapporto di Ricerca CS-98-9, Maggio 1998.
  [PostScript]

• I. M. Bomze, M. Budinich, M. Pelillo, C. Rossi,
  Annealed replication: A new heuristic for the maximum clique problem,
  Rapporto di Ricerca CS-98-10, Maggio 1998.
  [PostScript]

• A. Bossi, S. Rossi,
  Specialised semantics of logic programs,
  Rapporto di Ricerca CS-98-11, Giugno 1998.
  [PostScript]

• A. Bossi, A. Cortesi, F. Levi (ed.),
  Proceedings of the 2nd International Workshop on Verification, Model Checking, and Abstract Interpretation,
  Rapporto di Ricerca CS-98-12, Settembre 1998.
  [PostScript]

• E. Jabara,
  Sottogruppi di Hughes di indice 2,
  Rapporto di Ricerca CS-98-13, Settembre 1998.

• E. Jabara,
  Una nota sugli automorfismi 'commutanti',
  Rapporto di Ricerca CS-98-14, Settembre 1998.

• D. Giammarresi, A. Restivo,
  Extending formal languages hierarchies to higher dimensions,
  Rapporto di Ricerca CS-98-15, Ottobre 1998.
  [PostScript]

• D. Giammarresi, R. Montalbano, D. Wood,
  Block-deterministic regular languages,
  Rapporto di Ricerca CS-98-16, Ottobre 1998.
  [PostScript]

• D. Giammarresi, J. Ponty, D. Wood,
  Glushkov and Thompson construction: a syntesis,
  Rapporto di Ricerca CS-98-17, Ottobre 1998.
  [PostScript]

• R. Focardi, R. Gorrieri,
  Analysis of authentication protocols using non-interference,
  Rapporto di Ricerca CS-98-18, Ottobre 1998.
  [PostScript]

• E. Jabara,
  Una congettura di G. Zappa,
  Rapporto di Ricerca CS-98-19, Novembre 1998.

• G. Busetto,
  On projective images of normal subgroups with Abelian quotients,
  Rapporto di Ricerca CS-98-20, Dicembre 1998.

• A. Apostolico, G. F. Italiano,
  Backtracking,
  Rapporto di Ricerca CS-97-1, Gennaio 1997.
  [PostScript]

• G. F. Italiano, R. Raman,
  Topics in data structures,
  Rapporto di Ricerca CS-97-2, Gennaio 1997.
  [PostScript]

• A. Salibra,
  On the algebraic models of lambda calculus,
  Rapporto di Ricerca CS-97-3, Gennaio 1997.
  [PostScript]

• R. Grossi, G. F. Italiano,
  Splitting and merging techniques for decomposable problems, with Applications,
  Rapporto di Ricerca CS-97-4, Febbraio 1997.
  [PostScript]

• D. Giammarresi, A. Restivo,
  Two-dimensional languages,
  Rapporto di Ricerca CS-97-5, Febbraio 1997.
  [PostScript]

• D. Giammarresi, S. Mantaci, F. Mignosi, A. Restivo,
  Periodicities on trees,
  Rapporto di Ricerca CS-97-6, Febbraio 1997.
  [PostScript]

• E. R. Hancock, M. Pelillo,
  A Bayesian interpretation for the exponential correlation associative memory,
  Rapporto di Ricerca CS-97-7, Marzo 1997.
  [PostScript]

• B. Le Charlier, C. Leclere, S. Rossi, A. Cortesi,
  Automated verification of Prolog programs,
  Rapporto di Ricerca CS-97-8, Marzo 1997.

• S. Orlando, R. Perego,
  A comparison of implementation strategies for non-uniform data-parallel computations,
  Rapporto di Ricerca CS-97-9, Aprile 1997.
  [PostScript]

• P. Van Hentenryck, V. Ramachandran, A. Cortesi,
  Abstract domains for reordering CLP(Rlin) programs,
  Rapporto di Ricerca CS-97-10, Giugno 1997.
  [PostScript]

• G. F. Italiano, S. Orlando (Eds.),
  WAE'97--Workshop on Algorithm Engineering (Proceedings),
  Rapporto di Ricerca CS-97-11, Settembre 1997
  [TR-Cover] [tar].

• A. Salibra,
  On categorical frames, universal algebra and Boolean algebras with operators in a category,
  Rapporto di Ricerca CS-97-12, Settembre 1997.
  [dvi]

• F. Sartoretto, M. Ermani,
  Epileptiform activity detection by multiresolution analysis,
  Rapporto di Ricerca CS-97-13, Settembre 1997.

• A. Bossi,
  Proceedings of the International Workshop on Verification, Model Checking and Abstract Interpretation,
  Rapporto di Ricerca CS-97-14, Ottobre 1997.
  [html]

• A. Salibra,
  The algebraic categorical modal logic of deductive systems and universal algebra,
  Rapporto di Ricerca CS-97-15, Ottobre 1997.
  [dvi]

• S. Orlando, R. Perego,
  Scheduling data-parallel computations on heterogeneous and time-shared environments,
  Rapporto di Ricerca CS-97-16, Novembre 1997.
  [PostScript]

• A. Bossi, N. Cocco, S. Etalle,
  Transformation of left terminating programs: The reordering problem,
  Rapporto di Ricerca CS-96-1, Gennaio 1996.
  [dvi]

• A. Salibra, R. Goldblatt,
  A finite equational axiomatization of the functional algebras for the lambda calculus,
  Rapporto di Ricerca CS-96-2, Gennaio 1996.
  [dvi]

• F. Sartoretto,
  Analisi di un'implementazione dell'aritmetica intervallare,
  Rapporto di Ricerca CS-96-3, Marzo 1996.

• F. Dalla Libera, L. Sandel,
  Computer Aided Testing: progetto di un sistema per la gestione di test,
  Rapporto di Ricerca CS-96-4, Maggio 1996.
  [PostScript]

• S. Orlando,
  Commercio elettronico: tecnologie per garantire la sicurezza,
  Rapporto di Ricerca CS-96-5, Luglio 1996
  [TR-Cover] [PostScript]

• A. Bossi, N. Cocco,
  Replacement can preserve termination,
  Rapporto di Ricerca CS-96-6, Luglio 1996.
  [dvi]

• B. Le Charlier, S. Rossi, A. Cortesi,
  Specification-based automatic verification of prolog programs,
  Rapporto di Ricerca CS-96-7, Luglio 1996.

• A. Salibra,
  A note on Godel's incompleteness theorem,
  Rapporto di Ricerca CS-96-8, Luglio 1996.
  [dvi]

• F. Dalla Libera, E. Dan,
  Modelli di pagamento elettronico,
  Rapporto di Ricerca CS-96-9, Settembre 1996.
  [PostScript]

• D. Eppstein, Z. Galil, G. F. Italiano, A. Nissenzweig,
  Sparsification -- A technique for speeding up dynamic graph algorithms,
  Rapporto di Ricerca CS-96-10, Ottobre 1996.
  [PostScript]

• D. Eppstein, Z. Galil, G. F. Italiano,
  Dynamic graph algorithms,
  Rapporto di Ricerca CS-96-11, Ottobre 1996.
  [PostScript]

• D. Alberts, G. Cattaneo, G. F. Italiano,
  An experimental study of dynamic graph algorithms,
  Rapporto di Ricerca CS-96-12, Ottobre 1996.
  [PostScript]

• D. Eppstein, Z. Galil, G. F. Italiano, T. H. Spencer,
  Separator based sparsification II: edge and vertex connectivity,
  Rapporto di Ricerca CS-96-13, Ottobre 1996.
  [PostScript]

• R. Grossi, G. F. Italiano,
  Suffix trees and their applications in string algorithms,
  Rapporto di Ricerca CS-96-14, Ottobre 1996.
  [PostScript]

• D. Pigozzi, A. Salibra, G. Scollo,
  Polymorphies = Categories + Algebras,
  Rapporto di Ricerca CS-96-15, Ottobre 1996.
  [dvi]

• F. Dalla Libera, E. Dan,
  Protocolli e Sistemi di Pagamento Elettronico,
  Rapporto di Ricerca CS-96-16, Ottobre 1996.

• S. Orlando, R. Perego,
  SUPPLE: An efficient run-time support for non-uniform parallel loops,
  Rapporto di Ricerca CS-96-17, Dicembre 1996.
  [PostScript]

• A. Cortesi, G. File', W. Winsborough,
  Optimal groundness analysis using propositional logic,
  Rapporto di Ricerca CS-95-1, Gennaio 1995.

• Don L. Pigozzi, A. Salibra,
  Lambda abstraction algebras: coordinatizing models of lambda calculus,
  Rapporto di ricerca CS-95-2, Marzo 1995.
  [dvi]

• S. Orlando, R. Perego,
  Exploiting partial replication in unbalanced parallel loop scheduling on multicomputers,
  Rapporto di Ricerca CS-95-3, Maggio 1995.

• F. Sartoretto,
  Numerical simulation of confined diffusions,
  Rapporto di Ricerca CS-95-4, Luglio 1995.

• A. Salibra,
  Cylindric semilattices generating atom structures of cylindric algebras,
  Rapporto di Ricerca CS-95-5, Luglio 1995
  [dvi]

• P. Ciancarini, F. Dalla Libera, F. Maran,
  A rational approach to Kriegspiel,
  Rapporto di Ricerca CS-95-6, Settembre 1995.

• A. Cortesi, G. File', R. Giacobazzi, C. Palamidessi, F. Ranzato,
  Complementation in abstract interpretation,
  Rapporto di Ricerca CS-95-7, Novembre 1995.

• S. Kasangian, A. Labella,
  Generalized trees for concurrency,
  Rapporto di Ricerca CS-95-8, Novembre 1995.

• S. Kasangian, A. Labella, D. Murphy,
  Process Syncronisation as glueing,
  Rapporto di Ricerca CS-95-9, Novembre 1995.

• S. Kasangian, S. Vigna,
  The topos of labelled trees: a categorical semantics for SCCS,
  Rapporto di Ricerca CS-95-10, Novembre 1995.

• D. Murphy, S. Kasangian,
  An elementary introduction to topos-theoretic methods in process algebra,
  Rapporto di Ricerca CS-95-11, Novembre 1995.

• S. Kasangian, M. Mowbray,
  Enriched category theory and security,
  Rapporto di Ricerca CS-95-12, Novembre 1995.

• S. Orlando, R. Perego,
  A template for non-uniform parallel loops based on dynamic scheduling and prefetching techniques,
  Rapporto di Ricerca CS-95-13, Dicembre 1995.

• G. Carrieri, F. Dalla Libera,
  Sistemi aperti e downsizing,
  Rapporto di Ricerca CS-94-1, Novembre 1994.

• A. Cortesi, G. File', W. Winsborough,
  The quotient of an abstract interpretation,
  Rapporto di Ricerca CS-94-2, Dicembre 1994.