Themes

This is the entry point describing all aliCE research themes

---

Coordination Models, Languages and Infrastructures

Space-based models and programmable coordination media

---

Object-Oriented Programming Languages

Reifying Generics in Java

Integrating logic-based programming in Java

---

Multi-Agent Systems Modelling and Engineering

• A&A (Agents and Artifacts) Meta-Model
• CARTAGO Model and Infrastructure

---

Agent-Oriented Computing

Exploring Agent-Oriented Programming Paradigms for the Concurrency Revolution.

• A&A (Agents and Artifacts) Programmin Model
• simpA Framework and technology

---

e-learning

---

Bioinformatics and Computational Systems Biology

1. ABM and MABS for biological systems
2. Protein Folding and Docking
3. Process algebra for modelling intracellular pathway
4. Haplotype Inference
5. Reverse Engineering Gene Networks
6. Founder sequence reconstruction problem (a.k.a. mosaic problem)
7. Genetic regulatory network models

---

Modellazione basata ad agenti per l'analisi dei comportamenti dinamici di sistemi complessi