Paulo Nazareno Maia Sampaio

Departamento de Matemática e Engenharias
Universidade da Madeira

Campus Universitário da Penteada
9000-390 Funchal
Portugal

Telefone: +351 291705291
Fax: +351 291705199
Email: psampaio(at)uma.pt
www: http://dme.uma.pt/people/faculty/Paulo.Sampaio/
Office: Room 2.76


Actividade Profissional

  • Professor Auxiliar, Universidade da Madeira, desde 2004
  • Professor Auxiliar, Universidade Católica de Santos, São Paulo, Brasil, Junho/2003-julho/2004
  • Assistente de Investigação, Laboratoire d´Analyses et Architecture des Systèmes (LAAS-CNRS), Toulouse, France, Outubro/1998-Abril/2003
  • Assistente de Investigação, Universidade Federal de São Carlos (UFSCar), São Carlos, São Paulo, Brasil, Março-Agosto/1998

Habilitações Académicas

  • Doutoramento em Informática e Telecomunicações
  • Mestrado em Ciência da Computação
  • Licenciatura em Ciência da Computação

Áreas de Investigação

  • Redes de Computadores, Sistemas Distribuídos, Sistemas Multimédia e Hipermédia e Métodos Formais

Publicações

  • Sampaio, P.N.M., Shiga, C.Y. & deSouza, W.L. Enabling Temporal Synchronization in E-LOTOS Specifications and MHEG-5 Applications, proceedings of IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking (PROMSMmNet’97), Santiago-Chile, November, 1997.
  • Sampaio, P.N.M. & deSouza, W.L. Modelling Multimedia and Hypermedia Applications using an E-LOTOS/MHEG-5 Approach, proceedings of Workshop on Conceptual Modelling in Multimedia Information Seeking, Los Angeles-USA, November, 1997.
  • Sampaio, P.N.M., Kawamoto, A.L.S. & deSouza, W.L. Uma Metodologia para Implementação em MHEG-5 de Aplicações Multimídia realizadas em E-LOTOS, IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia – SBMIDIA’98, Rio de Janeiro – RJ, Maio, 1998.
  • deSouza, W.L.; Sampaio, P.NM.; Farines, J.-M.; Scheffel R.M.; Almeida, J.B.; Gaspary, L.P.; Granville, L.Z.; Willrich, R.; deCamargo, M.S.; Domingos, M. Design of Distributed Multimedia Applications (DAMD). In: INTERNATIONAL WORKSHOP ON CURRENT TRENDS IN APPLIED FORMAL METHODS, 1988, Boppard. Lecture Notes in Computer Science: Applied Formal Methods - FM-Trends 98. Berlin: Springer, 1999. v. 1641, p. 77-91.
  • deSouza, W.L.; Shiga, C.Y.; Sampaio, P.N.M.; Kawamoto, A.L.S. Especificação de aplicações multimídia interativas em E-LOTOS. In: XXIV Conferencia Latinoamericana de Informática, 1998, Quito (Equador).
  • Sampaio, P.N.M.; Shiga, C.Y.; Kawamoto, A.L.S.; deSouza, W.L. Automatic MHEG-5 Implementation of Multimedia Applications Specified in E-LOTOS, The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI 2001, July 22-25, 2001, Orlando, Florida USA.
  • Santos, C.A.S.; Sampaio, P.N.M.; Courtiat, J.-P. Revisiting the concept of hypermedia documents consistency, 7th ACM International Multimedia Conference (ACM MULTIMEDIA'99), Orlando (USA), October 30th – November 5th 1999, pp.183-186. (short-paper).
  • Sampaio, P.N.M.; Santos, C.A.S.; Courtiat, J.-P. About the semantic verification of SMIL documents, 2000 IEEE International Conference on Multimedia (ICME 2000), New York (USA), July 30th - August 2nd 2000.
  • Sampaio, P.N.M.; Santos, C.A.S.; Courtiat, J.-P. Using a formal method to verify the temporal semantics of SMIL documents, IFIP Conference on Software: Theory and Practice, Beijing (Chine), August 21st-25th 2000, pp.451-458.
  • Sampaio, P.N.M.; Courtiat, J.-P. A formal approach for the presentation of interactive multimedia documents, 8th ACM International Conference on Multimedia, Los Angeles (USA), October 30th - November 4th 2000, pp.435-438. (short-paper).
  • Santos, C.A.S.; Sampaio, P.N.M.; Courtiat, J.-P. Da analise de consistencia a formatação temporal de um documento hipermídia usando RT-LOTOS. VI Brazilian Symposium on Multimedia and Hypermedia Systems (SBMIDIA), Natal (Brazil), June 14th-16th 2000, 15p.
  • Sampaio, P.N.M.; Courtiat, J.-P. Scheduling and presenting interactive multimedia documents. 2001 IEEE International Conference on Multimedia (ICME'2001), Tokyo (Japon), August 22nd-25th 2001, pp.1224-1227.
  • Sampaio, P.N.M.; Lohr, C.; Courtiat, J.-P. An integrated environment for the presentation of consistent SMIL 2.0 documents. ACM Symposium on Document Engineering (DocEng'01), Atlanta (USA), November 9th-10th 2001, pp.115-124.
  • Sampaio, P.N.M.; Courtiat, J.-P. Providing consistent SMIL 2.0 documents, proceedings of 2002 IEEE International Conference on Multimedia (ICME 2002), Lausanne (Switzerland), August 26th – 29th 2002.
  • Sampaio, P.N.M.; Courtiat, J.-P. An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. Proceedings of Brazilian Symposium on Multimedia and Web (WebMidia), Salvador (Bahia), Brazil, November 3rd-6th 2003.
  • Sampaio, P.N.M.; Courtiat, J.-P. Providing the design and presentation of consistent multimedia documents. Proceedings of “5a. Conferência da Associação Portuguesa de Sistemas de Informação”, Lisboa, Portugal, November 3rd-5th 2004.
  • Sampaio, P.N.M.; Courtiat, J.-P. An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. Journal of the Brazilian Computer Society (JBCS), Number 3, Volume 9, April 2004. ISSN 0104-6500. pp. 39-51.
  • Valente, P. & Sampaio, P. Defining Goals for the design of Interactive Multimedia Documents. In P. Kommers & G. Richards (Eds.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2006 (pp. 955-962). June 2006, Chesapeake, VA: AACE.
  • Valente, P.; Sampaio, P.N.M. Goals: Interactive Multimedia Documents Modeling. Proceedings of TAMODIA'2006 - 5th International Workshop on TAsk MOdels and DIAgrams for user interface design. Hasselt, Belgium, October 23-24, 2006.
  • Sampaio, P.N.M.; Rodelo, I.A.; Rodriguez Peralta, L.M.; Bressan, P.A. CreaTiVE: A Toolkit for the design of Multimedia and Collaborative Virtual Environments for education. To appear in Encyclopedia of Networked and Virtual Organizations. Idea Groups. (Scheduled for 2007).