About the semantic verification of SMIL documents PNM Sampaio, CAS Santos, JP Courtias 2000 IEEE International Conference on Multimedia and Expo. ICME2000 …, 2000 | 43 | 2000 |
A formal approach for the presentation of interactive multimedia documents PNM Sampaio, JP Courtiat Proceedings of the eighth ACM international conference on Multimedia, 435-438, 2000 | 34 | 2000 |
Implementing a data network infrastructure course using a problem-based learning methodology VF Martins, PNM Sampaio, AJA Cordeiro, BF Viana Journal of Information Systems Engineering & Management 3 (2), 10, 2018 | 33 | 2018 |
Revisiting the concept of hypermedia document consistency CAS Santos, PNM Sampaio, JP Courtiat Proceedings of the seventh ACM international conference on Multimedia (Part …, 1999 | 24 | 1999 |
The osteogenic priming of mesenchymal stem cells is impaired in experimental diabetes JC Silva, P Sampaio, MH Fernandes, PS Gomes Journal of cellular biochemistry 116 (8), 1658-1667, 2015 | 23 | 2015 |
Conception formelle de documents multimédia interactifs: une approche s' appuyant sur RT-LOTOS PNM Sampaio Toulouse 3, 2003 | 23 | 2003 |
An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents PNM Sampaio, JP Courtiat Journal of the Brazilian Computer Society 9, 39-51, 2004 | 20 | 2004 |
Using a formal method to verify the temporal semantics of SMIL documents PNM Sampaio, CAS Santos, JP Courtiat Proc. Conference of Software: Theory and Practice, IFIP World Congress …, 2000 | 19 | 2000 |
Blended peer-assisted learning platform: Improving learning outcomes with a collaborative environment PNM Sampaio, JM Teixeira, MF Camacho, RH de Freitas Gouveia Journal of Educational Technology Systems 39 (4), 371-395, 2011 | 17 | 2011 |
Mobile application to support dyslexia diagnostic and reading practice VF Martins, T Lima, PNM Sampaio, M de Paiva 2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016 | 15 | 2016 |
From the specification to the scheduling of time-dependent systems C Lohr, JP Courtiat Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002 | 13 | 2002 |
An integrated environment for the presentation of consistent SMIL 2.0 documents PNM Sampaio, C Lohr, JP Courtiat Proceedings of the 2001 ACM Symposium on Document engineering, 115-124, 2001 | 13 | 2001 |
Usability and functionality assessment of an oculus rift in immersive and interactive systems using voice commands V Farinazzo Martins, PNM Sampaio, F da S. Mendes, A Santos Lima, ... Virtual, Augmented and Mixed Reality: 8th International Conference, VAMR …, 2016 | 12 | 2016 |
SDN controllers-a comparative approach to market trends FJBV Neto, CJ Miguel, ACS de Jesus, PNM Sampaio 9th International Workshop on ADVANCEs in ICT Infrastructures and Services …, 2021 | 10 | 2021 |
Authoring of OpenFlow networks with visual network description (SDN version)(WIP) RR Fontes, ALC Oliveira, PNM Sampaio, TR Pinheiro, RARB Figueira Proceedings of the 2014 Summer Simulation Multiconference, 1-6, 2014 | 10 | 2014 |
Towards SMIL document analysis using an algebraic time net A Abdelli, M Daoudi Pacific-Rim Conference on Multimedia, 273-281, 2004 | 10 | 2004 |
Scheduling and presenting interactive multimedia documents PNM Sampaio, JP Courtiat IEEE International Conference on Multimedia and Expo, 2001. ICME 2001., 1021 …, 2001 | 10 | 2001 |
Problem-based learning methodology applied within a data network infrastructure design course a real case implementation VF Martins, PNM Sampaio, AJA Cordeiro, BF Viana 2017 12th Iberian Conference on Information Systems and Technologies (CISTI …, 2017 | 9 | 2017 |
Visual Network Simulator (VNS): A GUI to QoS simulation for the ns-2 simulator EMD Marques, RASA Plácido, PNM Sampaio 2009 IEEE/ACS International Conference on Computer Systems and Applications …, 2009 | 9 | 2009 |
Bringing integrated multimedia content into virtual reality environments PNM Sampaio, LM Rodríguez Peralta Transactions on Edutainment III, 219-230, 2009 | 8 | 2009 |