As a PhD student, I'm currently working on an application of Timed Automata to develop web applications. Reading some papers on the topic.

Soon I got the impression that it would be helpful to identify the people who worked on Timed Automata or are still working on it. Maybe just for having a clue of the "ideal" community we are (implicitly) building exploring similar things, or just to help new people who begin to work on Timed Automata to get in touch with more experienced people.

I share with you this map created with Google services. It's still a work-in-progress, and I guess it would always be... If you have any contribute (i.e. new people and new research going on around) feel free to send me a notification through comments or email.

View the map

Programming webservices in PHP, I met the library known as NuSOAP [1]. Even though, I'm not an expert in the field, it turned out to be very helpful in building webservice. Nevertheless you may need an extra functionality that NuSOAP does not provide (as far as I know): you may want to encode the data just before sending them to the webservice as input, and decode them as soon as they are returned as output of the webservice itself. In my view, this functionality should be parametherized: the developer should be able to define its own encoder/decoder, pass it to the client or the server he/she is developing, and expect that such encoder/decoder will be used. As the object oriented paradigm teach us, we just need to extend the existing library in a new library that allow such functionality. Let us see how to do that.

Definiamo un linguaggio che consenta di programmare un'applicazione a stati, dalla sua progettazione alla sua implementazione. Traendo spunto un po' dall'idea degli statecharts di D.Harel e un po' dallo state pattern, cerchiamo di fornire al programmatore strumenti aggiuntivi con cui possa continuare a scrivere codice nel linguaggio che predilige, ma in qualche misura lo guidi nella definizione della sua applicazione.

Si propone come utile strumento per eseguire operazioni di portabilità di basi di dati, fornendo certificati che garantiscano un certo livello di "sicurezza" specificabili dall'utente (anche se questa parte ancora non è stata implementata).

Il titolo completo è, in realtà:

Sistemi di Riscrittura e Quasi-Interpretazioni: alcune questioni di Complessità Computazionale

 È stato un progetto condotto come tesi di laurea specialistica (a.a. 2005/2006, III sessione) in cui si è valutato l'impiego di alcune tecniche formali per la valutazione di alcune classi di complessità computazionale estensionale. Le tecniche di analisi erano una composizione di: sistemi di riscrittura al prim'ordine, sistemi di riscrittura all'ordine superiore, procedure di traduzione da sistemi all'ordine superiore verso sistemi al prim'ordine, quasi-interpretazioni e recursive-path orderings. Le classi di computazione interessate erano: PSPACE, LinExpSPACE, LinDoubleExpSPACE, LinSPACE, PTIME, LinExpTIME, LinDoubleExpTIME.

Abbiamo affrontato il problema di cercare soluzioni numeriche a due equazioni differenziali del secondo ordine, con diverse condizioni al bordo (Dirichlet, miste, di Neumann).

Abbiamo implementato la nostra soluzione in Mathematica, come progetto per il corso di Analisi II. Inoltre sviluppato un algoritmo che riducesse il più possibile la mole di calcoli richiesti.

Oltre a me, a questo lavoro hanno lavorato Mattia Crivellini e Chiara Angelone.

Abbiamo implementato un algoritmo di S.Cucerzand e D.Yarowsky per realizzare un riconoscitore di entità nominali indipendente dal linguaggio. Il sistema apprende partendo da un ristretto insieme di regole, per mezzo di ripetute iterazioni in cui svolge un'analisi sintattica di un testo scritto in linguaggio naturale (es. degli articoli di giornale, blog, ...) basata sulle caratteristiche (features), genera nuove regole e mantiene quelle "migliori".

Abbiamo testato il sistema facendogli riconoscere tre entità nominali (Nomi di persona, Località e Nomi di organizzazioni/aziende) all'interno di una raccolta di articoli di giornali statunitensi.

Il progetto è stato programmato in C per il corso di Linguistica Computazionale. Il pacchetto è provvisto di Makefile funzionante in sistemi Linux/GCC. 

Questo progetto fa parte del lavoro di tesi triennale: partendo da un linguaggio funzionale con determinate proprietà circa la complessità estensionale degli algoritmi in esso esprimibili, abbiamo definito un linguaggio intermedio in cui il primo andava compilato, ed abbiamo scritto un interprete per il linguaggio intermedio stesso.

Il progetto à stato programmato nel linguaggio C++ ed è provvisto di Makefile per sistemi Linux/GCC.