Universidade do Porto

output

20022015

most citedBiased bilayer graphene: semiconductor with a gap tunable by electric field effect

2k citations

researchers with a paper here

P. Avelino2 profiles18 · h 34
C. Martins10 · h 47
M. Monteiro2 profiles10 · h 34
N. Santos2 profiles10 · h 81
R. Menezes3 profiles10 · h 23
C. Herdeiro9 · h 62
J. Christensen-Dalsgaard3 profiles9 · h 85
N. Peres9 · h 48
P. Vieira9 · h 50
S. Sousa9 · h 65
J. L. D. Lopes Dos Santos8 · h 13
N. C. Santos8

collaborating institutions

Centro de Astrofísica da Universidade do PortoPT62 papers
Centre National de la Recherche ScientifiqueFR25 papers
Institute of Astrophysics and Space SciencesPT20 papers
University of CambridgeGB19 papers
University of MinhoPT15 papers
Instituto de Astrofísica de CanariasES13 papers
Universidade Federal da ParaíbaBR13 papers
California Institute of TechnologyUS11 papers
Instituto Superior TécnicoPT11 papers
European Southern ObservatoryCL10 papers
Aarhus UniversityDK9 papers
Institut de Planétologie et d'Astrophysique de GrenobleFR9 papers

Showing 2015 · cs.PLShow all

1 paper · 2 filters

cs.PL2015★ 4 cited

Liquid Intersection Types

Mário Pereira, Sandra Alves, Mário Florido

We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise ty…