We stand with Ukraine  

Pedro Barroso

Orcid: 0000-0002-6983-3620

According to our database1, Pedro Barroso authored at least 4 papers between 2020 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Hedging with an Edge: Parametric Currency Overlay.
[BibTeX]
[DOI]
Pedro Barroso
,
Jurij-Andrei Reichenecker
,
Marco J. Menichetti
Manag. Sci., 2022

Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version).
[BibTeX]
[DOI]
Pedro Barroso
,
Mário Pereira
,
António Ravara
CoRR, 2022

Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable.
[BibTeX]
[DOI]
Pedro Barroso
,
Mário Pereira
,
António Ravara
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

2020
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.
[BibTeX]
[DOI]
Pedro Barroso
,
Mário Pereira
,
António Ravara
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020


  Loading...