Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 42



21
TÍTULO: Deciding Regular Expressions (In-)Equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS, VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
22
TÍTULO: Learning Stochastic Timed Automata from Sample Executions
AUTORES: André de Matos Pedro ; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2012, FONTE: ISoLA (1), VOLUME: 7609 LNCS, NÚMERO: PART 1
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
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
24
TÍTULO: Certifying Execution Time
AUTORES: Vítor Rodrigues ; João Pedro Pedroso ; Mário Florido ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: FOPARA, VOLUME: 7177 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
25
TÍTULO: Partial Derivative Automata Formalized in Coq  Full Text
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: 9 Handle
NO MEU: ORCID
26
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: 18 Openlibrary
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
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
28
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 | CIÊNCIAVITAE
29
TÍTULO: Uma plataforma de hospedagem baseada na Web para máquinas pedagógicas
AUTORES: Nuno Gaspar; Simão Melo De Sousa ;
PUBLICAÇÃO: 2009, FONTE: Informática na educação: teoria & prática, VOLUME: 12, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
30
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
Página 3 de 5. Total de resultados: 42.

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

Links Úteis

Ajuda

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