Braga

Identifiers

• name variant Braga 0.60 · backfill

Papers (5)

1. Remotely programming the weights of a spintronic neural network by a radiofrequency broadcast signal cs.ET · 2026 · author #29
2. Integrating User Design and Formal Models within PVSio-Web cs.SE · 2018 · author #12
3. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web cs.HC · 2017 · author #15
4. The role of logical interpretations in program development cs.LO · 2013 · author #7
5. A Coinductive Approach to Proof Search cs.LO · 2013 · author #3

Mentions

• 1311.7090 #7 · backfill · confidence 0.70 Braga
• 1309.0892 #3 · backfill · confidence 0.70 Braga

Frequent Coauthors

• Portugal) 5 shared papers
• Universidade do Minho 3 shared papers
• France) 2 shared papers
• University of Toulouse 2 shared papers
• (2) Department of Electrical 1 shared papers
• (3) Department of Mathematical 1 shared papers
• (4) International Iberian Nanotechnology Laboratory 1 shared papers
• A. Jenkins (4) 1 shared papers
• Alexandre Madeira (CCTC 1 shared papers
• Aveiro University & Critical Software) 1 shared papers
• Bari 1 shared papers
• Camille Fayollas (ICS-IRIT 1 shared papers
• C\'elia Martinie (ICS-IRIT 1 shared papers
• C.N.R.S. 1 shared papers
• CNRS 1 shared papers
• Computer Sciences 1 shared papers
• D. Sanz-Hern\'andez (1) 1 shared papers
• Earth Sciences 1 shared papers
• F.A. Mizrahi (1) ((1) Laboratoire Albert Fert 1 shared papers
• France 1 shared papers