Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 41



21
TÍTULO: Deciding regular expressions (in-)equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
22
TÍTULO: Learning stochastic timed automata from sample executions
AUTORES: De Matos Pedro, A ; Crocker, PA ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7609 LNCS, NÚMERO: PART 1
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
23
TÍTULO: A Functional Approach to Worst-Case Execution Time Analysis
AUTORES: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
24
TÍTULO: Partial Derivative Automata Formalized in Coq
AUTORES: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
25
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef Openlibrary
NO MEU: ORCID | DBLP
26
TÍTULO: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTORES: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, NÚMERO: PART 2
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
27
TÍTULO: Sniffing With the Portuguese Identify Card for fun and Profit
AUTORES: Paul Crocker ; Vasco Nicolau; Simao Melo de Sousa ;
PUBLICAÇÃO: 2010, FONTE: 9th European Conference on Information Warfare and Security in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON INFORMATION WARFARE AND SECURITY
INDEXADO EM: Scopus WOS
NO MEU: ORCID
28
TÍTULO: Guest Editorial
AUTORES: Simão Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: Comput. Sci. Inf. Syst., VOLUME: 5, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
29
TÍTULO: Lissom, a Source Level Proof Carrying Code Platform PDF
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
30
TÍTULO: Secure Biometric Authentication With Improved Accuracy
AUTORES: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 de 5. Total de resultados: 41.

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

Links Úteis

Ajuda

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