default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Barbosa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i6]João Barbosa, Mário Florido, Vítor Santos Costa:
Regular Typed Unification. CoRR abs/2404.16406 (2024)- 2022
- [j4]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:
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22(6): 776-858 (2022) - [c10]Stefan Zellmann, Ingo Wald, João Barbosa, Serkan Dermic, Alper Sahistan, Ugur Güdükbay:
Hybrid Image-/Data-Parallel Rendering Using Island Parallelism. LDAV 2022: 1-10 - [c9]João Barbosa, Mário Florido, Vítor Santos Costa:
Typed SLD-Resolution: Dynamic Typing for Logic Programming. LOPSTR 2022: 123-141 - [i5]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:
50 Years of Prolog and Beyond. CoRR abs/2201.10816 (2022) - [i4]Luís Paulo Santos, Thomas Bashford-Rogers, João Barbosa, Paul A. Navrátil:
Towards Quantum Ray Tracing. CoRR abs/2204.12797 (2022) - [i3]João Barbosa, Mário Florido, Vítor Santos Costa:
Typed SLD-Resolution: Dynamic Typing for Logic Programming. CoRR abs/2208.00192 (2022) - [i2]Alper Sahistan, Serkan Demirci, Ingo Wald, Stefan Zellmann, João Barbosa, Nathan Morrical, Ugur Güdükbay:
GPU-based Data-parallel Rendering of Large, Unstructured, and Non-convexly Partitioned Data. CoRR abs/2209.14537 (2022) - 2021
- [c8]André Resende, Sara M. Cerqueira, João Barbosa, Eurico Damásio, Ana Pombeiro, Alexandre Silva, Cristina P. Santos:
Ergowear: an ambulatory, non-intrusive, and interoperable system towards a Human-aware Human-robot Collaborative framework. ICARSC 2021: 56-61 - [c7]João Barbosa, Mário Florido, Vítor Santos Costa:
Data Type Inference for Logic Programming. LOPSTR 2021: 16-37 - [c6]João Barbosa, Paul A. Navrátil, Luís Paulo Santos, Donald S. Fussell:
LOOM: Interweaving tightly coupled visualization and numeric simulation framework. ISAV@SC 2021: 1-5 - [i1]João Barbosa, Mário Florido, Vítor Santos Costa:
Data Type Inference for Logic Programming. CoRR abs/2108.06562 (2021)
2010 – 2019
- 2019
- [c5]João Barbosa, Mário Florido, Vítor Santos Costa:
A Three-Valued Semantics for Typed Logic Programming. ICLP Technical Communications 2019: 36-51 - 2017
- [c4]Ana Correia, Bruno Amaro, Emanuel Junior, João Barbosa, Tiago Pinto, Estela Bicho, Filomena O. Soares, Paulo Moura Oliveira:
Teaching/learning PBL activity: Gantry crane control system implementation. MED 2017: 962-967 - 2015
- [j3]João Barbosa, Carlos B. Cardeira, Paulo Jorge Ramalho Oliveira, Pedro Tiago Martins Batista, Carlos Silvestre:
Design and Validation of an RGB-D Based Localization System - Integration in a Docking System. J. Intell. Robotic Syst. 80(3-4): 423-440 (2015) - [j2]Roberto Ribeiro, João Barbosa, Luís Paulo Santos:
A Framework for Efficient Execution of Data Parallel Irregular Applications on Heterogeneous Systems. Parallel Process. Lett. 25(2): 1550004:1-1550004:30 (2015) - 2014
- [c3]João Barbosa, Carlos B. Cardeira, Paulo Jorge Ramalho Oliveira, Pedro Tiago Martins Batista, Carlos Silvestre:
Design and validation of a linear parameter varying localization system. ICARSC 2014: 98-103 - 2013
- [j1]Tanya E. Clement, David Tcheng, Loretta Auvil, Boris Capitanu, João Barbosa:
Distant Listening to Gertrude Stein's 'Melanctha': Using Similarity Analysis in a Discovery Paradigm to Analyze Prosody and Author Influence. Lit. Linguistic Comput. 28(4): 582-602 (2013)
2000 – 2009
- 2008
- [c2]Mark Mudge, Tom Malzbender, Alan Chalmers, Roberto Scopigno, James Davis, Oliver Wang, Prabath Gunawardane, Michael Ashley, Martin Doerr, Alberto Proença, João Barbosa:
Image-Based Empirical Information Acquisition, Scientific Reliability, and Long-Term Digital Preservation for the Natural Sciences and Cultural Heritage. Eurographics (Tutorials) 2008 - [c1]João Barbosa, Paulo Bernardes, Matheus Almeida, Pedro Gomes, Ricardo Gonçalves, Alberto Proença:
A Technology Cocktail for a 3D Photo-Realistic Model of a I Century Roman Fountain: Range Scanning, RTI and Physically Based Rendering. VAST 2008: 25-32
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-04 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
