 | 2007 |
|---|
| 4 |       | Werner Damm,
Guilherme Pinto,
Stefan Ratschan:
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems.
Int. J. Found. Comput. Sci. 18(1): 63-86 (2007) |
| 2006 |
|---|
| 3 | | Guilherme Pinto,
Paulo S. R. Diniz,
Are Hjørungnes:
Jointly Optimized Modulated-Transmitter and Receiver FIR MIMO Filters.
APCCAS 2006: 972-975 |
| 2005 |
|---|
| 2 | | Werner Damm,
Guilherme Pinto,
Stefan Ratschan:
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.
ATVA 2005: 99-113 |
| 2003 |
|---|
| 1 | | Filipe Barbosa,
Guilherme Pinto,
Fernando Gil Resende,
Carlos Alexandre Gonçalves,
Ruth Monserrat,
Maria Carlota Rosa:
Grapheme-Phone Transcription Algorithm for a Brazilian Portuguese TTS.
PROPOR 2003: 23-30 |
