Seminars 2002-2004
1.4.2004Antonio Cisternino. Expressing lifetime of programs into programs
24.3.2004Antonio Cisternino. From CodeBricks to [a]C#: metaprogramming through bytecode manipulation
3.3.2004Seminari Open Source. Work_Shop 0.6 - Open Learning
13.2.2004Seminari Open Source. Work_shop 0.5 - Open business
12.2.2004Walter Cazzola. Seamless Nomadic System-Aware Servants
2.2.2004Corrado Zoccolo. Software Architecture-Based Adaptation for Grid Computing
30.1.2004Vari relatori. Open Source Workshop 0.4: OPEN LAWS
13.1.2004Chris Hankin. Quantitative Program Analysis
12.12.2003Alessandro Panconesi. Connectivity Properties of Bluetooth Wireless Networks
9.12.2003Bolzoni, Börger, Romani. Informatica e civilta': logica, tecnologia e sapienza
9.12.2003Martin DAVIS. The Myth of Hypercomputation
3.12.2003Mikael Buchholtz. Control Flow Analysis for Security Protocols
28.11.2003Angelo Gargantini. Metamodelling ASM in practice: an ASM test generator
28.11.2003Elvinia Riccobene. Towards an Interchange Language for ASM
20.11.2003Dino Mandrioli. Il tempo nei modelli informatici: considerazioni, analisi, proposte
20.10.2003M. Bartoletti. Traits: Composable Units of Behavior
20.10.2003S. Semprini. Interfaces: a game-theoretic framework to reason about component-based systems
20.10.2003Igor Gurevich. Current state of research activity of the Scientific Council Cybernetics of the Russian Academy of Science in Image Analysis and Pattern Recognition. Survey (Image Algebras, Algorithms, Applications). Part II
16.10.2003Igor Gurevich. Current state of research activity of the Scientific Council Cybernetics of the Russian Academy of Science in Image Analysis and Pattern Recognition. Survey (Image Algebras, Algorithms, Applications). Part I
9.10.2003G. Franceschini. Documenting Software Architecture: Documenting Behavior
9.10.2003C. Zoccolo. Protocol specifications and components adaptors
11.7.2003Antonio Brogi. Software adaptation
10.7.2003Johan Natt och Dag. Continuously Managing Large Amounts of Requirements: Finding Support through Linguistic Analysis
10.7.2003Carlos Canal . Software architectures, patterns and frameworks
9.7.2003Ron Morrison . An Approach to Compliance in Software Architecture
9.7.2003Ernesto Pimentel. Formal mehods and software engineering
4.7.2003Nelson Maculan. Integer programming formulations with polynomial number of constraints and variables for combinatorial optimization problem in graphs
3.7.2003Enrico Nardelli . Sicurezza e certificazione dei servizi su rete realizzati su griglie di calcolo
1.7.2003Enrico Franconi. (Description) Logics for Information Modelling and Access -- How to use an ontology
27.6.2003Andrew V. Goldberg. A Practical Shortest Path Algorithm with Linear Expected Time
19.6.2003Divesh Srivastava. Phrase Matching in XML
9.6.2003Vincenzo Balzani. Dispositivi e macchine a livello molecolare
6.6.2003Domenico Talia. Distributed Knowledge Discovery on Grids: An Architecture and Tools
4.6.2003Alessandro Tommasi. CGREP: a tool to search over compressed data
30.5.2003Jan Jürjens. Secure Systems Analysis with UML
30.5.2003Richard Banach. Retrenchment: Motivations and Prospects
26.5.2003Marco Danelutto. Pathology of the GRID: ovvero Modelli di programmazione per griglie
21.5.2003Catherine Canevet. Performance Modelling with the UML
19.5.2003Domenico Laforenza . Introduzione al GRID. Il Globus Toolkit, i processi di standardizzazione nel mondo ed in Europa
9.5.2003Giuseppe Longo. L\'intelligibilità dello spazio, il continuo e le teorie della conoscenza
7.5.2003Alina Kmiecik. Architectural transformations
9.4.2003Simone Montangero. Experimental quantum computer implementations: successes and open problems
9.4.2003Erik Meijer. X# Overview: Unifying the Object-Oriented, Relational and Hierarchical Data Models
9.4.2003Erik Meijer. What's in CLR 2? (Generics and other)
28.3.2003William D. Phillips, Nobel Prize for Physics in 1997 . Almost Absolute Zero: the Coldest Stuff in the Universe,
7.2.2003Vladimiro Sassone. Deriving bisimulation congruences: A 2 categorical approach
6.2.2003Andrea Bracciali. Bisimulation by Unification
6.12.2002Kai Brünnler. Classical Logic in the Calculus of Structures
2.12.2002Jamie Gabbay. Models of Pi-Calculus Behaviour Using FM Techniques
18.9.2002Mark-Oliver Stehr. On the Rewriting-Logic Approach to Colored Net Specifications: From Place/Transition Nets to Algebraic Nets and Beyond
19.7.2002Bud Mishra. 0-1 Laws for Single Molecules
18.7.2002Steven Skiena. Exploiting Redundancy in the Genetic Code
28.6.2002Arunabha (Arun) Sen. Survivable Routing in WDM Networks
28.6.2002John Rosenberg. Tools and Techniques for Teaching Objects First In a Java Course
27.6.2002Yuri Gurevich. Executable Specifications at Microsoft
21.6.2002Andrzej Pelc. Optimal graph exploration without good maps
21.6.2002Paul C. Kainen. Recent results on the Four Color Problem
20.6.2002Andrzej Pelc. Deterministic broadcasting time in radio networks of unknown topology.
4.6.2002Marco Aiello. Spatial Reasoning: Theory and Practice
28.5.2002Sergio Rajsbaum . Principles of Distributed Computing and the Condition-based Approach
28.5.2002Mario Rasetti. Verso nuovi algoritmi quantistici: il ruolo delle teorie di campo topologiche
28.5.2002Mario Rasetti. Il calcolo quantistico: una sfida alla matematica del 2000?
23.5.2002Xiao Jun Chen. Applying Static Analysis in Reproducible Testing with Middleware
20.5.2002Chiara Petrioli. Scatternet formation algorithms for multihop Bluetooth networks
17.5.2002Massimo Coppola. Algorithms and Data Structures on Large-Scale Combinatorial Problems
10.5.2002Moreno Marzolla. A Scalable Monitoring System for Large Computing Clusters
7.5.2002Raffaele Bruno. Optimization of Efficiency and Energy consumption in p-persistent CSMA-Based Wireless LANs
10.4.2002Clark Barrett. Automated Decision Procedures: A General-Purpose Verification Solution.
10.4.2002Giacomo Morabito. Mobility Management and Transport Protocol Issues in Mobile Ad-Hoc Networks
28.3.2002Bengt Jonsson. Regular Model Checking in a More Simple and Efficient Way
27.3.2002Carla Fabiana Chiasserini. How to create energy-efficient wireless systems
25.3.2002Terence P. Rout. Fundamentals of CMMI
13.3.2002Murdoch Jamie Gabbay. Variable Capture and FM: On a Pitfall in Programming and Logic Languages
8.3.2002Viviana Bono. Coordinating Mobile Object-Oriented Code
8.3.2002Jeremy Sproston. Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
7.3.2002Paolo Zuliani. Programmazione quantistica
26.2.2002Elvira Albert. Measuring the effectiveness of narrowing-driven specialization
25.2.2002Elvira Albert. Partial evaluation of multi-paradigm declarative languages
12.2.2002N. Grasso e A. Isolani. Presentazione dello strumento ArcGIS 8.1 di ESRI
12.2.2002Odile Papini. Revision and geographical information
11.2.2002Mirco Nanni. Datalog++: a logic language for non-monotonic, non-deterministic reasoning
31.1.2002Miroslaw Malek. Delivering Dependability and Speed to Mobile Web Users
25.1.2002Stefano Leonardi. Scheduling to minimize average response time
18.1.2002Steven Skiena. Exploiting Redundancy in the Genetic Code
17.1.2002Antonio Cisternino. Generics for .NET
17.1.2002Andrzej Pelc. Deterministic broadcasting time in radio networks of unknown topology
16.1.2002Gianluca Mazzini. Sistemi caotici e loro applicazioni alle telecomunicazioni
15.1.2002Antonio Cisternino. Language-neutral Code Generation
Archive
Seminars given at the department in the past