Pedro Barroso

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Conjunctive Normal Form

Top Venues

PAAR+SC²@IJCAR

Publications

Pedro Barroso, Jurij-Andrei Reichenecker, Marco J. Menichetti
Hedging with an Edge: Parametric Currency Overlay. Manag. Sci. 68 (1) (2022)
Pedro Barroso, Mário Pereira, António Ravara
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version). CoRR (2022)
Pedro Barroso, Mário Pereira, António Ravara
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. VSTTE (2022)
Pedro Barroso, Mário Pereira, António Ravara
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. PAAR+SC²@IJCAR (2020)
Pedro Barroso, Mário Pereira, António Ravara
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. CoRR (2020)