|
Search the dblp DataBase
Guilherme Pinto:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Werner Damm, Guilherme Pinto, Stefan Ratschan
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:99-113 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PROPOR, 2003, pp:23-30 [Conf]
- Werner Damm, Guilherme Pinto, Stefan Ratschan
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:63-86 [Journal]
Jointly Optimized Modulated-Transmitter and Receiver FIR MIMO Filters. [Citation Graph (, )][DBLP]
Data selective partial-update affine projection algorithm. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|