Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 43



21
TÍTULO: Certifying execution time
AUTORES: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
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 | CIÊNCIAVITAE
23
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 | CIÊNCIAVITAE
24
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
25
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: 9 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
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 | DBLP | CIÊNCIAVITAE
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: 43.

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