What is he best known for?
The fields of study he is best known for:
- Algebra
- Programming language
- Discrete mathematics
Discrete mathematics, Decidability, Coalgebra, Probabilistic logic and Model checking are his primary areas of study.
The various areas that he examines in his Discrete mathematics study include Separation logic and Preferential entailment.
His research integrates issues of Timed automaton and Reachability in his study of Decidability.
James Worrell focuses mostly in the field of Probabilistic logic, narrowing it down to matters related to Pseudometric space and, in some cases, Probability measure.
His biological study spans a wide range of topics, including Linear temporal logic and Temporal logic.
His work carried out in the field of Temporal logic brings together such families of science as Satisfiability and Boolean satisfiability problem.
His most cited work include:
- On the decidability of metric temporal logic (156 citations)
- Some Recent Results in Metric Temporal Logic (124 citations)
- A behavioural pseudometric for probabilistic transition systems (123 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Discrete mathematics, Decidability, Combinatorics, Automaton and Theoretical computer science.
His biological study deals with issues like Bounded function, which deal with fields such as Real number.
His study on Undecidable problem is often connected to Skolem problem as part of broader study in Decidability.
He combines subjects such as Matrix, Upper and lower bounds, PSPACE and Algebraic number with his study of Combinatorics.
His research in Automaton intersects with topics in Reduction and Mathematical optimization.
His Theoretical computer science research is multidisciplinary, relying on both Computational complexity theory, Algorithm and Probabilistic logic.
He most often published in these fields:
- Discrete mathematics (55.22%)
- Decidability (40.00%)
- Combinatorics (26.52%)
What were the highlights of his more recent work (between 2018-2021)?
- Discrete mathematics (55.22%)
- Decidability (40.00%)
- Combinatorics (26.52%)
In recent papers he was focusing on the following fields of study:
His primary areas of investigation include Discrete mathematics, Decidability, Combinatorics, Reachability and Automaton.
His work in Discrete mathematics tackles topics such as Path which are related to areas like Time complexity.
His work in the fields of Decidability, such as Undecidable problem, intersects with other areas such as Square matrix.
His work on Integer and Number theory is typically connected to Skolem problem and Trajectory as part of general Combinatorics study, connecting several disciplines of science.
His Timed automaton study in the realm of Automaton connects with subjects such as Relation.
His Dimension research includes themes of Model checking and Point.
Between 2018 and 2021, his most popular works were:
- On the Hardness of Robust Classification (13 citations)
- On the decidability of reachability in linear time-invariant systems (8 citations)
- Effective definability of the reachability relation in timed automata (5 citations)
In his most recent research, the most cited papers focused on:
- Algebra
- Programming language
- Real number
James Worrell spends much of his time researching Decidability, Discrete mathematics, Reachability, Combinatorics and Affine transformation.
His Decidability research incorporates elements of Open problem and Invariant.
His Discrete mathematics study frequently intersects with other fields, such as Automaton.
His study in the field of Timed automaton is also linked to topics like Relation.
As a part of the same scientific family, James Worrell mostly works in the field of Reachability, focusing on Matrix and, on occasion, Dimension, Algebraic number and Diophantine approximation.
In general Combinatorics study, his work on Existential quantification, Number theory and Conjecture often relates to the realm of Skolem problem and Initial value problem, thereby connecting several areas of interest.
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.
