Hubie Chen - Concepedia

Author

Hubie Chen

Universitat Pompeu Fabra

Also Known As

Chen, Hubie, Hubie Chen

Publications

875

Citations

H-Index

Concepts

All Affiliations

Universitat Pompeu Fabra University of the Basque Country Ikerbasque Cornell University Universitat Politècnica de Catalunya

About

Hubie Chen is an author at Universitat Pompeu Fabra specializing in automated reasoning, engineering, and computational complexity.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	16	381
2	Business	2	2	66
3	Language Studies	1	1	23
4	Public Health	1	1	40
5	Biology	1	1	15

Hubie Chen

Publications

510

Citations

H-Index

Page 1

	Year	Citations
The reducts of equality up to primitive positive interdefinability Manuel Bodirsky, Hubie Chen, Michael Pinsker Journal of Symbolic Logic Algebraic LogicEngineeringDomain TheorySubstructural LogicRelational Structures	2010	51
Causal graphs and structurally restricted planning Hubie Chen, Omer Giménez Journal of Computer and System Sciences Causal GraphsGraph TheoryAutomated ReasoningDesignBusiness	2009	40
Constraint satisfaction with succinctly specified relations Hubie Chen, Martin Grohe Journal of Computer and System Sciences Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal Methods	2010	40
The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case Hubie Chen SIAM Journal on Computing Mathematical ProgrammingQcsp ReducesEngineeringThree-element CaseComputational Complexity	2008	39
Counting Answers to Existential Positive Queries Hubie Chen, Stefan Mengel Existential Positive FormulasEngineeringInformation RetrievalQuestion AnsweringSubstructural Logic	2016	29
A rendezvous of logic, complexity, and algebra Hubie Chen ACM SIGACT News Applied LogicAlgebraic LogicEngineeringAbstract ComplexityAutomated Reasoning	2006	27
Asking the Metaquestions in Constraint Tractability Hubie Chen, Benoît Larose ACM Transactions on Computation Theory Mathematical ProgrammingEngineeringProblem Family CspConstraintsComputational Complexity	2017	26
On the complexity of existential positive queries Hubie Chen ACM Transactions on Computational Logic Computational Complexity TheoryEngineeringComputational ComplexityHigher-order LogicFormal Verification	2014	24
Decomposing Quantified Conjunctive (or Disjunctive) Formulas Hubie Chen, Víctor Dalmau Computational LogicExponential DependenceSyntaxEngineeringSubstructural Logic	2012	23
A model for generating random quantified boolean formulas Hubie Chen, Yannet Interian	2005	20

Page 1