Roberto C. de Oliveira
Institut polytechnique de Grenoble(FR)Centre National de la Recherche Scientifique(FR)Laboratoire d'Informatique de Grenoble(FR)Université Grenoble Alpes(FR)
Publications by Year
Research Areas
Multimedia Communication and Technology, Peer-to-Peer Network Technologies, Video Analysis and Summarization, Digital Rights Management and Security, Logic, programming, and type systems
Most-Cited Works
- → Proving temporal consistency in a new multimedia synchronization model(1996)60 cited
- → A general-purpose multimedia synchronization mechanism based on causal relations(1996)27 cited
- → Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems(1996)22 cited
- → Towards a new multimedia synchronization mechanism and its formal definition(1994)15 cited
- → Flebotomíneos (Diptera: Psychodidae) coletados com armadilha malaise no Centro-Oeste de Minas Gerais(2008)14 cited
- → On rt-lotos and its application to the formal design of multimedia protocols(1995)14 cited
- RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.