Concepedia

Carlos Domingo

CD

Statistics

Publications

6

Citations

475

H-Index

6

Active since

1999

Affiliations

Tokyo Institute of Technology(Current)

Universitat Politècnica de Catalunya

University of Toronto

Clarkson University

Carlos Domingo is an author at Tokyo Institute of Technology specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1999–2021

6

Publications

6

MadaBoost: A Modification of AdaBoost

Carlos Domingo, Osamu Watanabe · 2000 · 169 citations

Adaptive Sampling Methods for Scaling Up Knowledge Discovery Algorithms

Carlos Domingo, Ricard Gavaldà, Osamu Watanabe · Data Mining and Knowledge Discovery · 2002 · 114 citations

Non-Automatizability of Bounded-Depth Frege Proofs

Marı́a Luisa Bonet, Carlos Domingo, Ricard Gavald� et al. · Computational Complexity · 2004 · 69 citations

, , +6

Efficient Read-Restricted Monotone CNF/DNF Dualization by Learning with Membership Queries

Carlos Domingo, Nina Mishra, Leonard Pitt · Machine Learning · 1999 · 61 citations · Full text

SARS-CoV-2 susceptibility and COVID-19 disease severity are associated with genetic variants affecting gene expression in a variety of tissues

Matteo D’Antonio, Jennifer Nguyen, Timothy D. Arthur et al. · Cell Reports · 2021 · 46 citations · Full text

1–5 of 6