| 2010 |
|---|
| 16 | Modal and Temporal Argumentation Networks. Howard Barringer, Dov M. Gabbay. Essays in Memory of Amir Pnueli 2010, 1-25. Web SearchBibTeXDownload |
| 2009 |
|---|
| 15 | Modelling evolvable component systems: Part I: A logical framework. Howard Barringer, Dov M. Gabbay, David E. Rydeheard. Logic Journal of the IGPL (17): 631-696 (2009). Web SearchBibTeXDownload |
| 2007 |
|---|
| 14 | A Purpose-Based Access Control Model. Naikuo Yang, Howard Barringer, Ning Zhang. IAS 2007, 143-148. Web SearchBibTeXDownload |
| 13 | From Runtime Verification to Evolvable Systems. Howard Barringer, Dov M. Gabbay, David E. Rydeheard. RV 2007, 97-110. Web SearchBibTeXDownload |
| 12 | A Logical Framework for Monitoring and Evolving Software Components. Howard Barringer, David E. Rydeheard, Dov M. Gabbay. TASE 2007, 273-282. Web SearchBibTeXDownload |
| 2005 |
|---|
| 11 | Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Howard Barringer, Dov M. Gabbay, John Woods. Mechanizing Mathematical Reasoning 2005, 59-98. Web SearchBibTeXDownload |
| 2002 |
|---|
| 10 | Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Howard Barringer, Donal Fellows, Graham Gough, Alan Williams. Comput. J. (45): 2-11 (2002). Web SearchBibTeXDownload |
| 1997 |
|---|
| 9 | Efficient CTL* model checking for analysis of rainbow designs. Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams. CHARME 1997, 128-145. Web SearchBibTeX |
| 1996 |
|---|
| 8 | A Process Algebra Foundation for Reasoning about Core ELLA. Howard Barringer, Graham Gough, Brian Monahan, Alan Williams. Comput. J. (39): 303-324 (1996). Web SearchBibTeXDownload |
| 7 | Languages, Meta-languages and METATEM, A Discussion Paper. Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher. Logic Journal of the IGPL (4): 255-272 (1996). Web SearchBibTeXDownload |
| 1995 |
|---|
| 6 | Formal support for the ELLA hardwar description language. Howard Barringer, Graham Gough, Brian Monahan, Alan Williams. CHARME 1995, 225-245. Web SearchBibTeXDownload |
| 5 | METATEM: An Introduction. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens. Formal Asp. Comput. (7): 533-549 (1995). Web SearchBibTeXDownload |
| 1991 |
|---|
| 4 | Meta-Reasoning in Executable Temporal Logic. Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter. KR 1991, 40-49. Web SearchBibTeX |
| 1989 |
|---|
| 3 | METATEM: A Framework for Programming in Temporal Logic. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens. REX Workshop 1989, 94-129. Web SearchBibTeXDownload |
| 1988 |
|---|
| 2 | Executing Temporal Logic: Review and Prospects (Abstract). Howard Barringer, Dov M. Gabbay. Concurrency 1988, 104-105. Web SearchBibTeXDownload |
| 1984 |
|---|
| 1 | A Logic Covering Undefinedness in Program Proofs. Howard Barringer, J. H. Cheng, Cliff B. Jones. Acta Inf. (21): 251-269 (1984). Web SearchBibTeXDownload |
