|
|
Teaching Assistant/PhD Student
I am currently writing my PhD thesis on automata-based representation of integer vectors. Precisely, I am looking for new algorithms that given a finite automaton (called Number Decision Diagram in the litterature, NDD in short) representing a set of integer vectors, generate a (simple) formula (in Presburger Arithmetic) corresponding exactly to the set represented by the input NDD. All algorithms are implemented via the LASH toolset.
- Address
- Service
de Parallélisme et Banques de Données
- Institut Montefiore , B28
- Université de Liège
- B-4000 Liège
- BELGIUM
- Email :
latour@montefiore.ulg.ac.be
- Phone: +32-4-3662622
- Fax: +32-4-3662620
- PGP - public key: click here
- Curriculum Vitae : click here
|
 |
|
