Badia, Guillermo ; Crossley, John N ; Humberstone, Lloyd
http://arxiv.org/abs/2203.08721.  , 2022

Crossley, John N
https://ojs.victoria.ac.nz/ajl/article/view/1795/1646.  , 2008

Poernomo, Iman ; Crossley, John N
Poernomo , I & Crossley , J N 2001 , Protocols Between Programs and Proofs . in K-K Lau (ed.) , Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers . Lecture Notes in Computer Science , vol. 2042 , pp. 18 - 37 , Logic Based Program Synthesis and Transformation, 15th International Workshop, LOPSTR 2000 , London , United Kingdom , 1/01/2001 . https://doi.org/10.1007/3-540-45142-0_2.  , 2001

Crossley, John N ; Poernomo, Iman
Crossley , J N & Poernomo , I 2001 , ' Fred : An Approach to Generating Real, Correct, Reusable Programs from Proofs ' , Journal of Universal Computer Science , vol. 7 , no. 1 , pp. 71 - 88 . https://doi.org/10.3217/jucs-007-01-0071.  , 2001

Crossley, John N ; Poernomo, Iman
Crossley , J N & Poernomo , I 2001 , ' Fred : An Approach to Generating Real, Correct, Reusable Programs from Proofs ' , Journal of Universal Computer Science , vol. 7 , no. 1 , pp. 71 - 88 . https://doi.org/10.3217/jucs-007-01-0071.  , 2001

Poernomo, Iman ; Crossley, John N
Poernomo , I & Crossley , J N 2001 , Protocols Between Programs and Proofs . in K-K Lau (ed.) , Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers . Lecture Notes in Computer Science , vol. 2042 , pp. 18 - 37 , Logic Based Program Synthesis and Transformation, 15th International Workshop, LOPSTR 2000 , London , United Kingdom , 1/01/2001 . https://doi.org/10.1007/3-540-45142-0_2.  , 2001

Crossley, John N ; Poernomo, Iman ; Wirsing, Martin
Crossley , J N , Poernomo , I & Wirsing , M 2000 , Extraction of Structured Programs from Specification Proofs . in D Bert , C Choppy & P D Mosses (eds) , Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers . Lecture Notes in Computer Science , vol. 1827 , pp. 419-437 . https://doi.org/10.1007/978-3-540-44616-3_24.  , 2000

Crossley, John N ; Poernomo, Iman ; Wirsing, Martin
Crossley , J N , Poernomo , I & Wirsing , M 2000 , Extraction of Structured Programs from Specification Proofs . in D Bert , C Choppy & P D Mosses (eds) , Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers . Lecture Notes in Computer Science , vol. 1827 , pp. 419-437 . https://doi.org/10.1007/978-3-540-44616-3_24.  , 2000

Crossley, John N ; Mandel, Luis ; Wirsing, Martin
http://sedici.unlp.edu.ar/handle/10915/24331.  , 1995

Hall, Andrew M. R ; Berry, Daniel B. G ; Crossley, Jaime N...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8576814/.  , 2021

Bethlehem, Richard, A. I ; Seidlitz, J ; White, S. R...
Publisher's version.  , 2022

Andrew M. R. Hall (6307529) ; Daniel B. G. Berry (11607120) ; Jaime N. Crossley (11607123)...
https://figshare.com/articles/journal_contribution/Does_the_Configuration_at_the_Metal_Matter_in_Noyori_Ikariya_Type_Asymmetric_Transfer_Hydrogenation_Catalysts_/16871889.  , 2021

Solmi, Marco ; Thompson, Trevor ; Estradé, Andrés...
https://eprints.gla.ac.uk/289620/2/289620.pdf.  , 2023

Solmi, Marco ; Thompson, Trevor ; Estradé, Andrés...
Solmi , M , Thompson , T , Estradé , A , Agorastos , A , Radua , J , Cortese , S , Dragioti , E , Leisch , F , Vancampfort , D , Thygesen , L C , Aschauer , H , Schlögelhofer , M , Aschauer , E , Schneeberger , A , Huber , C G , Hasler , G , Conus , P , Do Cuénod , K Q , von Känel , R , Arrondo , G , Fusar-Poli , P , Gorwood , P , Llorca , P M , Krebs , M O , Scanferla , E , Kishimoto , T , Rabbani , G , Skonieczna-Żydecka , K , Brambilla , P , Favaro , A , Takamiya , A , Zoccante , L , Colizzi , M , Bourgin , J , Kamiński , K , Moghadasin , M , Seedat , S , Matthews , E , Wells , J , Vassilopoulou , E , Gadelha , A , Su , K P , Kwon , J S , Kim , M , Lee , T Y , Papsuev , O , Manková , D , Boscutti , A , Gerunda , C , Saccon , D , Righi , E , Monaco , F , Croatto , G , Cereda , G , Demurtas , J , Brondino , N , Veronese , N , Enrico , P , Politi , P , Ciappolino , V , Pfennig , A , Bechdolf , A , Meyer-Lindenberg , A , Kahl , K G , Domsc....  , 2023

Solmi, Marco ; Thompson, Trevor ; Estradé, Andrés...
https://research.rug.nl/en/publications/c58e6603-4579-4043-a7ce-54d558aa435e.  , 2023