João Barbosa

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. Classical Interfaces for Controlling Cryogenic Quantum Computing Technologies
   2025/04/25 by J. Brennan, Brennan, Jack C., João Barbosa +19 · 4 citations
   Computer Science · Physics and Astronomy · #Applied Physics (physics.app-ph) #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum and electron transport phenomena
3. MaudeTypedLog: A Typed Interpreter for Prolog in Maude
   2026/07/18 by Enrique Gallifa-Tronch, J M Barbosa, João Barbosa +1
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification