Old Web
English
Sign In
Acemap
>
authorDetail
>
Joel Carvalho
Joel Carvalho
University of Porto
Computer science
Theoretical computer science
Abstract syntax tree
Real-time computing
Model checking
4
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Disastrous Flash Floods Triggered by Moderate to Minor Rainfall Events. Recent Cases in Coastal Benguela (Angola)
2021
Hydrology
Pedro A. Dinis
João Huvi
Marina M. S. Cabral Pinto
Joel Carvalho
Show All
Source
Cite
Save
Citations (1)
Data for: Geochemistry and clay mineralogy of Early Cretaceous mudstones of the Algarve Basin (SW Iberia) and palaeoclimate implications
2020
Pedro Morgado Dinis
Mário Miguel Mendes
Pedro Callapez
Joel Carvalho
Paulo Fernandes
Vanda Faria dos Santos
Show All
Source
Cite
Save
Citations (0)
Automated analysis of non-functional requirements for web applications
2016
CISTI | Iberian Conference on Information Systems and Technologies
Joel Carvalho
Simão Melo de Sousa
João Paulo Fernandes
Nuno Pereira
Luis Filipe Mendes
Carlos Manuel Figueiredo
Cátia Raquel Oliveira
Show All
Source
Cite
Save
Citations (1)
Model-checking temporal properties of real-time HTL programs
2010
ISoLA | Leveraging Applications of Formal Methods
Andre Carvalho
Joel Carvalho
Jorge Sousa Pinto
Simão Melo de Sousa
Show All
Source
Cite
Save
Citations (0)
1