Barbosa, João

1. Fifty Years of Prolog and Beyond
   2022/01/26 by Philipp Körner, Michael Leuschel, Michaël Leuschel +23 · 3 voices · 7 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Engineering Research
2. Towards Quantum Ray Tracing
   2022/04/27 by Luís Paulo Santos, Santos, Luís Paulo, Thomas Bashford‐Rogers +5 · 1 citation
   Computer Science · #68U05 #Computer Graphics and Visualization Techniques #Data Visualization and Analytics #FOS: Computer and information sciences #Graphics (cs.GR) #I.3.7 #Image and Video Quality Assessment
3. RSFQ All-Digital Programmable Multi-Tone Generator For Quantum Applications
   2024/11/13 by Barbosa, João, Brennan, Jack C., Casaburi, Alessandro +4 · 1 citation
   #Applied Physics (physics.app-ph) #FOS: Physical sciences #Quantum Physics (quant-ph)