João Barbosa

25 papers B 1C 2Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
EuroHPC SPACE CoE: Redesigning Scalable Parallel Astrophysical Codes for Exascale.
CoRR
Nitin Shukla, Alessandro Romeo, Caterina Caravita, Lubomir Riha, Ondrej Vysocky, Petr Strakos, Milan Jaros, João Barbosa, Radim Vavrík, Andrea Mignone, Marco Rossazza, Stefano Truzzi, Vittoria Berta, Iacopo Colonnelli, Doriana Medic, Elisabetta Boella, Daniele Gregori, Eva Sciacca, Luca Tornatore, Giuliano Taffoni, Pranab J. Deka, Fabio Bacchini, Rostislav-Paul Wilhelm, Georgios Doulis, Khalil Pierre, Luciano Rezzolla, Tine Colman, Benoît Commerçon, Othman Bouizi, Matthieu Kuhn, Erwan Raffin, Marc Sergent, Robert Wissing, Guillermo Marin, Klaus Dolag, Geray S. Karademir, Gino Perna, Marisa Zanotti, Sebastian Trujillo-Gomez
2025 — conf
EuroHPC SPACE CoE: Redesigning Scalable Parallel Astrophysical Codes for Exascale. Invited Paper.
CF (Companion)
Nitin Shukla, Alessandro Romeo, Caterina Caravita, Lubomir Riha, Ondrej Vysocky, Petr Strakos, Milan Jaros, João Barbosa, Radim Vavrík, Andrea Mignone, Marco Rossazza, Stefano Truzzi, Vittoria Berta, Iacopo Colonnelli, Doriana Medic, Elisabetta Boella, Daniele Gregori, Eva Sciacca, Luca Tornatore, Giuliano Taffoni, Pranab J. Deka, Fabio Bacchini, Rostislav-Paul Wilhelm, Georgios Doulis, Khalil Pierre, Luciano Rezzolla, Tine Colman, Benoît Commerçon, Othman Bouizi, Matthieu Kuhn, Erwan Raffin, Marc Sergent, Robert Wissing, Guillermo Marin, Klaus Dolag, Geray S. Karademir, Gino Perna, Marisa Zanotti, Sebastian Trujillo-Gomez
2025 J jnl
Towards Quantum Ray Tracing.
IEEE Trans. Vis. Comput. Graph.
Luís Paulo Santos, Thomas Bashford-Rogers, João Barbosa, Paul A. Navrátil
2025 J jnl
Visualization of Large Non-Trivially Partitioned Unstructured Data With Native Distribution on High-Performance Computing Systems.
IEEE Trans. Vis. Comput. Graph.
Alper Sahistan, Serkan Demirci, Ingo Wald, Stefan Zellmann, João Barbosa, Nate Morrical, Ugur Güdükbay
2024 B conf
Regular Typed Unification.
ICLP
João Barbosa, Mário Florido, Vítor Santos Costa
2023 — —
Type Assignment in Logic Programming
João Barbosa
2022 J jnl
50 Years of Prolog and Beyond.
CoRR
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022 J jnl
Fifty Years of Prolog and Beyond.
Theory Pract. Log. Program.
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
2022 J jnl
GPU-based Data-parallel Rendering of Large, Unstructured, and Non-convexly Partitioned Data.
CoRR
Alper Sahistan, Serkan Demirci, Ingo Wald, Stefan Zellmann, João Barbosa, Nathan Morrical, Ugur Güdükbay
2022 — conf
Hybrid Image-/Data-Parallel Rendering Using Island Parallelism.
LDAV
Stefan Zellmann, Ingo Wald, João Barbosa, Serkan Dermic, Alper Sahistan, Ugur Güdükbay
2022 J jnl
Towards Quantum Ray Tracing.
CoRR
Luís Paulo Santos, Thomas Bashford-Rogers, João Barbosa, Paul A. Navrátil
2022 C conf
Typed SLD-Resolution: Dynamic Typing for Logic Programming.
LOPSTR
João Barbosa, Mário Florido, Vítor Santos Costa
2022 J jnl
Typed SLD-Resolution: Dynamic Typing for Logic Programming.
CoRR
João Barbosa, Mário Florido, Vítor Santos Costa
2021 C conf
Data Type Inference for Logic Programming.
LOPSTR
João Barbosa, Mário Florido, Vítor Santos Costa
2021 J jnl
Data Type Inference for Logic Programming.
CoRR
João Barbosa, Mário Florido, Vítor Santos Costa
2021 — conf
Ergowear: an ambulatory, non-intrusive, and interoperable system towards a Human-aware Human-robot Collaborative framework.
ICARSC
André Resende, Sara M. Cerqueira, João Barbosa, Eurico Damásio, Ana Pombeiro, Alexandre Silva, Cristina P. Santos
2021 — conf
LOOM: Interweaving tightly coupled visualization and numeric simulation framework.
ISAV@SC
João Barbosa, Paul A. Navrátil, Luís Paulo Santos, Donald S. Fussell
2019 — conf
A Three-Valued Semantics for Typed Logic Programming.
ICLP Technical Communications
João Barbosa, Mário Florido, Vítor Santos Costa
2017 — conf
Teaching/learning PBL activity: Gantry crane control system implementation.
MED
Ana Correia, Bruno Amaro, Emanuel Junior, João Barbosa, Tiago Pinto, Estela Bicho, Filomena O. Soares, Paulo Moura Oliveira
2015 J jnl
A Framework for Efficient Execution of Data Parallel Irregular Applications on Heterogeneous Systems.
Parallel Process. Lett.
Roberto Ribeiro, João Barbosa, Luís Paulo Santos
2015 J jnl
Design and Validation of an RGB-D Based Localization System - Integration in a Docking System.
J. Intell. Robotic Syst.
João Barbosa, Carlos B. Cardeira, Paulo Jorge Ramalho Oliveira, Pedro Tiago Martins Batista, Carlos Silvestre
2014 — conf
Design and validation of a linear parameter varying localization system.
ICARSC
João Barbosa, Carlos B. Cardeira, Paulo Jorge Ramalho Oliveira, Pedro Tiago Martins Batista, Carlos Silvestre
2013 J jnl
Distant Listening to Gertrude Stein's 'Melanctha': Using Similarity Analysis in a Discovery Paradigm to Analyze Prosody and Author Influence.
Lit. Linguistic Comput.
Tanya E. Clement, David Tcheng, Loretta Auvil, Boris Capitanu, João Barbosa
2008 — conf
A Technology Cocktail for a 3D Photo-Realistic Model of a I Century Roman Fountain: Range Scanning, RTI and Physically Based Rendering.
VAST
João Barbosa, Paulo Bernardes, Matheus Almeida, Pedro Gomes, Ricardo Gonçalves, Alberto Proença
2008 — conf
Image-Based Empirical Information Acquisition, Scientific Reliability, and Long-Term Digital Preservation for the Natural Sciences and Cultural Heritage.
Eurographics (Tutorials)
Mark Mudge, Tom Malzbender, Alan Chalmers, Roberto Scopigno, James Davis, Oliver Wang, Prabath Gunawardane, Michael Ashley, Martin Doerr, Alberto Proença, João Barbosa