Howard Barringer

发表

Howard Barringer, 1987 .
Howard Barringer, I. Mearns, 1986, Comput. J..
Howard Barringer, Charles Lindsey, 1977 .
Michael Fisher, Howard Barringer, Graham Gough, 1989, Automatic Verification Methods for Finite State Systems.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Howard Barringer, David E. Rydeheard, Klaus Havelund, 2007, RV.
Alex Groce, Howard Barringer, Margaret H. Smith, 2010, J. Aerosp. Comput. Inf. Commun..
Howard Barringer, David E. Rydeheard, 2005, We Will Show Them!.
Howard Barringer, David E. Rydeheard, Klaus Havelund, 2012, FM.
Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2005 .
Howard Barringer, Graham Gough, H. Barringer, 1988, ESOP.
Paolo Prinetto, Howard Barringer, Paolo Camurati, 1992 .
Howard Barringer, Cornelia P. Inggs, H. Barringer, 2005, Formal Methods Syst. Des..
Howard Barringer, Donal Fellows, Graham Gough, 1997 .
Howard Barringer, Mark Reynolds, Dov Gabbay, 1996 .
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1989 .
Howard Barringer, Ana Cristina Vieira de Melo, A. Melo, 1995, CHARME.
Alex Groce, Howard Barringer, Klaus Havelund, 2009 .
Ning Zhang, Howard Barringer, Naikuo Yang, 2007, Third International Symposium on Information Assurance and Security.
Dov M. Gabbay, Michael Fisher, Howard Barringer, 1989, REX Workshop.
Bernd Finkbeiner, Insup Lee, Howard Barringer, 2010 .
Howard Barringer, Cornelia P. Inggs, 2002 .
Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .
Koushik Sen, Howard Barringer, Klaus Havelund, 2004, VMCAI.
Howard Barringer, Willem Visser, W. Visser, 2000, International Journal on Software Tools for Technology Transfer.
Bernd Finkbeiner, Henny B. Sipma, Howard Barringer, 2006, Electron. Notes Theor. Comput. Sci..
Howard Barringer, Brian Monahan, Graham Gough, 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Dov M. Gabbay, John Woods, Howard Barringer, 2012, Argument Comput..
Howard Barringer, David E. Rydeheard, Djihed Afifi, 2010, RV.
Dov M. Gabbay, Howard Barringer, 2010, Essays in Memory of Amir Pnueli.
Howard Barringer, Ning Zhang, Cornelia P. Inggs, 2004 .
Howard Barringer, Klaus Havelund, K. Havelund, 2011, FM.
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2009 .
Dov M. Gabbay, John Woods, Howard Barringer, 2012, Argument Comput..
Howard Barringer, Joachim Baran, 2007, WoLLIC.
Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .
Dov M. Gabbay, Michael Fisher, Howard Barringer, 1995, Formal Aspects of Computing.
Howard Barringer, Joachim Baran, 2008, RV.
Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987, Lecture Notes in Computer Science.
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1985 .
Dov M. Gabbay, Howard Barringer, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.
Howard Barringer, Cornelia P. Inggs, H. Barringer, 2002, PDMC@CONCUR.
Alex Groce, Howard Barringer, Margaret H. Smith, 2010, FMA.
Howard Barringer, David E. Rydeheard, Djihed Afifi, 2010, PAAR@IJCAR.
Howard Barringer, Ruurd Kuiper, R. Kuiper, 1984, Seminar on Concurrency.
Dov M. Gabbay, Michael Fisher, Howard Barringer, 2000 .
Ning Zhang, Howard Barringer, Naikuo Yang, 2007 .
Dov M. Gabbay, John Woods, Howard Barringer, 2005, Mechanizing Mathematical Reasoning.
Howard Barringer, Sylvain Hallé, 2005, SEFM.
Howard Barringer, Ruurd Kuiper, R. Kuiper, 1983, The Analysis of Concurrent Systems.
Howard Barringer, Brian Monahan, Graham Gough, 2007 .
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, Formal Methods Syst. Des..
Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987 .
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1986, POPL '86.
Howard Barringer, Willem Visser, W. Visser, 1996, The Spin Verification System.
Howard Barringer, Alan R. Williams, Brian Monahan, 1995, CHARME.
Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2004 .
Dov M. Gabbay, Howard Barringer, John Woods, 2005 .
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2009, Log. J. IGPL.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2005, Automated Software Engineering.
Howard Barringer, David E. Rydeheard, Giles Reger, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Howard Barringer, Alan R. Williams, Donal Fellows, 2002, Comput. J..
Howard Barringer, Marius C. Bujorianu, Manuela L. Bujorianu, 2011, IEEE Conference on Decision and Control and European Control Conference.
Howard Barringer, 1987, Comput. J..
Dov M. Gabbay, Michael Fisher, Howard Barringer, 2000 .
Howard Barringer, David E. Rydeheard, Klaus Havelund, 2010, J. Log. Comput..
Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1989, Temporal Logic in Specification.
Howard Barringer, Alan R. Williams, Donal Fellows, 1996, FME 1996.
Alex Groce, Howard Barringer, David E. Rydeheard, 2009, RV.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopolou, 2003 .
Howard Barringer, Alan R. Williams, Donal Fellows, 1997 .
Howard Barringer, 1985, Lecture Notes in Computer Science.
Howard Barringer, P. C. Capon, R. Philips, 1979, Softw. Pract. Exp..
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1984, STOC '84.
Artur S. d'Avila Garcez, Howard Barringer, Sergei N. Artëmov, 2005, We Will Show Them!.
Howard Barringer, Marius C. Bujorianu, Manuela L. Bujorianu, 2009, 2009 17th Mediterranean Conference on Control and Automation.
Howard Barringer, Marius C. Bujorianu, Manuela L. Bujorianu, 2009, CLIMA.
Howard Barringer, David E. Rydeheard, 2005 .
Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1991, KR.
Dov M. Gabbay, Howard Barringer, D. Gabbay, 1988, Concurrency.
Howard Barringer, Marius C. Bujorianu, M. C. Bujorianu, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Howard Barringer, David E. Rydeheard, Giles Reger, 2015, SOEN.
Koushik Sen, Howard Barringer, Klaus Havelund, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2014, Language, Culture, Computation.
Howard Barringer, Dov Gabbay, D. Gabbay, 2007 .
Howard Barringer, Alan R. Williams, Brian Monahan, 1996, Comput. J..
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Michael Fisher, Howard Barringer, Michael Fisher, 1991 .
Howard Barringer, Brian Monahan, Graham Gough, 1995 .
Cliff B. Jones, Howard Barringer, J. H. Cheng, 1984, Acta Informatica.
Howard Barringer, Brian Monahan, Martin Peim, 1993 .
Howard Barringer, Dimitra Giannakopoulou, Jamieson M. Cobleigh, 2007 .
Michael R. Lowry, Sarfraz Khurshid, Koushik Sen, 2005, Theor. Comput. Sci..
Howard Barringer, Cornelia P. Inggs, 2006, Formal Methods Syst. Des..
Howard Barringer, Brian Monahan, Graham Gough, 1994 .
Howard Barringer, Behnam Banieqbal, H. Barringer, 1987, Temporal Logic in Specification.
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2007, RV.
Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1996 .
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2007, ICSE 2007.
Howard Barringer, Victoria Stavridou, David A. Edwards, 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
Howard Barringer, Alan R. Williams, Willem Visser, 1997, CHARME.
Dov M. Gabbay, Michael Fisher, Howard Barringer, 1996 .
Howard Barringer, Willem Visser, W. Visser, 1998 .
Howard Barringer, David Carlisle, D. Carlisle, 1994 .
Howard Barringer, Ying Zhang, Ying Zhang, 1992 .
Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .
Flemming Nielson, Anders P. Ravn, Hans Rischel, 1989 .
Howard Barringer, Willem Visser, 1999 .