Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Emms, Martin
56  Ergebnisse:
Personensuche X
?
1

A Methodology for Protocol Verification Applied to EMV® 1:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Freitas, Leo ; Modesti, Paolo ; Emms, Martin - p. 180-197 , 2018
Link: https://doi.org/10.1007/..
 
?
2

Does the Online Card Payment Landscape Unwittingly Facilita..:

Ali, Mohammed Aamir ; Arief, Budi ; Emms, Martin.
IEEE Security & Privacy.  15 (2017)  2 - p. 78-86 , 2017
Link: https://doi.org/10.1109/..
 
?
3

Sensible Privacy : How We Can Protect Domestic Violence ..:

, In: Proceedings of the 13th Workshop on Privacy in the Electronic Society,
Arief, Budi ; Coopamootoo, Kovila P.L. ; Emms, Martin. - p. 201-204 , 2014
Link: https://dl.acm.org/doi/1..
 
?
4

Harvesting High Value Foreign Currency Transactions from EM..:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,
Emms, Martin ; Arief, Budi ; Freitas, Leo.. - p. 716-726 , 2014
Link: https://dl.acm.org/doi/1..
 
?
5

Extending the type checker of Standard ML by polymorphic re..:

Emms, Martin ; Leiβ, Hans
Theoretical Computer Science.  212 (1999)  1-2 - p. 157-181 , 1999
Link: https://doi.org/10.1016/..
 
?
6

A Methodology for Protocol Verification Applied to EMV 1:

Freitas, Leo ; Modesti, Paolo ; Emms, Martin
Freitas , L , Modesti , P & Emms , M 2018 , A Methodology for Protocol Verification Applied to EMV 1 . in T Massoni & M R Mousavi (eds) , Formal Methods : Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings . vol. 11254 , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 11254 LNCS , Springer , pp. 180-197 . https://doi.org/10.1007/978-3-030-03044-5_12.  , 2018
Link: https://research.tees.ac..
 
?
7

Contactless payments :usability at the cost of security?:

Emms, Martin J
http://hdl.handle.net/10443/3304.  , 2016
Link: http://hdl.handle.net/10..
 
?
8

An unsupervised EM method to infer time variation in sense ..:

EMMS, MARTIN
Martin Emms and Arun Jayapal, An unsupervised EM method to infer time variation in sense probabilities, ICON 2015 : 12th International Conference on Natural Language Processing, Trivandrum, India, December 12-13 2015, 2015, 266 - 271.  , 2015
Link: http://hdl.handle.net/22..
 
?
9

Latent Ambiguity in Latent Semantic Analysis? ; ICPRAM 2013..:

EMMS, MARTIN ; MALDONADO GUERRA, ALFREDO
Martin Emms and Alfredo Maldonado-Guerra, Latent Ambiguity in Latent Semantic Analysis?, ICPRAM 2013 (Int.Conf. on Pattern Recognition Applications and Methods), Barcelona, February 15-18 2013, Maria De Marsico and Ana Fred, ScitePress, 2013, 115 - 120.  , 2013
Link: http://hdl.handle.net/22..
 
?
10

First-order and second-order context representations: geome..:

EMMS, MARTIN ; MALDONADO GUERRA, ALFREDO
Alfredo Maldonado-Guerra and Martin Emms, First-order and second-order context representations: geometrical considerations and performance in word-sense disambiguation and discrimination, Proceedings of the 11th International Conference on the Statistical Analysis of Textual Data (JADT 2012), Liege, 2012, 676 - 686.  , 2012
Link: http://hdl.handle.net/22..
 
?
11

Measuring the compositionality of collocations via word co-..:

EMMS, MARTIN ; MALDONADO GUERRA, ALFREDO
Alfredo Maldonado-Guerra and Martin Emms, Measuring the compositionality of collocations via word co-occurrence vectors: Shared task system description, Proceedings of the Distributional Semantics and Compositionality workshop (DISCo 2011)., 2011, 48 - 53.  , 2011
Link: http://hdl.handle.net/22..
 
?
12

Predictors of poor outcome following lumbar spinal fusion s..:

Rushton, Alison B. ; Jadhakhan, Feroz ; Verra, Martin L....
European Spine Journal.  32 (2023)  7 - p. 2303-2318 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Construction and comparison of high temperature fixed point..:

Mantilla, J. M. ; Woods, D. J. ; Emms, R....
Journal of Physics: Conference Series.  2554 (2023)  1 - p. 012007 , 2023
Link: https://doi.org/10.1088/..
 
?
14

Immediate patient perceptions following lumbar spinal fusio..:

Rushton, Alison ; Elena, Bini ; Jadhakhan, Feroz...
European Spine Journal.  31 (2022)  12 - p. 3590-3602 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Translation and validation of the Dutch version of the Birt..:

Emmens, Berbel ; Hollins Martin, Caroline J. ; Martin, Colin R.
Journal of Reproductive and Infant Psychology.  41 (2021)  2 - p. 213-227 , 2021
Link: https://doi.org/10.1080/..
 
1-15