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

Mark Reynolds Vis

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

*2008
30EEDavid J. Montana, Mark Reynolds: Validation Algorithms for a Secure Internet Routing PKI. EuroPKI 2008: 17-30
2007
29 Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
28EEMajigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds: Measuring Data-Driven Ontology Changes using Text Mining. AusDM 2007: 39-46
27EETim French, John C. McCabe-Dansted, Mark Reynolds: A Temporal Logic of Robustness. FroCos 2007: 193-205
26EEMark Reynolds: A Tableau for Bundled CTL. J. Log. Comput. 17(1): 117-132 (2007)
2006
25EEXiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds: Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78
24EERachel Cardell-Oliver, Mark Reynolds, Mark Kranz: A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289
23EEMark Reynolds, Abdul Sattar: Editors' introduction. J. Applied Logic 4(2): 117-118 (2006)
2005
22 Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing: Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004 King's College Publications 2005
21EEMark Reynolds: Towards a CTL* Tableau. FSTTCS 2005: 384-395
20 Ian M. Hodkinson, Mark Reynolds: Separation - Past, Present, and Future. We Will Show Them! (2) 2005: 117-142
19EEMark Reynolds: An axiomatization of PCTL*. Inf. Comput. 201(1): 72-119 (2005)
2004
18EETim French, Ron van der Meyden, Mark Reynolds: Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic 2004: 53-72
17EEApril Krukowski, Mark Reynolds: Students as service champions: a success story. SIGUCCS 2004: 284-288
2003
16EEMark Reynolds: The complexity of the temporal logic with "until" over general linear time. J. Comput. Syst. Sci. 66(2): 393-426 (2003)
2002
15 Tim French, Mark Reynolds: A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148
14EEMark Reynolds: Axioms for Branching Time. J. Log. Comput. 12(4): 679-697 (2002)
2001
13EEMark Reynolds: Continuous Temporal Models. Australian Joint Conference on Artificial Intelligence 2001: 414-425
12EEMark Reynolds, Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001)
11 Mark Reynolds: An Axiomatization of Full Computation Tree Logic. J. Symb. Log. 66(3): 1011-1057 (2001)
2000
10EEMark Reynolds: More Past Glories. LICS 2000: 229-240
9 Maarten Marx, Szabolcs Mikulás, Mark Reynolds: The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
1999
8EEMaarten Marx, Mark Reynolds: Undecidability of Compass Logic. J. Log. Comput. 9(6): 897-914 (1999)
7EEAlberto Zanardo, Bruno Barcellan, Mark Reynolds: Non-Definability of the Class of Complete Bundled Trees. Logic Journal of the IGPL 7(1): 125-136 (1999)
1997
6 Mark Reynolds: A Decidable Temporal Logic of Parallelism. Notre Dame Journal of Formal Logic 38(3): 419-436 (1997)
1996
5EEHoward Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)
4 Mark Reynolds: Axiomatising first-order temporal logic: until and since over linear time. Studia Logica 57(2/3): 279-302 (1996)
1994
3 Mark Reynolds: Axiomatizing U and S over Integer Time. ICTL 1994: 117-132
1993
2 Mark Reynolds: Towards First-Order Concurrent METATEM. Executable Modal and Temporal Logics 1993: 118-143
1992
1 Mark Reynolds: An Axiomatization for Until and Since over the Reals without the IRR Rule. Studia Logica 51(2): 165-193 (1992)

Coauthor Index

1Bruno Barcellan [7]
2Howard Barringer [5]
3Derek Brough [5]
4Rachel Cardell-Oliver [24]
5Majigsuren Enkhsaikhan [28]
6Michael Fisher [5]
7Tim French [15] [18] [27]
8Dov M. Gabbay [5]
9Graham Gough [5]
10Ian M. Hodkinson [5] [20]
11Anthony Hunter [5]
12Mark Kranz [24]
13April Krukowski [17]
14Han Lin [29]
15Wei Liu [28]
16Xiangyu Luo [25]
17Maarten Marx [8] [9]
18Peter McBrien [5]
19John C. McCabe-Dansted [27]
20Ron van der Meyden [18]
21Szabolcs Mikulás [9]
22David J. Montana [30]
23Richard Owens [5]
24Ian Pratt-Hartmann (Ian E. Pratt) [22]
25Abdul Sattar [23] [25] [29]
26Renate A. Schmidt [22]
27Kaile Su [25] [29]
28Heinrich Wansing [22]
29Wilson Wong [28]
30Michael Zakharyaschev [12]
31Alberto Zanardo [7]

Colors in the list of coauthors

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