Skip to content

Joo Mota

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2008–2025

Best venue rank

A

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2025EPIAUnveiling MicroRNA Biomarkers for Breast Cancer Sub-typing Using Discriminative Models.Joo Mota, Jos Romano, Ana Rita Grosso, Joo Conde, Brbara Mendes, David Semedo
2024ECOOPBehavioural Up/down Casting For Statically Typed Languages.Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joo Mota, Antnio Ravara
2023ECOOPOn Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).Joo Mota, Marco Giunti, Antnio Ravara
2021CoordinationJava Typestate Checker.Joo Mota, Marco Giunti, Antnio Ravara
2008AVIAgrafo: a visual interface for grouping and browsing digital photos.Joo Mota, Manuel J. Fonseca, Daniel Gonalves, Joaquim A. Jorge