pith. sign in

James Worrell

Identifiers

  • name variant James Worrell 0.60 · backfill

Papers (39)

  1. On the $p$-adic Skolem Problem cs.LO · 2025 · author #4
  2. Effective Definability of the Reachability Relation in Timed Automata cs.FL · 2019 · author #4
  3. On Reachability Problems for Low-Dimensional Matrix Semigroups cs.CC · 2019 · author #4
  4. The Semialgebraic Orbit Problem cs.CC · 2019 · author #3
  5. Costs and Rewards in Priced Timed Automata cs.LO · 2018 · author #4
  6. Polynomial Invariants for Affine Programs cs.LO · 2018 · author #4
  7. Revisiting Reachability in Timed Automata cs.LO · 2017 · author #3
  8. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem cs.CC · 2017 · author #5
  9. The Polytope-Collision Problem cs.CC · 2016 · author #3
  10. On Restricted Nonnegative Matrix Factorization cs.FL · 2016 · author #5
  11. Nonnegative Matrix Factorization Requires Irrationality cs.CC · 2016 · author #5
  12. Solvability of Matrix-Exponential Equations cs.DM · 2016 · author #4
  13. On Recurrent Reachability for Continuous Linear Dynamical Systems cs.SY · 2015 · author #3
  14. On the Polytope Escape Problem for Continuous Linear Dynamical Systems cs.CC · 2015 · author #3
  15. On the Skolem Problem for Continuous Linear Dynamical Systems cs.SY · 2015 · author #3
  16. Proving the Herman-Protocol Conjecture cs.DS · 2015 · author #5
  17. Minimisation of Multiplicity Tree Automata cs.FL · 2014 · author #3
  18. Three Variables Suffice for Real-Time Specification cs.LO · 2014 · author #4
  19. On Termination of Integer Linear Loops cs.CC · 2014 · author #3
  20. The Polyhedron-Hitting Problem cs.CC · 2014 · author #3
  21. Model Checking Markov Chains Against Unambiguous Buchi Automata cs.LO · 2014 · author #3
  22. Complexity of Equivalence and Learning for Multiplicity Tree Automata cs.LG · 2014 · author #2
  23. Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences cs.CC · 2013 · author #2
  24. On the Positivity Problem for Simple Linear Recurrence Sequences cs.DM · 2013 · author #2
  25. Positivity Problems for Low-Order Linear Recurrence Sequences cs.DM · 2013 · author #2
  26. Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees cs.LO · 2013 · author #4
  27. Revisiting the Equivalence Problem for Finite Multitape Automata cs.FL · 2013 · author #1
  28. Two Variable vs. Linear Temporal Logic in Model Checking and Games cs.LO · 2013 · author #3
  29. On the Complexity of the Orbit Problem cs.CC · 2013 · author #3
  30. Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints cs.LO · 2012 · author #6
  31. Bisimilarity of Probabilistic Pushdown Automata cs.FL · 2012 · author #4
  32. When is Metric Temporal Logic Expressively Complete? cs.LO · 2012 · author #3
  33. Expressive Completeness of Metric Temporal Logic cs.LO · 2012 · author #3
  34. On the Complexity of the Equivalence Problem for Probabilistic Automata cs.FL · 2011 · author #5
  35. On Reachability for Hybrid Automata over Bounded Time cs.LO · 2011 · author #6
  36. On Stabilization in Herman's Algorithm cs.DS · 2011 · author #4
  37. Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems cs.LO · 2008 · author #3
  38. On Termination for Faulty Channel Machines cs.IT · 2008 · author #5
  39. On the decidability and complexity of Metric Temporal Logic over finite words cs.LO · 2007 · author #2

Mentions

  • 1309.1914 #2 · backfill · confidence 0.70 James Worrell
  • 1309.1550 #2 · backfill · confidence 0.70 James Worrell
  • 1307.2779 #2 · backfill · confidence 0.70 James Worrell
  • 1304.6925 #4 · backfill · confidence 0.70 James Worrell
  • 1303.6704 #1 · backfill · confidence 0.70 James Worrell
  • 1303.4533 #3 · backfill · confidence 0.70 James Worrell
  • 1303.2981 #3 · backfill · confidence 0.70 James Worrell
  • 1211.1276 #6 · backfill · confidence 0.70 James Worrell
  • 1210.2273 #4 · backfill · confidence 0.70 James Worrell
  • 1209.0516 #3 · backfill · confidence 0.70 James Worrell
  • 1208.4993 #3 · backfill · confidence 0.70 James Worrell
  • 1112.4644 #5 · backfill · confidence 0.70 James Worrell
  • 1104.5335 #6 · backfill · confidence 0.70 James Worrell
  • 1104.3100 #4 · backfill · confidence 0.70 James Worrell
  • 0803.3796 #3 · backfill · confidence 0.70 James Worrell
  • 0802.2839 #5 · backfill · confidence 0.70 James Worrell

Frequent Coauthors