What is he best known for?
The fields of study he is best known for:
- Algorithm
- Algebra
- Computational complexity theory
Alan L. Selman mainly focuses on Combinatorics, Discrete mathematics, Time complexity, Complexity class and Existential quantification.
In the subject of general Combinatorics, his work in Polynomial hierarchy is often linked to Bounded function, thereby combining diverse domains of study.
While the research belongs to areas of Discrete mathematics, Alan L. Selman spends his time largely on the problem of PSPACE, intersecting his research to questions surrounding Polynomial and co-NP.
His Time complexity study combines topics in areas such as If and only if and Turing reducibility.
His Complexity class study deals with Descriptive complexity theory intersecting with Computable analysis, Structural complexity theory, Computable function, PH and FP.
His study in Existential quantification is interdisciplinary in nature, drawing from both Polynomial and Complement.
His most cited work include:
- A comparison of polynomial time reducibilities (395 citations)
- Complexity measures for public-key cryptosystems (283 citations)
- The complexity of promise problems with applications to public-key cryptography (258 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Discrete mathematics, Combinatorics, Time complexity, Complexity class and Disjoint sets.
His studies examine the connections between Discrete mathematics and genetics, as well as such issues in Turing machine, with regards to Algebra.
His Combinatorics research includes themes of Computational complexity theory and Nondeterministic algorithm.
In general Time complexity study, his work on NP-complete often relates to the realm of Promise problem, thereby connecting several areas of interest.
He interconnects Partial function, PSPACE and Polynomial in the investigation of issues within Complexity class.
His Disjoint sets research includes elements of Proof complexity, Propositional proof system and Open problem.
He most often published in these fields:
- Discrete mathematics (67.86%)
- Combinatorics (60.71%)
- Time complexity (30.00%)
What were the highlights of his more recent work (between 2006-2017)?
- Discrete mathematics (67.86%)
- Combinatorics (60.71%)
- Disjoint sets (20.00%)
In recent papers he was focusing on the following fields of study:
His primary scientific interests are in Discrete mathematics, Combinatorics, Disjoint sets, Turing machine and NEXPTIME.
His work on Time complexity and Conjecture as part of general Discrete mathematics research is often related to Current and Propositional formula, thus linking different fields of science.
His research on Combinatorics focuses in particular on Boolean hierarchy.
His work deals with themes such as Open problem, Focus and Propositional proof system, which intersect with Disjoint sets.
His Turing machine research is multidisciplinary, relying on both Theoretical computer science, True quantified Boolean formula and Existential quantification.
His research integrates issues of Complexity class and Descriptive complexity theory in his study of Theoretical computer science.
Between 2006 and 2017, his most popular works were:
- Canonical disjoint NP-pairs of propositional proof systems (21 citations)
- Autoreducibility, mitoticity, and immunity (18 citations)
- Splitting NP-Complete Sets (15 citations)
In his most recent research, the most cited papers focused on:
- Algorithm
- Real number
- Algebra
His scientific interests lie mostly in Discrete mathematics, Combinatorics, NEXPTIME, Disjoint sets and Boolean hierarchy.
In the field of Discrete mathematics, his study on Disjoint union overlaps with subjects such as Scope.
His Combinatorics research is multidisciplinary, incorporating elements of Public key cryptosystem and Propositional proof system.
The study incorporates disciplines such as Collatz conjecture, Lonely runner conjecture and Conjecture in addition to Disjoint sets.
His Boolean hierarchy research incorporates elements of Polynomial, NP-complete and Redundancy.
He has researched PSPACE in several fields, including Time complexity, Complexity class and Boolean function.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
