Jonathan P. Bowen

发表

Jonathan P. Bowen, 1990, Z User Workshop.

Peter T. Breuer, Jonathan P. Bowen, 2016, ANT/SEIT.

Jonathan P. Bowen, Mike Hinchey, 1995 .

Jonathan P. Bowen, He Jifeng, Ian Page, 1994 .

Jonathan P. Bowen, 1985, Microprocess. Microsystems.

Jonathan P. Bowen, Martin C. Henson, Ken Robinson, 2002, Lecture Notes in Computer Science.

Peter T. Breuer, Kevin Lano, Jonathan P. Bowen, 1993, Softw. Eng. J..

Teresa Numerico, Jonathan P. Bowen, 2002 .

Teresa Numerico, Jonathan P. Bowen, 2004 .

Jonathan P. Bowen, 1990, Microprocess. Microsystems.

Jonathan P. Bowen, Terry Trickett, Jeremy B. A. Green, 2018, EVA.

Susan Stepney, Rosalind Barden, Jonathan P. Bowen, 1995, Inf. Softw. Technol..

John Herbert, Jifeng He, Jonathan P. Bowen, 1995 .

Jonathan P. Bowen, 1994 .

Peter T. Breuer, Jonathan P. Bowen, 2016, IACR Cryptol. ePrint Arch..

Jonathan P. Bowen, 1997, European Review.

Jonathan P. Bowen, Eleanor Lisney, Kirsten Hearn, 2013 .

Jonathan P. Bowen, Alison Hsiang-Yi Liu, 2011, Int. J. Web Based Communities.

Jonathan P. Bowen, Z Users, Didier Bert, 2003, Lecture Notes in Computer Science.

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

Jonathan P. Bowen, Karl Harrison, Alice M. Bowen, 2013, EVA.

Jing Li, Jifeng He, Jonathan P. Bowen, 2007, SEFM.

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).

Peter T. Breuer, Jonathan P. Bowen, 2016, IACR Cryptol. ePrint Arch..

Peter T. Breuer, Jonathan P. Bowen, 1992, WSA.

Peter T. Breuer, Jonathan P. Bowen, 1994, TOPL.

Jonathan P. Bowen, Roxane Bernier, R. Bernier, 2004, Program.

Jonathan P. Bowen, Mike Hinchey, 1995 .

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2006, ICECCS.

Hans Rischel, Jonathan P. Bowen, Stephen Brien He, 2010 .

Jonathan P. Bowen, Michael G. Hinchey, 2012, Conquering Complexity.

Jonathan P. Bowen, 2000, CACM.

Jonathan P. Bowen, Mike Hinchey, 1995 .

Jonathan P. Bowen, Victoria Stavridou, V. Stavridou, 1993, Softw. Eng. J..

Jonathan P. Bowen, Zili Zhang, Zhiming Liu, 2016, Lecture Notes in Computer Science.

Jonathan P. Bowen, Michael G. Hinchey, M. Hinchey, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

Peter T. Breuer, Jonathan P. Bowen, 2019, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Jifeng He, Jonathan P. Bowen, Jifeng He, 2006 .

Mark Harman, Robert M. Hierons, Jonathan P. Bowen, 2008, Formal Methods and Testing.

Jonathan P. Bowen, 1985, Microprocess. Microsystems.

Jonathan P. Bowen, Sergiy Vilkomir, S. Vilkomir, 2001 .

Peter T. Breuer, Jonathan P. Bowen, 2019, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Jonathan P. Bowen, Kalpesh Kapoor, 2007, TSEM.

Jonathan P. Bowen, Sarah McDaid, Ingrid Beazley, 2010, EVA.

Jonathan P. Bowen, Michael G. Hinchey, 1995, Inf. Softw. Technol..

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.

Tula Giannini, Jonathan P. Bowen, Bruce Wands, 2018, EVA.

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2006 .

Jonathan P. Bowen, Michael G. Hinchey, Emil Vassev, 2010, Computing Handbook, 3rd ed..

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2017, SECRYPT.

Tula Giannini, Jonathan P. Bowen, 2016, EVA.

Tula Giannini, Jonathan P. Bowen, 2014, EVA.

Nancy G. Leveson, Jonathan P. Bowen, Victoria Stavridou, 1999 .

Jonathan P. Bowen, 2016, EVA.

Jonathan P. Bowen, Mike Hinchey, M. Hinchey, 1995 .

Peter T. Breuer, Jonathan P. Bowen, 2012, ESSoS.

Jonathan P. Bowen, 2013, Theories of Programming and Formal Methods.

Ernst-Rüdiger Olderog, Jonathan P. Bowen, Mike G. Hinchey, 1994, NASA Monographs in Systems and Software Engineering.

Jonathan P. Bowen, Mike Hinchey, M. Hinchey, 1999, Formal Approaches to Computing and Information Technology (FACIT).

Peter T. Breuer, Jonathan P. Bowen, K. Lano, 1993 .

Jonathan P. Bowen, 1995, Inf. Softw. Technol..

Jonathan P. Bowen, Museophile Limited, Oak Barn, 2006 .

Jing Li, Jifeng He, Jonathan P. Bowen, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

Jonathan P. Bowen, Andreas Fett, Mike Hinchey, 1998 .

Mary C. Dyson, Jonathan P. Bowen, Kevin Moran, 2001 .

Anders P. Ravn, Ernst-Rüdiger Olderog, Martin Fränzle, 1993, Fifth Euromicro Workshop on Real-Time Systems.

Teresa Numerico, Jonathan P. Bowen, Silvia Filippini-Fantoni, 2005 .

Jonathan P. Bowen, Michael G. Hinchey, 2009, Rigorous Methods for Software Construction and Analysis.

Ali E. Abdallah, Jonathan P. Bowen, Alexandra Barros, 2000 .

Jonathan P. Bowen, 2017, Provably Correct Systems.

Jonathan P. Bowen, Kalpesh Kapoor, K. Kapoor, 2005, Softw. Test. Verification Reliab..

Jonathan P. Bowen, Michael G. Hinchey, M. Hinchey, 1995, IEEE Softw..

Jonathan P. Bowen, Robin J. Wilson, 2012, EVA.

Jonathan P. Bowen, Roxane Bernier, 2002 .

Tula Giannini, Jonathan P. Bowen, 2017, EVA.

Jonathan P. Bowen, Kalpesh Kapoor, Sergiy A. Vilkomir, 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

Peter T. Breuer, Kevin Lano, Jonathan P. Bowen, 1993, Inf. Softw. Technol..

Jonathan P. Bowen, Zili Zhang, Zhiming Liu, 2017, Lecture Notes in Computer Science.

Tula Giannini, Jonathan P. Bowen, 2019, Museums and Digital Culture.

Jonathan P. Bowen, Tim J. Gleeson, T. Gleeson, 1990 .

Peter T. Breuer, Jonathan P. Bowen, 1995, Softw. Pract. Exp..

Peter T. Breuer, Jonathan P. Bowen, 2018, ArXiv.

Peter T. Breuer, Jonathan P. Bowen, 2013, SEFM Workshops.

Rance Cleaveland, Martin R. Woodward, Mark Harman, 2009, CSUR.

Peter T. Breuer, Jonathan P. Bowen, 2013, ArXiv.

Phan Cong Vinh, Jonathan P. Bowen, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

John A. Clark, Mark Harman, Robert M. Hierons, 2002, Proceedings 26th Annual International Computer Software and Applications.

Jonathan P. Bowen, Martin C. Henson, Steve Reeves, 2003, Comput. Artif. Intell..

Kia Ng, Jonathan P. Bowen, Sarah McDaid, 2013 .

Aditya K. Ghose, Jonathan P. Bowen, Sergiy A. Vilkomir, 2006, Innovations in Systems and Software Engineering.

Jifeng He, Jonathan P. Bowen, Paritosh K. Pandya, 1990, PLILP.

Jing Li, Jifeng He, Jonathan P. Bowen, 2010, Innovations in Systems and Software Engineering.

Jonathan P. Bowen, Victoria Stavridou, 1994 .

Jonathan P. Bowen, 1997, ZUM.

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2020, Formal Aspects of Computing.

Jonathan P. Bowen, Mike Hinchey, 1999 .

Jonathan P. Bowen, Roger B. Gimson, Stig Topp-Jorgensen, 1988 .

Jonathan P. Bowen, 1989, Softw. Eng. J..

Jifeng He, Jonathan P. Bowen, J. He, 1994, Formal Aspects of Computing.

Jonathan P. Bowen, Michael G. Hinchey, M. Hinchey, 2006, Computer.

Ann Borda, Jonathan P. Bowen, Ann Borda, 2019, Museums and Digital Culture.

Hussein Zedan, Jonathan P. Bowen, Michael G. Hinchey, 2014, Computer.

Jonathan P. Bowen, 1986, Comput. Syst. Sci. Eng..

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2018, ICICS.

Jonathan P. Bowen, Roxane Bernier, Michael K. Houghton, 2003 .

Jonathan P. Bowen, Sergiy A. Vilkomir, 2008, Formal Methods and Testing.

Tim Bergin, Jonathan P. Bowen, Christopher H. Sterling, 2006, IEEE Ann. Hist. Comput..

Jonathan P. Bowen, 2006 .

Teresa Numerico, Jonathan P. Bowen, 2005, ArXiv.

Jonathan P. Bowen, Mike Hinchey, S. A. Schuman, 1999 .

Jonathan P. Bowen, 1990, Z User Workshop.

Tula Giannini, Jonathan P. Bowen, Tula Giannini, 2018, EVA.

Jonathan P. Bowen, Mike Hinchey, M. Hinchey, 1995, Lecture Notes in Computer Science.

Jonathan P. Bowen, 1991, Z User Workshop.

David Lorge Parnas, Robert L. Glass, Cliff B. Jones, 1996, Computer.

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2001, CHARME.

Jonathan P. Bowen, Irini Papadimitriou, 2018, EVA.

Jonathan P. Bowen, Michael G. Hinchey, M. Hinchey, 1995, Computer.

Phan Cong Vinh, Jonathan P. Bowen, P. Vinh, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Jonathan P. Bowen, Andrew Hodges, Andrew Hodges, 2008 .

Hussein Zedan, Jonathan P. Bowen, Helge Janicke, 2018, Software Technology: 10 Years of Innovation in IEEE Computer.

Jonathan P. Bowen, Michael G. Hinchey, 1995, Inf. Softw. Technol..

Ann Borda, Jonathan P. Bowen, Silvia Filippini-Fantoni, 2005 .

Jonathan P. Bowen, Kalpesh Kapoor, 2003, 2003 International Symposium on Empirical Software Engineering, 2003. ISESE 2003. Proceedings..

Jonathan P. Bowen, Michael K. Houghton, Michael K. Houghton, 1999 .

Tula Giannini, Jonathan P. Bowen, Tula Giannini, 2019, Springer Series on Cultural Computing.

Jonathan P. Bowen, 1993, Proceedings 1993 Software Engineering Standards Symposium.

Jonathan P. Bowen, 1992, Z User Workshop.

Tula Giannini, Jonathan P. Bowen, 2019, Museums and Digital Culture.

Peter T. Breuer, Jonathan P. Bowen, 2001 .

Jonathan P. Bowen, 1985, Microprocess. Microsystems.

Jonathan P. Bowen, Sergiy A. Vilkomir, S. Vilkomir, 2006, Formal Aspects of Computing.

Jonathan P. Bowen, Kalpesh Kapoor, 2004, FATES.

Jonathan P. Bowen, 1990, Z User Workshop.

Jifeng He, Jonathan P. Bowen, Qiwen Xu, 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

Jonathan P. Bowen, 1992, Comput. Graph. Forum.

Jonathan P. Bowen, Jack Copeland, 2017, The Turing Guide.

Jonathan P. Bowen, Roger B. Gimson, Tim Gleeson, 1986, EW 2.

Peter T. Breuer, Jonathan P. Bowen, 2013, ESSoS 2013.

Peter T. Breuer, Jonathan P. Bowen, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

Jonathan P. Bowen, 1995, ZUM.

Jifeng He, Jonathan P. Bowen, J. He, 2001, The Journal of Supercomputing.

Jonathan P. Bowen, 1985, Microprocess. Microsystems.

Jonathan P. Bowen, 2000 .

Jonathan P. Bowen, Michael G. Hinchey, M. Hinchey, 1994, FME.

Yan Zhang, Jonathan P. Bowen, Zhiming Liu, 2014, Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2014.

Phan Cong Vinh, Jonathan P. Bowen, P. Vinh, 2005, 29th Annual IEEE/NASA Software Engineering Workshop.

Jonathan P. Bowen, 1998, ZUM.

Jonathan P. Bowen, Michael G. Hinchey, Sue Black, 2009, Computer.

Zongyuan Yang, Jifeng He, Jonathan P. Bowen, 2019, ACM Trans. Softw. Eng. Methodol..

Peter T. Breuer, Simon Pickin, Jonathan P. Bowen, 2015, SoMeT.

Jifeng He, Jonathan P. Bowen, Jifeng He, 1992, Fourth Euromicro workshop on Real-Time Systems.

Jonathan P. Bowen, 2016, SETSS.

Mark Harman, Robert M. Hierons, Jonathan P. Bowen, 2008 .

Jonathan P. Bowen, Mike Hinchey, David Till, 1997, Lecture Notes in Computer Science.

Tula Giannini, Jonathan P. Bowen, 2016, EVA.

Shengchao Qin, Jifeng He, Jonathan P. Bowen, 2009, Innovations in Systems and Software Engineering.

Bo Liu, Jonathan P. Bowen, Shmuel S. Tyszberowicz, 2019, SETSS.

Jonathan P. Bowen, Jack Copeland, Simon Greenish, 2017, The Turing Guide.

Jonathan P. Bowen, Zhiming Liu, Z Zhang, 2017 .

Tula Giannini, Jonathan P. Bowen, 2015, EVA.

Tiziana Margaria, Patrick Cousot, Michael Jackson, 2008, CACM.

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2017, 2017 International Carnahan Conference on Security Technology (ICCST).

Jonathan P. Bowen, Michael G. Hinchey, Emil Vassev, 2010, Encyclopedia of Software Engineering.

Teresa Numerico, Jonathan P. Bowen, S. Filippini Fantoni, 2005 .

Jifeng He, Jonathan P. Bowen, Ian Page, 1993, CHARME.

Jonathan P. Bowen, Michael J. C. Gordon, 1995, Inf. Softw. Technol..

Tula Giannini, Jonathan P. Bowen, Tula Giannini, 2019, Museums and Digital Culture.

Tula Giannini, Jonathan P. Bowen, 2019, Museums and Digital Culture.

Phan Cong Vinh, Jonathan P. Bowen, P. Vinh, 2008, Trans. Comput. Sci..

Peter Gorm Larsen, Jonathan P. Bowen, Paul Boca, 2007 .

Shengchao Qin, Jifeng He, Jonathan P. Bowen, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

Tula Giannini, Jonathan P. Bowen, 2019, Museums and Digital Culture.

Jonathan P. Bowen, Roger B. Gimson, Stig Topp-Jorgensen, 1987 .

Jonathan P. Bowen, Jawed I. A. Siddiqi, Paul Boca, 2009 .

Shengchao Qin, Fan Yang, Jifeng He, 2012, J. Log. Algebraic Methods Program..

Ernst-Rüdiger Olderog, Jonathan P. Bowen, Hans Langmaack, 1996 .

Tula Giannini, Jonathan P. Bowen, Gareth Polmeer, 2017, EVA.

Jonathan P. Bowen, Sergiy A. Vilkomir, S. Vilkomir, 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

Jonathan P. Bowen, Sergiy A. Vilkomir, S. Vilkomir, 2002, ZB.

Jonathan P. Bowen, 1998 .

Peter T. Breuer, Jonathan P. Bowen, 2013, ESSoS.

Rance Cleaveland, Marian Gheorghe, Mark Harman, 2008 .

Jonathan P. Bowen, Michael J. C. Gordon, 1994, Z User Workshop.

Jonathan P. Bowen, Kalpesh Kapoor, 2004, Softw. Test. Verification Reliab..

Peter T. Breuer, Jonathan P. Bowen, 2019, Int. J. Crit. Comput. Based Syst..

Tula Giannini, Jonathan P. Bowen, Bruce Wands, 2018 .

Jonathan P. Bowen, Christopher A. Rouff, Mike Hinchey, 2006 .

Jonathan P. Bowen, Z Users, Z. Users, 2000, Lecture Notes in Computer Science.

Michael J. Butler, Jonathan P. Bowen, Michael G. Hinchey, 2013, Formal Aspects Comput..

Giuliano Gaia, Stefania Boiano, Ann Borda, 2020, EVA.

Peter T. Breuer, Jonathan P. Bowen, 1994, Z User Workshop.

Jonathan P. Bowen, Michael G. Hinchey, 1997, The Computer Science and Engineering Handbook.

Kia Ng, Jonathan P. Bowen, Suzanne Keene, 2013, Springer Series on Cultural Computing.

Peter T. Breuer, Jonathan P. Bowen, 1992 .

Tula Giannini, Jonathan P. Bowen, 2019, Museums and Digital Culture.

Jonathan P. Bowen, Victoria Stavridou, 1992 .

Jonathan P. Bowen, Mike Hinchey, M. Hinchey, 1996 .

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2018, 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Jifeng He, Jonathan P. Bowen, Huibiao Zhu, 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

Jonathan P. Bowen, Silvia Filippini-Fantoni, Silvia Filippini-Fantoni, 2007 .

Jonathan P. Bowen, Michael G. Hinchey, M. Hinchey, 2005, FMICS '05.

Phan Cong Vinh, Jonathan P. Bowen, P. Vinh, 2005, Innovations in Systems and Software Engineering.

Jonathan P. Bowen, David Chippington, 1998, ZUM.

Peter T. Breuer, Jonathan P. Bowen, 2014, 2014 IEEE 8th International Symposium on Service Oriented System Engineering.

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2016, SECRYPT.

Zili Zhang, Jonathan P. Bowen, Zhiming Liu, 2018, Lecture Notes in Computer Science.

Fan Yang, Jifeng He, Jonathan P. Bowen, 2009, 2009 33rd Annual IEEE Software Engineering Workshop.

Tula Giannini, Jonathan P. Bowen, Stuart Dunn, 2020, EVA.

Jonathan P. Bowen, 2003, WWW.

Jonathan P. Bowen, V. Stavridou, 2004 .

Jonathan P. Bowen, 2000 .

Jonathan P. Bowen, J. Bennett, James Johnson, 1998 .

Jonathan P. Bowen, MSc PhD Michael G. Hinchey BSc, 1999, Formal Approaches to Computing and Information Technology (FACIT).

Jonathan P. Bowen, S. Isaksen, Nimal NissankeThe, 1996 .

Jonathan P. Bowen, H. Zedan, M. R. Woodward, 2003 .

Carlos Delgado Kloos, Peter T. Breuer, Robert B. France, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

Ann Borda, Jonathan P. Bowen, 2009 .

Peter T. Breuer, Jonathan P. Bowen, 1998 .

Jonathan P. Bowen, Silvia Filippini-Fantoni, Eleanor Lisney, 2007 .

Jonathan P. Bowen, Sarah McDaid, Ingrid Beazley, 2010 .

Kia Ng, Jonathan P. Bowen, Alan Seal, 2010 .

Jonathan P. Bowen, Jim Angus, 2006 .

Jonathan P. Bowen, Jane S. M. Bowen, 2000 .

Jonathan P. Bowen, ProjectJonathan, He, 1995 .

Peter T. Breuer, Jonathan P. Bowen, 1997 .

Jonathan P. Bowen, Tula Giannini, 2019, Museums and Digital Culture.

Mark Harman, Robert M. Hierons, Jonathan P. Bowen, 2002 .

Mark Harman, Robert M. Hierons, Jonathan P. Bowen, 2002 .

Flemming Nielson, Anders P. Ravn, Hans Rischel, 1989 .

Jonathan P. Bowen, 2021, Logic, Computation and Rigorous Methods.

Giuliano Gaia, Stefania Boiano, Ann Borda, 2008 .

Tula Giannini, Jonathan P. Bowen, Jonathan P. Bowen, 2019, EVA.

Jonathan P. Bowen, Mike Holcombe, George Eleftherakis Mike Hinchey, 2008, CACM.

Jonathan P. Bowen, Silvia Filippini-Fantoni, Jonathan P. Bowen, 2013 .

Phan Cong Vinh, Jonathan P. Bowen, Jonathan P. Bowen, 2002 .

Jonathan P. Bowen, Jonathan P. Bowen, Tula Giannini, 2022, ACM Journal on Computing and Cultural Heritage.

Jonathan P. Bowen, Karl Harrison, Alice M. Bowen, 2016, Int. J. Creative Comput..

Jonathan P. Bowen, Jonathan P. Bowen, 1997 .

Jonathan P. Bowen, Jonathan P. Bowen, Tula Giannini, 2021, Heritage.

Jonathan P. Bowen, Jonathan P. Bowen, Ann Borda, 2022, EVA.

Jonathan P. Bowen, Jonathan P. Bowen, Jing Li, 2022, EVA.

Ann Borda, Jonathan P. Bowen, Jonathan P. Bowen, 2021, EVA.

Jonathan P. Bowen, Ann Borda, G. Gaia, 2020, EVA.

Jonathan P. Bowen, M. Hinchey, Emil Vassev, 2019, Encyclopedia of Software Engineering.

Peter T. Breuer, Jonathan P. Bowen, Jonathan Bowen, 1993 .

Peter T. Breuer, Jonathan P. Bowen, K. Lano, 1991 .

Peter T. Breuer, Kevin Lano, Jonathan P. Bowen, 1991 .

Tim Bergin, John A. N. Lee, Jon Agar, 1966, British Journal of Music Education.

Jonathan P. Bowen, M. Hinchey, Emil Vassev, 2008, Encyclopedia of Algorithms.

Jonathan P. Bowen, 2002 .

Jonathan P. Bowen, M. Hinchey, 1994, IEEE Softw..