Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 42



21
TITLE: Deciding Regular Expressions (In-)Equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
22
TITLE: Learning Stochastic Timed Automata from Sample Executions
AUTHORS: André de Matos Pedro ; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: ISoLA (1), VOLUME: 7609 LNCS, ISSUE: PART 1
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
23
TITLE: A Functional Approach to Worst-Case Execution Time Analysis
AUTHORS: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
24
TITLE: Certifying Execution Time
AUTHORS: Vítor Rodrigues ; João Pedro Pedroso ; Mário Florido ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: FOPARA, VOLUME: 7177 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
25
TITLE: Partial Derivative Automata Formalized in Coq  Full Text
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Handle
IN MY: ORCID
26
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
INDEXED IN: DBLP CrossRef: 18 Openlibrary
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 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, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
28
TITLE: Sniffing With the Portuguese Identify Card for fun and Profit
AUTHORS: Paul Crocker ; Vasco Nicolau; Simao Melo de Sousa ;
PUBLISHED: 2010, SOURCE: 9th European Conference on Information Warfare and Security in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON INFORMATION WARFARE AND SECURITY
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Uma plataforma de hospedagem baseada na Web para máquinas pedagógicas
AUTHORS: Nuno Gaspar; Simão Melo De Sousa ;
PUBLISHED: 2009, SOURCE: Informática na educação: teoria & prática, VOLUME: 12, ISSUE: 1
INDEXED IN: CrossRef
IN MY: CIÊNCIAVITAE
30
TITLE: Guest Editorial
AUTHORS: Simão Melo de Sousa ;
PUBLISHED: 2008, SOURCE: Comput. Sci. Inf. Syst., VOLUME: 5, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 5. Total results: 42.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service