School of Computer Science


A formal analysis of the Neuchâtel e-voting protocol

In: Proceedings of 3rd IEEE European Symposium on Security and Privacy 2018 (EuroS&P)

Cortier, Veronique | Galindo, David | Turuani, Mathieu

Advanced glycation endproducts, dityrosine and arginine transporter dysfunction in autism - a source of biomarkers for clinical diagnosis

Molecular Autism [2040-2392]

Anwar, Attia | Abruzzo, Provvidenza Maria | Pasha, Sabah | Rajpoot, Kashif | Bolotta, Alessandra | Ghezzo, Alessandro | Marini, Marina | Posar, Annio | Visconti, Paola | Thornalley, Paul J. | Rabbani, Naila

Ultrasound-mediation of self-illuminating reporters improves imaging resolution in optically scattering media

Biomedical Optics Express [2156-7085]

Ahmad, Junaid | Jayet, Baptiste | Hill, Philip J. | Mather, Melissa L. | Dehghani, Hamid | Morgan, Stephen P.

A dichotomy result for locally compact sober dcpos

Houston Journal of Mathematics [0362-1588]

Jia, Xiaodong | Jung, Achim | Li, Qingguo

Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

IEEE - ACM Transactions on Computational Biology and Bioinformatics [1545-5963]

Mu, Chunyan | Dittrich, Peter | Parker, David | Rowe, Jonathan

A competitive mechanism based multi-objective particle swarm optimizer with fast convergence

Information Sciences [0020-0255]

Zhang, Xingyi | Zheng, Xiutao | Cheng, Ran | Qiu, Jianfeng | Jin, Yaochu

A Q-learning-based memetic algorithm for multi-objective dynamic software project scheduling

Information Sciences [0020-0255]

Shen, Xiao-Ning | Minku, Leandro | Marturi, Naresh | Guo, Yi-Nan | Han, Ying

Multispectral, non-contact diffuse optical tomography of healthy human finger joints

Biomedical Optics Express [2156-7085]

Lighter, Daniel | Hughes, James | Styles, Iain | Filer, Andrew | Dehghani, Hamid

Supersingular isogeny graphs and endomorphism rings: reductions and solutions

In: Proceedings of 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2018)

Eisenträger, Kirsten | Hallgren, Sean | Lauter, Kristin | Morrison, Travis | Petit, Christophe

Efficient implementation of evaluation strategies via token-guided graph rewriting

In: Proceedings of the Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017)

Muroya, Koko | Ghica, Dan