Edit Profile (opens in new tab) Zeyda, Frank Compute Distance To: Compute Author ID: zeyda.frank Published as: Zeyda, Frank Documents Indexed: 20 Publications since 2003 Co-Authors: 14 Co-Authors with 20 Joint Publications 157 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Cavalcanti, Ana 6 Stoddart, Bill 5 Foster, Simon 5 Woodcock, James C. P. 3 Dunne, Steve E. 2 Oliveira, Marcel 1 Canham, Samuel 1 Ferreira, João Filipe 1 Freitas, Leo 1 Lynas, Robert 1 Mendes, Alexandra 1 Ritchie, Campbell 1 Wei, Kun 1 Wellings, Andy all top 5 Serials 3 Formal Aspects of Computing 2 Science of Computer Programming 1 Information Processing Letters 1 Theoretical Computer Science 1 Real-Time Systems 1 Journal of Logical and Algebraic Methods in Programming Fields 20 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 60 times in 30 Documents Cited by ▼ Year ▼ Isabelle/UTP: a mechanised theory engineering framework. Zbl 1457.68061Foster, Simon; Zeyda, Frank; Woodcock, Jim 13 2015 Unifying theories of reactive design contracts. Zbl 1436.68195Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank 7 2020 Mechanical reasoning about families of UTP theories. Zbl 1243.68270Zeyda, Frank; Cavalcanti, Ana 7 2012 Unifying heterogeneous state-spaces with lenses. Zbl 1482.68089Foster, Simon; Zeyda, Frank; Woodcock, Jim 6 2016 Unifying theories of time with generalised reactive processes. Zbl 1476.68143Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank 4 2018 A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana 4 2011 Encoding Circus programs in ProofPower-Z. Zbl 1286.68097Zeyda, Frank; Cavalcanti, Ana 3 2010 A unification of probabilistic choice within a design-based model of reversible computation. Zbl 1259.68037Stoddart, Bill; Zeyda, Frank 3 2013 An axiomatic value model for Isabelle/UTP. Zbl 1483.68093Zeyda, Frank; Foster, Simon; Freitas, Leo 2 2017 Mechanised support for sound refinement tactics. Zbl 1242.68077Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana 2 2012 Safety-critical Java programs from Circus models. Zbl 1285.68037Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun 2 2013 A prospective-value semantics for the GSL. Zbl 1118.68555Zeyda, Frank; Stoddart, Bill; Dunne, Steve 2 2005 Mechanical reasoning about families of UTP theories. Zbl 1347.68098Zeyda, Frank; Cavalcanti, Ana 1 2009 Preference and non-deterministic choice. Zbl 1286.68149Stoddart, Bill; Zeyda, Frank; Dunne, Steve 1 2010 A design-based model of reversible computation. Zbl 1186.68201Stoddart, Bill; Zeyda, Frank; Lynas, Robert 1 2006 Automating refinement of Circus programs. Zbl 1325.68163Zeyda, Frank; Cavalcanti, Ana 1 2011 Higher-order UTP for a theory of methods. Zbl 1452.68061Zeyda, Frank; Cavalcanti, Ana 1 2013 Unifying theories of reactive design contracts. Zbl 1436.68195Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank 7 2020 Unifying theories of time with generalised reactive processes. Zbl 1476.68143Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank 4 2018 An axiomatic value model for Isabelle/UTP. Zbl 1483.68093Zeyda, Frank; Foster, Simon; Freitas, Leo 2 2017 Unifying heterogeneous state-spaces with lenses. Zbl 1482.68089Foster, Simon; Zeyda, Frank; Woodcock, Jim 6 2016 Isabelle/UTP: a mechanised theory engineering framework. Zbl 1457.68061Foster, Simon; Zeyda, Frank; Woodcock, Jim 13 2015 A unification of probabilistic choice within a design-based model of reversible computation. Zbl 1259.68037Stoddart, Bill; Zeyda, Frank 3 2013 Safety-critical Java programs from Circus models. Zbl 1285.68037Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun 2 2013 Higher-order UTP for a theory of methods. Zbl 1452.68061Zeyda, Frank; Cavalcanti, Ana 1 2013 Mechanical reasoning about families of UTP theories. Zbl 1243.68270Zeyda, Frank; Cavalcanti, Ana 7 2012 Mechanised support for sound refinement tactics. Zbl 1242.68077Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana 2 2012 A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana 4 2011 Automating refinement of Circus programs. Zbl 1325.68163Zeyda, Frank; Cavalcanti, Ana 1 2011 Encoding Circus programs in ProofPower-Z. Zbl 1286.68097Zeyda, Frank; Cavalcanti, Ana 3 2010 Preference and non-deterministic choice. Zbl 1286.68149Stoddart, Bill; Zeyda, Frank; Dunne, Steve 1 2010 Mechanical reasoning about families of UTP theories. Zbl 1347.68098Zeyda, Frank; Cavalcanti, Ana 1 2009 A design-based model of reversible computation. Zbl 1186.68201Stoddart, Bill; Zeyda, Frank; Lynas, Robert 1 2006 A prospective-value semantics for the GSL. Zbl 1118.68555Zeyda, Frank; Stoddart, Bill; Dunne, Steve 2 2005 all cited Publications top 5 cited Publications all top 5 Cited by 46 Authors 14 Cavalcanti, Ana 12 Zeyda, Frank 10 Foster, Simon 10 Woodcock, James C. P. 2 Butterfield, Andrew 2 Ribeiro, Pedro 2 Stoddart, Bill 2 Talpin, Jean-Pierre 2 Ye, Kangfeng 1 Amálio, Nuno 1 Baxter, James 1 Bowen, Jonathan P. 1 Boyer, Benoît 1 Canham, Samuel 1 Colvin, Robert J. 1 Dunne, Steve E. 1 Ferreira, João Filipe 1 Freitas, Leo 1 Gleirscher, Mario 1 Hayes, Ian J. 1 He, Jifeng 1 Huerta y Munive, Jonathan Julián 1 Kastenbaum, Stéphane 1 Kelly, Tim 1 King, Steve F. 1 Laibinis, Linas 1 Meinicke, Larissa A. 1 Mendes, Alexandra 1 Nemouchi, Yakoub 1 O’Halloran, Colin 1 Oliveira, Marcel 1 Ritchie, Campbell 1 Sheng, Feng 1 Struth, Georg 1 Tarasyuk, Anton 1 Thiele, Bernhard 1 Troubitsyna, Elena A. 1 Wang, Shuling 1 Wei, Kun 1 Wei, Ran 1 Wellings, Andy 1 Xu, Xiong 1 Yang, Zongyuan 1 Zhan, Bohua 1 Zhan, Naijun 1 Zhu, Huibiao all top 5 Cited in 6 Serials 8 Formal Aspects of Computing 3 Journal of Logical and Algebraic Methods in Programming 2 Theoretical Computer Science 1 Information Processing Letters 1 Science of Computer Programming 1 Real-Time Systems Cited in 4 Fields 30 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year