Zobrazeno 1 - 10
of 527
pro vyhledávání: '"Thomas Martyn"'
Autor:
Jones, Cliff B., Thomas, Martyn
Publikováno v:
Formal Aspects of Computing, 2022, Vol 34, No 1
UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical idea
Externí odkaz:
http://arxiv.org/abs/2006.06327
Autor:
Pocock, Stuart, Wang, Duolao, Irague, Florian, Patterson, Tiffany, Clayton, Tim, Dodd, Matthew, Khawaja, Zeeshan, Morice, Marie Claude, Wilson, Karen, Kim, Won-Keun, Meneveau, Nicolas, Hambrecht, Rainer, Byrne, Jonathan, Carrié, Didier, Fraser, Doug, Roberts, David H., Doshi, Sagar N., Zaman, Azfar, Banning, Adrian P., Eltchaninoff, Hélène, Le Breton, Hervé, Smith, David, Cox, Ian, Frank, Derk, Gershlick, Anthony, de Belder, Mark, Thomas, Martyn, Hildick-Smith, David, Prendergast, Bernard, Redwood, Simon
Publikováno v:
In JACC: Cardiovascular Interventions 27 September 2021 14(18):1965-1974
Autor:
Thomas, Martyn, O’Flynn, Kieran J
Publikováno v:
BMJ: British Medical Journal, 2019 Jul 01. 366, 1-1.
Externí odkaz:
https://www.jstor.org/stable/27177239
Autor:
Pavlidis, Antonis N., Perera, Divaka, Karamasis, Grigoris V., Bapat, Vinayak, Young, Chris, Clapp, Brian R., Blauth, Chris, Roxburgh, James, Thomas, Martyn R., Redwood, Simon R.
Publikováno v:
In International Journal of Cardiology 1 March 2016 206:37-41
Autor:
Lefèvre, Thierry, Colombo, Antonio, Tchétché, Didier, Latib, Azeem, Klugmann, Silvio, Fajadet, Jean, De Marco, Federico, Maisano, Francesco, Bruschi, Giuseppe, Bijuklic, Klaudija, Nava, Stefano, Weissman, Neil, Low, Reginald, Thomas, Martyn, Young, Christopher, Redwood, Simon, Mullen, Michael, Yap, John, Grube, Eberhard, Nickenig, Georg, Sinning, Jan-Malte, Hauptmann, Karl Eugen, Friedrich, Ivar, Lauterbach, Michael, Schmoeckel, Michael, Davidson, Charles, Schofer, Joachim
Publikováno v:
In JACC: Cardiovascular Interventions 11 January 2016 9(1):68-75
Autor:
Rogers, Jason H., Thomas, Martyn, Morice, Marie-Claude, Narbute, Inga, Zabunova, Milana, Hovasse, Thomas, Poupineau, Mathieu, Rudzitis, Ainars, Kamzola, Ginta, Zvaigzne, Ligita, Greene, Samantha, Erglis, Andrejs
Publikováno v:
In JACC: Cardiovascular Interventions July 2015 8(8):1095-1104
Autor:
Chakravarty, Tarun, Van Belle, Eric, Jilaihawi, Hasan, Noheria, Amit, Testa, Luca, Bedogni, Francesco, Rück, Andreas, Barbanti, Marco, Toggweiler, Stefan, Thomas, Martyn, Khawaja, Muhammed Zeeshan, Hutter, Andrea, Abramowitz, Yigal, Siegel, Robert J., Cheng, Wen, Webb, John, Leon, Martin B., Makkar, Raj R.
Publikováno v:
In The American Journal of Cardiology 1 April 2015 115(7):942-949
Autor:
Jones, Cliff B., Thomas, Martyn
Publikováno v:
Formal Aspects of Computing. 34:1-21
UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical idea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed82bb3a9f2462857c6942de69630c8c
https://doi.org/10.1145/3522577
https://doi.org/10.1145/3522577
Autor:
Humphries, Andrew, Thomas, Martyn
Publikováno v:
RSA Journal, 2015 Jan 01. 161(5564), 47-47.
Externí odkaz:
https://www.jstor.org/stable/26204463