Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yiyun Xu
Yoshio Honda
Chen Ling
Claudia Calabrese
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
SIMÃO MELO DE SOUSA
Author Info
Open Visualization
Name
Affiliation
Papers
SIMÃO MELO DE SOUSA
RELiablE And SEcure Computation Group, Universidade da Beira Interior, Covilhã, Portugal,LIACC, Universidade do Porto, Portugal
15
Collaborators
Citations
PageRank
31
95
9.60
Referers
Referees
References
133
394
273
Search Limit
100
394
Publications (15 rows)
Collaborators (31 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Greenhub: A Large-Scale Collaborative Dataset To Battery Consumption Analysis Of Android Devices
1
0.34
2021
Revisiting concurrent separation logic.
0
0.34
2017
Deciding Kleene algebra terms equivalence in Coq.
1
0.35
2015
Certifying execution time in multicores
2
0.36
2015
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
2
0.36
2013
Learning stochastic timed automata from sample executions
3
0.42
2012
Deciding regular expressions (in-)equivalence in coq
7
0.46
2012
A functional approach to worst-case execution time analysis
3
0.39
2011
Certifying execution time
2
0.37
2011
Model-checking temporal properties of real-time HTL programs
0
0.34
2010
IS 2006 PC Co-chairs' Message
0
0.34
2006
Tool-Assisted Specification and Verification of Typed Low-Level Languages
2
0.42
2005
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
18
1.55
2002
Jakarta: A Toolset for Reasoning about JavaCard
17
1.03
2001
A Formal Executable Semantics of the JavaCard Platform
37
2.53
2001
1