Concepedia

João Branco

JB

4

Publications

147

Citations

4

H-Index

2013

Active since

Affiliations

University of Alberta(Current)

SLAC National Accelerator Laboratory

GMV Innovating Solutions (Spain)

Helmholtz-Zentrum Dresden-Rossendorf

Technische Universität Dresden

João Branco is an author at University of Alberta specializing in formal methods, automated reasoning, and quantitative management.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationOperations ResearchSystems EngineeringQuantitative Management

Publications per year

2013–2018

4

Publications

4

Efficient laser-driven proton acceleration from cylindrical and planar cryogenic hydrogen jets

Lieselotte Obst-Huebl, Sebastian Göde, Martin Rehwald et al. · Scientific Reports · 2017 · 95 citations · Full text

Mission analysis for PROBA-3 nominal operations

T. V. Peters, João Branco, Diego Escorial et al. · Acta Astronautica · 2014 · 20 citations

Mission Analysis, Engineering, Mission-critical System +8

All-optical structuring of laser-driven proton beam profiles

Lieselotte Obst-Huebl, Tim Ziegler, Florian‐Emanuel Brack et al. · Nature Communications · 2018 · 20 citations · Full text

Light-touch2: a laser-based solution for the deflection, manipulation and exploitation of small asteroids

Massimiliano Vasile, Massimo Vetrisano, Alison Gibbings et al. · Physical Review Letters · 2013 · 12 citations

Rows per page

1–4 of 4