|
 |
Old seminars
|
|
|
|
Carlo Zaniolo. A sequential pattern query language for
supporting instant data mining
|
|
|
|
Lise Getoor. Learning Statistical Models from Relational Data
|
|
|
|
Marzia Buscemi. Towards a Symbolic Treatment of Cryptographic Functions
|
|
|
|
Zoltan Esik. The equational logic of fixed points with applications
to concurrency
|
|
|
|
RFC Walters. Concurrency and recursion
|
|
|
|
Victor Mitrana. Some Computational Aspects Suggested by Genome Evolution
|
|
|
|
Tiziano Villa. Sintesi sequenziale mediante la risoluzione di equazioni su linguaggi
|
|
|
|
Issam A. Hamid. The Lyee software development methodology
|
|
|
|
A. Cisternino. C++ Template Metaprogramming
|
|
|
|
M. Coccia - GS-Lambda Theories
|
|
|
|
F. Ganovelli. Lazy Randomized Incremental Algorithms in Computational Geometry
|
|
|
|
L. Sterling. A Knowledge-Biased Approach to Information Agents
|
|
|
|
F. Spoto. Analisi di Classe per Linguaggi Orientati agli Oggetti tramite Interpretazione Astratta.
|
|
|
|
Carlo Montangero. XII Seminario: Verifica di Proprietà di Sistemi Mobili in Mob-adtl.
|
|
|
|
A. Zabian. Equivalenze Comportamentali nel Pi - Calculo Polimorfo
|
|
|
|
G. Ghelli, F. Levi. XI Seminario: Tipi per l'Ambient Calculus
|
|
|
|
R. Lanotte. X Seminario: Tipi per il Pi-Calcolo
|
|
|
|
G. Tamburrini, M. Simi. 50 anni di "Computing Machinery and Intelligence" di A. M. Turing
|
|
|
|
C. Lombardi. Commercio Elettronico: realtà di mercato e percorsi professionali
|
|
|
|
C. Laneve. IX Seminario: Join Calculus: Teoria e Pratica
|
|
|
|
M.H. van Emden. Interval constraints and quadtrees
|
|
|
|
M.H. van Emden - Using constraint processing for high-quality, high-speed computations for science and engineering
|
|
|
|
F. Celi - Computer, apprendimento e metacognizione.
|
|
|
|
U. Montanari. VIII Seminario: Introduzione al pi-calcolo
|
|
|
|
U. Montanari - VII Seminario: Mobilità Logica per Wide Area Networks
|
|
|
|
C. Laneve. Inheritance in the Join Calculus
|
|
|
|
A. Zabian. Algoritmi di Scheduling Indipendenti dalla Topologia in Reti Mobili
|
|
|
|
B. Koening. Type Systems for Graph Rewriting
|
|
|
|
C. Zoccolo. Oggetti Estensibili e loro Tipizzazione
|
|
|
|
A. Micheli. Wearable computers
|
|
|
|
M. Bonuccelli. Efficienza nell'uso dell'energia in reti mobili: routing
|
|
|
|
E. Gregori, M. Conti. Tecnologie Wireless LAN per reti mobili ad hoc
|
|
|
|
M. Bonuccelli. Introduzione ai sistemi mobili: dai sistemi reali ai modelli astratti
|
|
|
|
Dezso. Decisive of the evolution of processors
|
|
|
|
Lipton.Semantics of higher order logic programming (part 2)
|
|
|
|
Lipton. Semantics of higher order logic programming
|
|
|
|
Marco Aldinucci & Andrea Bracciali.- Concurrent Semantics for Term (Graph) Rewriting Systems:A Logical Presentation
|
|
|
|
P. Gardner. From process calculi to process frameworks
|
|
|
|
G. Attardi - Microsoft.NET: rivoluzione o vaporware?
|
|
|
|
Ramanujam, R. - Local reasoning about knowledge in distributed systems
|
|
|
|
Bonacina. On the Representation and Analysis of Distributed Search in Theorem Proving
|
|
|
|
Dario Besseghini-Di ritorno da SANE 2000
|
|
|
|
Herbert Wiklicky. Probabilistic semantics and analysis
|
|
|
|
Dushyant Sharma, Very Large-Scale Neighborhood search
|
|
|
|
Tokuda Takehiro, Attribute Grammar-Based software generators and local propagation-based constraint solvers
|
|
|
|
G. Paun. Membrane Computing (P Systems)
|
|
|