Brijesh Dongol

发表

J. Derrick, G. Schellhorn, Brijesh Dongol, 2020, ArXiv.

R. Jagadeesan, J. Riely, Brijesh Dongol, 2017 .

Brijesh Dongol, H. Wehrheim, Simon Doherty, 2022, ACM Transactions on Computational Logic.

Brijesh Dongol, Sadegh Dalvandi, 2022, Proc. ACM Program. Lang..

Brijesh Dongol, S. Ahmadi, Matt Griffin, 2022, FTSCS.

Jim Woodcock, Hugo Daniel Macedo, Peter Gorm Larsen, 2021, Formal Aspects Comput..

Brijesh Dongol, Tsz Yiu Lam, Brijesh Dongol, 2020, Interact. Learn. Environ..

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, Log. Methods Comput. Sci..

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, Arch. Formal Proofs.

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2016, ACM Trans. Comput. Log..

Georg Struth, Brijesh Dongol, Victor B. F. Gomes, 2015, MPC.

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2017, ArXiv.

Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, 2012, RAMiCS.

Robert M. Hierons, Brijesh Dongol, R. Hierons, 2015, Inf. Comput..

Robert M. Hierons, Brijesh Dongol, R. Hierons, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Arjan J. Mooij, Brijesh Dongol, Brijesh Dongol, 2008, Formal Aspects of Computing.

Arjan J. Mooij, Brijesh Dongol, Brijesh Dongol, 2006, MPC.

Brijesh Dongol, H. Wehrheim, Simon Doherty, 2022, ACM Trans. Comput. Log..

Brijesh Dongol, Simon Doherty, Sadegh Dalvandi, 2020, J. Autom. Reason..

John Derrick, Brijesh Dongol, Heike Wehrheim, 2018, PPoPP.

Brijesh Dongol, Simon Doherty, Heike Wehrheim, 2020, ECOOP.

John Derrick, Brijesh Dongol, Ian J. Hayes, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Alan Burns, Cliff B. Jones, Brijesh Dongol, 2013, Comput. J..

Cliff B. Jones, Brijesh Dongol, Alan Burns, 2011 .

John Derrick, Brijesh Dongol, Gerhard Schellhorn, 2016, OPODIS.

John Derrick, Brijesh Dongol, Lindsay Groves, 2015, ECOOP.

John Derrick, Brijesh Dongol, Oleg Travkin, 2018, Formal Aspects of Computing.

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2019, MPC.

Brijesh Dongol, Alasdair Armstrong, Simon Doherty, 2017, FORTE.

Brijesh Dongol, Alasdair Armstrong, Simon Doherty, 2016, ArXiv.

Brijesh Dongol, Jay Le-Papin, Brijesh Dongol, 2021, SEFM.

Robert Colvin, Brijesh Dongol, Brijesh Dongol, 2007, ICTAC.

Brijesh Dongol, Doug Goldson, Brijesh Dongol, 2005, Log. Methods Comput. Sci..

Robert Colvin, Brijesh Dongol, Brijesh Dongol, 2009, Sci. Comput. Program..

Brijesh Dongol, Doug Goldson, Brijesh Dongol, 2005, CATS.

John Derrick, Brijesh Dongol, J. Derrick, 2015, Sci. Comput. Program..

I. Hayes, Brijesh Dongol, P. Robinson, 2014, Formal Aspects of Computing.

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2013, Sci. Comput. Program..

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2011 .

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2010, MPC.

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2009, 2009 Australian Software Engineering Conference.

Brijesh Dongol, Ian J. Hayes, Peter J. Robinson, 2009 .

John Derrick, Brijesh Dongol, J. Derrick, 2014 .

Brijesh Dongol, Ian J. Hayes, I. Hayes, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Georg Struth, Brijesh Dongol, Ian J. Hayes, 2014, ArXiv.

Brijesh Dongol, Matt Griffin, Brijesh Dongol, 2021, FM.

Brijesh Dongol, Sadegh Dalvandi, Brijesh Dongol, 2020, PPoPP.

J. Derrick, Brijesh Dongol, H. Wehrheim, 2018, PPoPP.

John Derrick, Brijesh Dongol, Heike Wehrheim, 2018, ArXiv.

Radha Jagadeesan, James Riely, Brijesh Dongol, 2018, VMCAI.

Brijesh Dongol, Mark Batty, Daniel Wright, 2022 .

John Derrick, Brijesh Dongol, Graeme Smith, 2014, FACS.