James Worrell Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Christoph Haase, Joël Ouaknine, James Worrell: Branching-Time Model Checking of Parametric One-Counter Automata. FoSSaCS 2012: 406-420
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDi Chen, Franck van Breugel, James Worrell: On the Complexity of Computing Probabilistic Bisimilarity. FoSSaCS 2012: 437-451
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell: On the Complexity of the Equivalence Problem for Probabilistic Automata. FoSSaCS 2012: 467-481
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin P. Gallagher, James Worrell, Robert M. Mason: The negotiation and selection of horizontal mechanisms to support post-implementation ERP organizations. IT & People 25(1): 4-30 (2012)
2011
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell: Language Equivalence for Probabilistic Automata. CAV 2011: 526-540
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell: Linear Completeness Thresholds for Bounded Model Checking. CAV 2011: 557-572
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell: Tractable Reasoning in a Fragment of Separation Logic. CONCUR 2011: 235-249
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell: Static Livelock Analysis in CSP. CONCUR 2011: 389-403
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Rastislav Lenhardt, James Worrell: Two Variable vs. Linear Temporal Logic in Model Checking and Games. CONCUR 2011: 497-511
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell: The Church Synthesis Problem with Metric. CSL 2011: 307-321
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell: On Reachability for Hybrid Automata over Bounded Time. ICALP (2) 2011: 416-427
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang: On Stabilization in Herman's Algorithm. ICALP (2) 2011: 466-477
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang: On Stabilization in Herman's Algorithm CoRR abs/1104.3100: (2011)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell: On Reachability for Hybrid Automata over Bounded Time CoRR abs/1104.5335: (2011)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell: On the Complexity of the Equivalence Problem for Probabilistic Automata CoRR abs/1112.4644: (2011)
2010
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: Computing Rational Radical Sums in Uniform TC^0. FSTTCS 2010: 308-316
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Towards a Theory of Time-Bounded Verification. ICALP (2) 2010: 22-37
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Christoph Haase, Joël Ouaknine, James Worrell: Model Checking Succinct and Parametric One-Counter Automata. ICALP (2) 2010: 575-586
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell: Alternating Timed Automata over Bounded Time. LICS 2010: 60-69
2009
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell: Reachability in Succinct and Parametric One-Counter Automata. CONCUR 2009: 369-383
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, Alexander Rabinovich, James Worrell: Time-Bounded Verification. CONCUR 2009: 496-510
2008
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Some Recent Results in Metric Temporal Logic. FORMATS 2008: 1-13
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) 2008: 124-135
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains. QEST 2008: 322
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines. STACS 2008: 121-132
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: Real-Time Model Checking: Algorithms and Complexity. TIME 2008: 19
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines CoRR abs/0802.2839: (2008)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems CoRR abs/0803.3796: (2008)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanko Lazic, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell: Nets with Tokens which Carry Data. Fundam. Inform. 88(3): 251-274 (2008)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell: Universality Analysis for One-Clock Timed Automata. Fundam. Inform. 89(4): 419-450 (2008)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. Logical Methods in Computer Science 4(2): (2008)
2007
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Hooker, Carmen Lewis, Molly Wasko, James Worrell, Tom E. Yoon: Network Governance in the E-Lance Economy. AMCIS 2007: 219
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: An Investigation of the Effects of ERP Post-Implementation Support Structure on ERP/Business Unit Fit. AMCIS 2007: 386
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell, Ashley A. Bush: Perceptions of Information Technology Risk: A Delphi Study. AMCIS 2007: 446
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Adams, Joël Ouaknine, James Worrell: Undecidability of Universality for Timed Automata with Minimal Resources. FORMATS 2007: 25-37
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell: Zone-Based Universality Analysis for Single-Clock Timed Automata. FSEN 2007: 98-112
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. FoSSaCS 2007: 123-137
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell: Nets with Tokens Which Carry Data. ICATPN 2007: 301-320
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: Enhancing ERP/Business Fit in the Post-Implementation Phase: A Knowledge-Based Perspective. ICIS 2007: 68
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: The Cost of Punctuality. LICS 2007: 109-120
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: On the decidability and complexity of Metric Temporal Logic over finite words CoRR abs/cs/0702120: (2007)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. Electr. Notes Theor. Comput. Sci. 172: 459-478 (2007)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: On the decidability and complexity of Metric Temporal Logic over finite words. Logical Methods in Computer Science 3(1): (2007)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: Recursively defined metric spaces without contraction. Theor. Comput. Sci. 380(1-2): 143-163 (2007)
2006
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDusko Pavlovic, Michael W. Mislove, James Worrell: Testing Semantics: Connecting Processes and Process Logics. AMAST 2006: 308-322
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell, Kevin P. Gallagher, Robert M. Mason: Understanding the Structure of Post-Implementation ERP Teams. AMCIS 2006: 307
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: On Metric Temporal Logic and Faulty Turing Machines. FoSSaCS 2006: 217-230
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Safety Metric Temporal Logic Is Fully Decidable. TACAS 2006: 411-425
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, James Worrell: Approximating and computing behavioural distances in probabilistic transition systems. Theor. Comput. Sci. 360(1-3): 373-385 (2006)
2005
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: An Accessible Approach to Behavioural Pseudometrics. ICALP 2005: 1018-1030
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell: Decidability and Complexity Results for Timed Automata via Channel Machines. ICALP 2005: 1089-1101
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: On the Decidability of Metric Temporal Logic. LICS 2005: 188-197
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: A note on coalgebras and presheaves. Mathematical Structures in Computer Science 15(3): 475-483 (2005)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, James Worrell: A behavioural pseudometric for probabilistic transition systems. Theor. Comput. Sci. 331(1): 115-142 (2005)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: Domain theory, testing and simulation for labelled Markov processes. Theor. Comput. Sci. 333(1-2): 171-197 (2005)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: On the final sequence of a finitary set functor. Theor. Comput. Sci. 338(1-3): 184-199 (2005)
2004
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell: Duality for Labelled Markov Processes. FoSSaCS 2004: 393-407
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. LICS 2004: 54-63
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Mislove, Joël Ouaknine, James Worrell: Axioms for Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 96: 7-28 (2004)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeye Martin, Michael W. Mislove, James Worrell: Measuring the probabilistic powerdomain. Theor. Comput. Sci. 312(1): 99-119 (2004)
2003
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS 2003: 200-215
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Universality and Language Inclusion for Open and Closed Timed Automata. HSCC 2003: 375-388
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Revisiting Digitization, Robustness, and Decidability for Timed Automata. LICS 2003: 198-207
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Timed CSP = Closed Timed epsilon-automata. Nord. J. Comput. 10(2): 99-133 (2003)
2002
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeye Martin, Michael W. Mislove, James Worrell: Measuring the Probabilistic Powerdomain. ICALP 2002: 463-475
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, Steven Shalit, James Worrell: Testing Labelled Markov Processes. ICALP 2002: 537-548
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: A Note on Coalgebras and Presheaves. Electr. Notes Theor. Comput. Sci. 65(1): 358-364 (2002)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Ouaknine, James Worrell: Timed CSP = Closed Timed Safety Automata. Electr. Notes Theor. Comput. Sci. 68(2): 142-159 (2002)
2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, James Worrell: An Algorithm for Quantitative Verification of Probabilistic Transition Systems. CONCUR 2001: 336-350
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck van Breugel, James Worrell: Towards Quantitative Verification of Probabilistic Transition Systems. ICALP 2001: 421-432
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell: On the structure of categories of coalgebras. Theor. Comput. Sci. 260(1-2): 87-117 (2001)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. Electr. Notes Theor. Comput. Sci. 33: 337-356 (2000)
1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: Terminal sequences for accessible endofunctors. Electr. Notes Theor. Comput. Sci. 19: 24-38 (1999)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell: An Axiomatics for Categories of Transition Systems as Coalgebras. LICS 1998: 207-213
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Worrell: Toposes of Coalgebras and Hidden Algebras. Electr. Notes Theor. Comput. Sci. 11: 212-230 (1998)

Coauthor Index

1Parosh Aziz Abdulla [25] [40] [46]
2Sara Adams [41]
3Michael Benedikt [68]
4Patricia Bouyer (Patricia Bouyer-Decitre) [36] [49] [52] [54] [61]
5Franck van Breugel [6] [7] [10] [15] [21] [22] [26] [27] [32] [39] [45] [48] [75]
6Thomas Brihaye [63] [66]
7Ashley A. Bush [42]
8Di Chen [75]
9Byron Cook [70]
10Johann Deneux [25] [46]
11Laurent Doyen [63] [66]
12Kevin P. Gallagher [30] [73]
13Gilles Geeraerts [63] [66]
14Stefan Göller [59] [76]
15Christoph Haase [57] [59] [70] [76]
16Claudio Hermida [26] [32]
17Robert Hooker [44]
18Paul Hunter [61]
19Mark Jenkins [58] [67]
20Peter Johnstone [2] [5]
21Stefan Kiefer [62] [64] [65] [72] [74]
22Stephan Kreutzer [57]
23Daniel Kroening (Daniel Kröning) [71]
24Ranko Lazic (R. S. Lazic) [38] [47]
25Axel Legay [51]
26Rastislav Lenhardt [68]
27Carmen Lewis [44]
28Michael Makkai [26] [32]
29Nicolas Markey [36] [49] [52] [54] [61]
30Keye Martin [11] [16]
31Robert M. Mason [30] [73]
32Michael W. Mislove [11] [15] [16] [17] [19] [21] [31] [34]
33Andrzej S. Murawski [51] [62] [64] [65] [72] [74]
34Thomas Christopher Newcomb [38]
35Tom Newcomb [47]
36Joël Ouaknine [8] [12] [13] [14] [15] [17] [18] [19] [21] [24] [25] [28] [29] [33] [35] [36] [38] [40] [41] [46] [47] [49] [51] [52] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [69] [70] [71] [72] [74] [76]
37Hristina Palikareva [69]
38Matthew J. Parkinson [70]
39Dusko Pavlovic [19] [31] [34]
40John Power (A. John Power) [2] [5]
41Karin Quaas [40] [46]
42Alexander Moshe Rabinovich (Alexander Rabinovich) [56] [58] [67]
43Jean-François Raskin [63] [66]
44A. W. Roscoe (A. William Roscoe, Bill Roscoe) [38] [47] [69]
45Ph. Schnoebelen (Philippe Schnoebelen) [49] [52]
46Steven Shalit [10]
47Babita Sharma [39] [45] [48]
48Ofer Strichman [71]
49Toru Tsujishita [2] [5]
50Björn Wachter [62] [72] [74]
51Thomas Wahl [71]
52Molly McLure Wasko (Molly Wasko) [44]
53Hiroshi Watanabe [2] [5]
54Tom E. Yoon [44]
55Lijun Zhang [64] [65]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page