| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin P. Gallagher, James Worrell, Robert M. Mason |
The negotiation and selection of horizontal mechanisms to support post-implementation ERP organizations.  |
IT & People  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell |
Branching-Time Model Checking of Parametric One-Counter Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Chen, Franck van Breugel, James Worrell |
On the Complexity of Computing Probabilistic Bisimilarity. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
On the Complexity of the Equivalence Problem for Probabilistic Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
On the Complexity of the Equivalence Problem for Probabilistic Automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang |
On Stabilization in Herman's Algorithm |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell |
On Reachability for Hybrid Automata over Bounded Time |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
Static Livelock Analysis in CSP. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Rastislav Lenhardt, James Worrell |
Two Variable vs. Linear Temporal Logic in Model Checking and Games. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell |
Tractable Reasoning in a Fragment of Separation Logic. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang |
On Stabilization in Herman's Algorithm. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell |
On Reachability for Hybrid Automata over Bounded Time. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
Language Equivalence for Probabilistic Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell |
Linear Completeness Thresholds for Bounded Model Checking. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
The Church Synthesis Problem with Metric. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell |
Model Checking Succinct and Parametric One-Counter Automata. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Towards a Theory of Time-Bounded Verification. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
Alternating Timed Automata over Bounded Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Church's Problem, Timed Automata, Alternation |
| 1 | Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell |
Computing Rational Radical Sums in Uniform TC^0. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell |
Reachability in Succinct and Parametric One-Counter Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, Alexander Rabinovich, James Worrell |
Time-Bounded Verification. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Babita Sharma, James Worrell |
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell |
Universality Analysis for One-Clock Timed Automata. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ranko Lazic, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell |
Nets with Tokens which Carry Data. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franck van Breugel, Babita Sharma, James Worrell |
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell |
On Termination for Faulty Channel Machines |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | James Worrell |
Real-Time Model Checking: Algorithms and Complexity. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell |
On Automated Verification of Probabilistic Programs. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell |
On Expressiveness and Complexity in Real-Time Model Checking. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Some Recent Results in Metric Temporal Logic. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell |
On Termination for Faulty Channel Machines. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell |
Recursively defined metric spaces without contraction. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
On the decidability and complexity of Metric Temporal Logic over finite words. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Mislove, Dusko Pavlovic, James Worrell |
Labelled Markov Processes as Generalised Stochastic Relations. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
On the decidability and complexity of Metric Temporal Logic over finite words |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell |
Nets with Tokens Which Carry Data. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell |
Zone-Based Universality Analysis for Single-Clock Timed Automata. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
An Investigation of the Effects of ERP Post-Implementation Support Structure on ERP/Business Unit Fit. |
AMCIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robert Hooker, Carmen Lewis, Molly Wasko, James Worrell, Tom E. Yoon |
Network Governance in the E-Lance Economy. |
AMCIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | James Worrell, Ashley A. Bush |
Perceptions of Information Technology Risk: A Delphi Study. |
AMCIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sara Adams, Joël Ouaknine, James Worrell |
Undecidability of Universality for Timed Automata with Minimal Resources. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell |
The Cost of Punctuality. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Babita Sharma, James Worrell |
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
Enhancing ERP/Business Fit in the Post-Implementation Phase: A Knowledge-Based Perspective. |
ICIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franck van Breugel, James Worrell |
Approximating and computing behavioural distances in probabilistic transition systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Safety Metric Temporal Logic Is Fully Decidable. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell, Kevin P. Gallagher, Robert M. Mason |
Understanding the Structure of Post-Implementation ERP Teams. |
AMCIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dusko Pavlovic, Michael W. Mislove, James Worrell |
Testing Semantics: Connecting Processes and Process Logics. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
On Metric Temporal Logic and Faulty Turing Machines. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
On the final sequence of a finitary set functor. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, James Worrell |
A behavioural pseudometric for probabilistic transition systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell |
Domain theory, testing and simulation for labelled Markov processes. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
A note on coalgebras and presheaves. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell |
Decidability and Complexity Results for Timed Automata via Channel Machines. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell |
An Accessible Approach to Behavioural Pseudometrics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
On the Decidability of Metric Temporal Logic. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Keye Martin, Michael W. Mislove, James Worrell |
Measuring the probabilistic powerdomain. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Mislove, Joël Ouaknine, James Worrell |
Axioms for Probability and Nondeterminism. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell |
Duality for Labelled Markov Processes. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Timed CSP = Closed Timed epsilon-automata. |
Nord. J. Comput. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Universality and Language Inclusion for Open and Closed Timed Automata. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Revisiting Digitization, Robustness, and Decidability for Timed Automata. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell |
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, James Worrell |
Timed CSP = Closed Timed Safety Automata. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
A Note on Coalgebras and Presheaves. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Steven Shalit, James Worrell |
Testing Labelled Markov Processes. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Keye Martin, Michael W. Mislove, James Worrell |
Measuring the Probabilistic Powerdomain. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell |
On the structure of categories of coalgebras. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, James Worrell |
An Algorithm for Quantitative Verification of Probabilistic Transition Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, James Worrell |
Towards Quantitative Verification of Probabilistic Transition Systems. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
Terminal sequences for accessible endofunctors. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Worrell |
Toposes of Coalgebras and Hidden Algebras. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell |
An Axiomatics for Categories of Transition Systems as Coalgebras. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")