Dipartimento di Informatica

Risorse

Aree/Progetti collegati

• Modelli di agenti

Coordinatore/i

• Guido Boella  

Membri

• Alessandro Mazzei  

• PROGETTI PRECEDENTI
  • Automating FMECA for aircraft systems (AUTAS)
  • Customer-Adaptive Web Interface for the Configuration of Products and Services (CAWICOMS)
  • Digital TV: Ontologies and semantic proximity
  • FOndazioni Logiche di LInguaggi Astratti di Programmazione (FOLLIA) --- PRIN2004
  • I fondamenti cognitivi per la creazione del diritto [Cognitive basis in law] (PRIN05)
  • INteractive TouRist Information GUidE (INTRIGUE)
  • Knowledge-oriented technologies for enterprise aggregation in Internet (TOCAI.IT)
  • Legal Taxonomy Syllabus
  • Personalized Television Services
  • Protecting Web Resources from Massive Automated Access
  • Smart Tourist Agenda Recommender (STAR)
  • Specifica e verifica di protocolli di interazione fra agenti
  • User Adaptive Web-based Systems (SeTA )
  • Wide-scalE, Broadband, Middleware for Network Distributed Services (WEB MINDS)
  • SmartLab
  • Diagnosis of complex Web Services (WS-DIAMOND)
  • PeeR-to-peer beyOnd FILE Sharing (PROFILES)
  • Critical UTility InfrastructurAL resilience (CRUTIAL )
  • Performability-Aware Computing: Logics, Models, and Languages (PaCo)
  • Intelligent Support to Retrieving Hydric Resources Data (Acqua)
  • Recommendation and Discovery for Personal Video Recorder (RD-PVR)
  • BioBITs: Developing white and green biotechnologies by converging platforms from biology and information technology towards metagenomics
  • myMed
  • Formal Verification of Object-Oriented Software (COST Action IC0701)
  • DISCO (Distribution, Interaction, Specification, Composition for Object Systems)
  • IPODS
  • LCaTfOOPC: Language constructs and type systems for object oriented program components
  • MeCTAFI: Constructive Methods in Topology, Algebra and Foundations of Computer Science