Francisco Manuel Madureira e Castro Vasques de Carvalho


AuthID: R-000-5CQ

Publicações Confirmadas: 254



161
TÍTULO: An event-triggered smart sensor network architecture
AUTORES: Erico Leão ; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID | ResearcherID
162
TÍTULO: Aplicação de Métodos Formais na Validação de Algoritmos Distribuídos Tolerantes a Falhas
AUTORES: Valério Rosset; Pedro F Do Souto; Paulo J Portugal; Francisco Vasques ;
PUBLICAÇÃO: 2007
INDEXADO EM: Handle
163
TÍTULO: Formal verification of a group membership protocol using model checking
AUTORES: Rosset, V; Souto, PF ; Vasques, R ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
NO MEU: ORCID | DBLP
164
TÍTULO: GSC: A real-time communication scheme for IEEE 802.11e industrial systems
AUTORES: Viegas, R; Moraes, R; Guedes, LA; Vasques, F ;
PUBLICAÇÃO: 2007, FONTE: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT'2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 7, NÚMERO: PART 1
INDEXADO EM: Scopus
NO MEU: ORCID
165
TÍTULO: GSC: A REAL-TIME COMMUNICATION SCHEME FOR IEEE 802.11E INDUSTRIAL SYSTEMS
AUTORES: Raimundo Viégas Junior; Ricardo Moraes; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: IFAC Proceedings Volumes, VOLUME: 40, NÚMERO: 22
INDEXADO EM: CrossRef
NO MEU: ORCID
166
TÍTULO: Implementation of an event-triggered smart sensor network architecture based on the IEEE 802.15.4 standard
AUTORES: Leao, EM; Guedes, LA; Vasques, F ;
PUBLICAÇÃO: 2007, FONTE: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT'2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 7, NÚMERO: PART 1
INDEXADO EM: Scopus
NO MEU: ORCID
167
TÍTULO: IMPLEMENTATION OF AN EVENT-TRIGGERED SMART SENSOR NETWORK ARCHITECTURE BASED ON THE IEEE 802.15.4 STANDARD
AUTORES: Erico Leão ; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: IFAC Proceedings Volumes, VOLUME: 40, NÚMERO: 22
INDEXADO EM: CrossRef
NO MEU: ORCID
168
TÍTULO: Real-time communication for smart sensor networks: A CAN based solution
AUTORES: Antonio J Pires; Erico Leão ; Joao P Sousa; Luiz Affonso Guedes; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | ResearcherID
169
TÍTULO: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture
AUTORES: Ricardo Moraes; Paulo Portugal ; Stefano Vitturi; Francisco Vasques ; Pedro F Souto ;
PUBLICAÇÃO: 2007, FONTE: 32nd IEEE Conference on Local Computer Networks, LCN 2007 in 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings
INDEXADO EM: Scopus DBLP CrossRef: 4 Handle
NO MEU: ORCID | DBLP
170
TÍTULO: VTP-CSMA: A virtual token passing approach for real-time communication in IEEE 802.11 wireless networks
AUTORES: Ricardo Moraes; Francisco Vasques ; Paulo Portugal ; Jose Alberto Fonseca ;
PUBLICAÇÃO: 2007, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 3, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 47
NO MEU: ORCID | ResearcherID | DBLP
Página 17 de 26. Total de resultados: 254.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service