Travelled to:
1 × Canada
1 × France
1 × Germany
1 × South Africa
1 × The Netherlands
Collaborated with:
S.Hamel J.Manzoni R.Catalano M.Beaulieu
Talks about:
algorithm (2) automata (2) analysi (2) vector (2) comput (2) decomposit (1) implement (1) interact (1) approxim (1) reactiv (1)
Person: Anne Bergeron
DBLP: Bergeron:Anne
Contributed to:
Wrote 6 papers:
- CIAA-2001-BergeronH #algorithm
- Cascade Decompositions are Bit-Vector Algorithms (AB, SH), pp. 13–26.
- CIAA-2000-BergeronH #automaton #implementation #performance
- Fast Implementations of Automata Computations (AB, SH), pp. 47–56.
- CIAA-J-2000-BergeronH02 #algorithm #approximate #string
- Vector Algorithms for Approximate String Matching (AB, SH), pp. 53–66.
- TACAS-1999-BergeronM #analysis #automation #email #interactive
- An Automated Analysis of Ping-Pong Interactions in E-mail Services (AB, JCM), pp. 134–147.
- WIA-1999-BergeronC #analysis
- Analysis of Reactive Systems with n Timers (AB, RC), pp. 27–38.
- WIA-1998-BeaulieuB #automaton
- Automata and Computational Probabilities (MCB, AB), pp. 164–177.