José Reis

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025
Wave Hello to Privacy: Efficient Mixed-Mode MPC using Wavelet Transforms.
Proc. Priv. Enhancing Technol., 2025

2024
Curl: Private LLMs through Wavelet-Encoded Look-Up Tables.
IACR Cryptol. ePrint Arch., 2024

2015
Performance of a cognitive p-persistent slotted Aloha protocol.
Proceedings of the IEEE International Conference on Communication, 2015

2013
Critical Software Technologies' Experience with Formal Methods.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012
A Practical Approach for Closed Systems Formal Verification Using Event-B.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2009

Modeling wine preferences by data mining from physicochemical properties.
Decis. Support Syst., 2009

Using Data Mining for Wine Quality Assessment.
Proceedings of the Discovery Science, 12th International Conference, 2009

2007
SMOS L1 processor prototype: From digital counts to brightness temperatures.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007


  Loading...