dblp.uni-trier.dewww.uni-trier.de

James Worrell Vis

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

*2009
52EEChristoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell: Reachability in Succinct and Parametric One-Counter Automata. CONCUR 2009: 369-383
51EEJoël Ouaknine, Alexander Rabinovich, James Worrell: Time-Bounded Verification. CONCUR 2009: 496-510
2008
50EEJoël Ouaknine, James Worrell: Some Recent Results in Metric Temporal Logic. FORMATS 2008: 1-13
49EEPatricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) 2008: 124-135
48EEJames Worrell: Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains. QEST 2008: 322
47EEPatricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines. STACS 2008: 121-132
46EEAxel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187
45EEJames Worrell: Real-Time Model Checking: Algorithms and Complexity. TIME 2008: 19
44EEPatricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines CoRR abs/0802.2839: (2008)
43EEFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems CoRR abs/0803.3796: (2008)
42EERanko Lazic, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell: Nets with Tokens which Carry Data. Fundam. Inform. 88(3): 251-274 (2008)
41EEParosh 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)
40EEFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. Logical Methods in Computer Science 4(2): (2008)
2007
39EESara Adams, Joël Ouaknine, James Worrell: Undecidability of Universality for Timed Automata with Minimal Resources. FORMATS 2007: 25-37
38EEParosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell: Zone-Based Universality Analysis for Single-Clock Timed Automata. FSEN 2007: 98-112
37EEFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. FoSSaCS 2007: 123-137
36EERanko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell: Nets with Tokens Which Carry Data. ICATPN 2007: 301-320
35EEPatricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: The Cost of Punctuality. LICS 2007: 109-120
34EEJoël Ouaknine, James Worrell: On the decidability and complexity of Metric Temporal Logic over finite words CoRR abs/cs/0702120: (2007)
33EEMichael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. Electr. Notes Theor. Comput. Sci. 172: 459-478 (2007)
32EEJoël Ouaknine, James Worrell: On the decidability and complexity of Metric Temporal Logic over finite words. Logical Methods in Computer Science 3(1): (2007)
31EEFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: Recursively defined metric spaces without contraction. Theor. Comput. Sci. 380(1-2): 143-163 (2007)
2006
30EEDusko Pavlovic, Michael W. Mislove, James Worrell: Testing Semantics: Connecting Processes and Process Logics. AMAST 2006: 308-322
29EEJoël Ouaknine, James Worrell: On Metric Temporal Logic and Faulty Turing Machines. FoSSaCS 2006: 217-230
28EEJoël Ouaknine, James Worrell: Safety Metric Temporal Logic Is Fully Decidable. TACAS 2006: 411-425
27EEFranck van Breugel, James Worrell: Approximating and computing behavioural distances in probabilistic transition systems. Theor. Comput. Sci. 360(1-3): 373-385 (2006)
2005
26EEFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: An Accessible Approach to Behavioural Pseudometrics. ICALP 2005: 1018-1030
25EEParosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell: Decidability and Complexity Results for Timed Automata via Channel Machines. ICALP 2005: 1089-1101
24EEJoël Ouaknine, James Worrell: On the Decidability of Metric Temporal Logic. LICS 2005: 188-197
23EEJames Worrell: A note on coalgebras and presheaves. Mathematical Structures in Computer Science 15(3): 475-483 (2005)
22EEFranck van Breugel, James Worrell: A behavioural pseudometric for probabilistic transition systems. Theor. Comput. Sci. 331(1): 115-142 (2005)
21EEFranck 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)
20EEJames Worrell: On the final sequence of a finitary set functor. Theor. Comput. Sci. 338(1-3): 184-199 (2005)
2004
19EEMichael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell: Duality for Labelled Markov Processes. FoSSaCS 2004: 393-407
18EEJoël Ouaknine, James Worrell: On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. LICS 2004: 54-63
17EEMichael W. Mislove, Joël Ouaknine, James Worrell: Axioms for Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 96: 7-28 (2004)
16EEKeye Martin, Michael W. Mislove, James Worrell: Measuring the probabilistic powerdomain. Theor. Comput. Sci. 312(1): 99-119 (2004)
2003
15EEFranck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS 2003: 200-215
14EEJoël Ouaknine, James Worrell: Universality and Language Inclusion for Open and Closed Timed Automata. HSCC 2003: 375-388
13EEJoël Ouaknine, James Worrell: Revisiting Digitization, Robustness, and Decidability for Timed Automata. LICS 2003: 198-207
12 Joël Ouaknine, James Worrell: Timed CSP = Closed Timed epsilon-automata. Nord. J. Comput. 10(2): 99-133 (2003)
2002
11EEKeye Martin, Michael W. Mislove, James Worrell: Measuring the Probabilistic Powerdomain. ICALP 2002: 463-475
10EEFranck van Breugel, Steven Shalit, James Worrell: Testing Labelled Markov Processes. ICALP 2002: 537-548
9EEJames Worrell: A Note on Coalgebras and Presheaves. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
8EEJoël Ouaknine, James Worrell: Timed CSP = Closed Timed Safety Automata. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
2001
7EEFranck van Breugel, James Worrell: An Algorithm for Quantitative Verification of Probabilistic Transition Systems. CONCUR 2001: 336-350
6EEFranck van Breugel, James Worrell: Towards Quantitative Verification of Probabilistic Transition Systems. ICALP 2001: 421-432
5EEPeter 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
4EEJames Worrell: Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. Electr. Notes Theor. Comput. Sci. 33: (2000)
1999
3EEJames Worrell: Terminal sequences for accessible endofunctors. Electr. Notes Theor. Comput. Sci. 19: (1999)
1998
2 Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell: An Axiomatics for Categories of Transition Systems as Coalgebras. LICS 1998: 207-213
1EEJames Worrell: Toposes of Coalgebras and Hidden Algebras. Electr. Notes Theor. Comput. Sci. 11: (1998)

Coauthor Index

1Parosh Aziz Abdulla [25] [38] [41]
2Sara Adams [39]
3Patricia Bouyer [35] [44] [47] [49]
4Franck van Breugel [6] [7] [10] [15] [21] [22] [26] [27] [31] [37] [40] [43]
5Johann Deneux [25] [41]
6Christoph Haase [52]
7Claudio Hermida [26] [31]
8Peter Johnstone [2] [5]
9Stephan Kreutzer [52]
10Ranko Lazic (R. S. Lazic) [36] [42]
11Axel Legay [46]
12Michael Makkai [26] [31]
13Nicolas Markey [35] [44] [47] [49]
14Keye Martin [11] [16]
15Michael W. Mislove [11] [15] [16] [17] [19] [21] [30] [33]
16Andrzej S. Murawski [46]
17Thomas Christopher Newcomb [36]
18Tom Newcomb [42]
19Joël Ouaknine [8] [12] [13] [14] [15] [17] [18] [19] [21] [24] [25] [28] [29] [32] [34] [35] [36] [38] [39] [41] [42] [44] [46] [47] [49] [50] [51] [52]
20Dusko Pavlovic [19] [30] [33]
21John Power (A. John Power) [2] [5]
22Karin Quaas [38] [41]
23Alexander Moshe Rabinovich (Alexander Rabinovich) [51]
24A. W. Roscoe (A. William Roscoe, Bill Roscoe) [36] [42]
25Ph. Schnoebelen [44] [47]
26Steven Shalit [10]
27Babita Sharma [37] [40] [43]
28Toru Tsujishita [2] [5]
29Hiroshi Watanabe [2] [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)