Tesi di Laurea presso l'Università di Parma

Corso di Laurea in Informatica (laurea triennale)

  1. CANDIDATO: Michele Filippi

    2. TITOLO TESI (provvisorio): Un'interfaccia uniforme per la programmazione con insiemi e vincoli insiemistici in Java.
    DATA LAUREA: Settembre 2008
     
  2. CANDIDATO: Daniele Pandini

    3. TITOLO TESI: Progettazione e realizzazione in Java di un risolutore di vincoli su domini finiti
    DATA LAUREA: Febbraio 2008
     
  3. CANDIDATO: Roberto Amadini

    4. TITOLO TESI: Definizione e trattamento del vincolo di cardinalità insiemistica nella libreria JSetL
    DATA LAUREA: Ottobre 2007
     
  4. CANDIDATO: Delia Di Giorgio

    5. TITOLO TESI: Gestione di insiemi ed operazioni insiemistiche in Java tramite l integrazione tra la libreria JSetL e l interfaccia Set di Java
    DATA LAUREA: Aprile 2007
     
  5. CANDIDATO: Nadia Toledi

    6. TITOLO TESI: Un'estensione alla libreria JSetL per il trattamento di vincoli su multi-insiemi
    DATA LAUREA: Aprile 2006

Corso di Laurea in Matematica e informatica (laurea triennale)

  1. CANDIDATO: Gabriele Cavatorta

    2. TITOLO TESI: Declarative Programming: teorie, applicazioni, studio di casi
    DATA LAUREA: Luglio 2004

Corso di Laurea in Matematica (laurea quadriennale)

  1. CANDIDATO: Laura Gelsomino

    2. TITOLO TESI: Definizione ed inserimento di vincoli di aggregato in CLP(SET)
    DATA LAUREA prevista: Settembre 2008
     
  2. CANDIDATO: Paolo Orlando

    3. TITOLO TESI: Definizione ed implementazione di un compilatore per il linguaggio
    di programmazione dichiarativo con insiemi Singleton
    DATA LAUREA: Febbraio 2004
     
  3. CANDIDATO: Alberto Marone

    4. TITOLO TESI: Un sistema visuale per lo sviluppo di programmi basato su insiemi
    DATA LAUREA: Febbraio 2004
     
  4. CANDIDATO: Sara Manzoli

    5. TITOLO TESI: Una proposta per l'integrazione di vincoli su domini finiti
    e di vincoli su insiemi
    DATA LAUREA: Febbraio 2003
     
  5. CANDIDATO: Elisabetta Poleo

    6. TITOLO TESI: JavaSet: una libreria Java per la programmazione con vincoli (insiemistici)
    DATA LAUREA: Dicembre 2002
     
  6. CANDIDATO: Barbara Baiocchi

    7. ARGOMENTO TESI: Un linguaggio di programmazione non-deterministico con insiemi
    DATA LAUREA: Aprile 2002
     
  7. CANDIDATO: Adriana Morini

    8. TITOLO TESI: Una proposta per l'analisi di "groundness" di programmi logici basata su insiemi
    DATA LAUREA: Ottobre 2000
     
  8. CANDIDATO: Silvia Bongiorni

    9. TITOLO TESI: Un sistema visuale per la gestione e lo sviluppo di applicazioni basate su insiemi
    DATA LAUREA: Aprile 2000
     
  9. CANDIDATO: Silvia Monica

    10. TITOLO TESI: Un linguaggio logico con insiemi, multi-insiemi, liste compatte e liste: definizione ed applicazioni
    DATA LAUREA: Aprile 2000
     
  10. CANDIDATO: Claudia Farina

    11. TITOLO TESI: L-base: un linguaggio non-deterministico con insiemi
    DATA LAUREA: Aprile 1999
     
  11. CANDIDATO: Emma Bassi

    12. TITOLO TESI: Uno strumento per la definizione e la gestione visuale di insiemi finiti
    DATA LAUREA: Aprile 1999
     
  12. CANDIDATO: Bruna Bazzan

    13. TITOLO TESI: Trattamento di insiemi intensionali in un linguaggio logico< con insiemi
    DATA LAUREA: Aprile 1999
     
  13. CANDIDATO: Carla Piazza

    14. TITOLO TESI: Set constraint
    DATA LAUREA: Luglio 1997
     
  14. CANDIDATO: Roberta Carmona

    15. TITOLO TESI: Trattamento di insiemi intensionali in {log}
    DATA LAUREA: Luglio 1997

Corso di Laurea in Fisica

  1. CANDIDATO: Marco Nardelli

    2. ARGOMENTO TESI: Crittografia (c/o Laboratorio di Telematica per il Territorio - )
    DATA LAUREA:
     
  2. CANDIDATO: Perini Federico

    3. ARGOMENTO TESI: Codice mobile
    DATA LAUREA:
     
  3. CANDIDATO: Federico Notari

    4. TITOLO TESI: Visual {log}: un sistema per la programmazione visuale con insiemi finiti e vincoli
    DATA LAUREA: Aprile 2000
     
  4. CANDIDATO: Raffaele Cicchese

    5. ARGOMENTO TESI: Crittografia
    DATA LAUREA: Febbraio 2000
     
  5. CANDIDATO: Carlo Marra

    6. ARGOMENTO TESI: Crittografia
    DATA LAUREA:
     
  6. CANDIDATO: Serena Dall'Asta

    7. TITOLO TESI: Studio e realizzazione di un linguaggio per espressioni logico-insiemistiche
    DATA LAUREA: Novembre 1996

Diploma in Metodologie Fisiche

  1. CANDIDATO: Simona Boselli

    2. TITOLO TESI: Gestione elettronica dei documenti e Protocollo
    DATA LAUREA: Aprile 1998
     
  2. CANDIDATO: Alessandra Sidoli

    3. TITOLO TESI: Progetto di LAN per rilevamento dati in produzione con interfaccia al Sistema Gestionale
    DATA LAUREA:Aprile 1997
     
  3. CANDIDATO: Amedeo Sportola

    4. TITOLO TESI: Studio dell'influenza della temperatura su particolari meccanici
    utilizzati in fase di montaggio dalla Ruggerini Motori mediante l'analisi di parametri operativi
    DATA LAUREA: Aprile 1996



 

Tesi di Laurea presso altre Università