José Moreira

33 papers A 2B 4Misc 2Journal 7Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
A DBMS-independent approach for capturing provenance polynomials through query rewriting.
CoRR
Paulo Pintor, Rogério Costa, José Moreira
2025 — conf
Artificial Intelligence in Support of Teaching: Predictive Models and Adaptive Systems for Personalising Learning.
CENTERIS/ProjMAN/HCist
Jorge Duque, José Moreira, Firmino Silva, Helena Isabel Marques Gonçalves
2025 — conf
Multi-Level Aggregation and Summarisation of Data Provenance.
Provenance Week@SIGMOD
Paulo Pintor, Rogério Costa, José Moreira
2025 — conf
Validating Data Provenance Polynomials.
ADBIS (Short Papers)
Paulo Pintor, Rogério Luís de C. Costa, José Moreira
2024 J jnl
Evolving Dynamics of Neck Muscle Activation Patterns in Dental Students: A Longitudinal Study.
Sensors
Manuel Barbosa de Almeida, Marion Moreira, Paulo Miranda-Oliveira, José Moreira, Carlos Família, João R. Vaz, Paula Moleirinho-Alves, Raúl Oliveira
2024 — conf
Remote Registration of Multiple Authenticators.
CODASPY
Yongqi Wang, Thalia Laing, José Moreira, Mark D. Ryan
2023 J jnl
Automatic verification of transparency protocols (extended version).
CoRR
Vincent Cheval, José Moreira, Mark Ryan
2023 A conf
Automatic verification of transparency protocols.
EuroS&P
Vincent Cheval, José Moreira, Mark Ryan
2023 A conf
Symbolic modelling of remote attestation protocols for device and app integrity on Android.
AsiaCCS
Abdulla Aldoseri, Tom Chothia, José Moreira, David F. Oswald
2022 B ed.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, PACT 2022, Chicago, Illinois, October 8-12, 2022
PACT
Andreas Klöckner, José Moreira
2022 — conf
Protocols for a Two-Tiered Trusted Computing Base.
ESORICS (3)
José Moreira, Mark Ryan, Flavio D. Garcia
2021 — conf
Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols.
STM
Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen, Peter B. Rønne, Mark Ryan, Peter Y. A. Ryan
2021 — conf
STEMI-CR: Solution for Patients with Acute Myocardial Infarction at Home-Based Cardiac Rehabilitation Program.
CENTERIS/ProjMAN/HCist
Pinheiro Candjondjo, Elisabete Vaz, Sara Marques, José Moreira
2020 — conf
Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties.
STM
Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark Dermot Ryan
2018 J jnl
Constructions of almost secure frameproof codes with applications to fingerprinting schemes.
Des. Codes Cryptogr.
José Moreira, Marcel Fernández, Grigory Kabatiansky
2018 — conf
Improving Opinion Analysis Through Statistical Disclosure Control in eVoting Scenarios.
EGOVIS
Pol Blasco, José Moreira, Jordi Puiggali, Jordi Cucurull, David Rebollo-Monedero
2017 — conf
13.2 A digital multimode polar transmitter supporting 40MHz LTE Carrier Aggregation in 28nm CMOS.
ISSCC
Michael Fulde, Alexander Belitzer, Zdravko Boos, Michael Bruennert, Jonas Fritzin, Hans Geltinger, Marcus Groinig, Daniel Gruber, Simon Gruenberger, Thomas Hartig, Vahur Kampus, Boris Kapfelsperger, Franz Kuttner, Stephan Leuschner, Thomas Maletz, Andreas Menkhoff, José Moreira, Alan Paussa, Davide Ponton, Harald Pretl, Daniel Sira, Ulrich Steinacker, Nenad Stevanovic
2017 — conf
A 15-bit 28nm CMOS fully-integrated 1.6W digital power amplifier for LTE IoT.
ESSCIRC
Jörg Fuhrmann, José Moreira, Patrick Oßmann, Andreas Springer, Robert Weigel, Harald Pretl
2016 J jnl
Almost separating and almost secure frameproof codes over q-ary alphabets.
Des. Codes Cryptogr.
José Moreira, Marcel Fernández, Grigory Kabatiansky
2015 — conf
9.2 A single-chip HSPA transceiver with fully integrated 3G CMOS power amplifiers.
ISSCC
José Moreira, Stephan Leuschner, Nenad Stevanovic, Harald Pretl, Peter Pfann, Ronald Thüringer, Martin Kastner, Christian Proll, Andreas Schwarz, Florian Mrugalla, Jimena Saporiti, Umut Basaran, Andreas Langer, Tobias D. Werth, Timo Gossmann, Boris Kapfelsperger, Johann Pletzer
2015 B conf
Almost IPP-codes or provably secure digital fingerprinting codes.
ISIT
Marcel Fernandez, Grigory Kabatiansky, José Moreira
2015 B conf
Independent Security Testing on Agile Software Development: A Case Study in a Software Company.
ARES
Jesus Choliz, Julian Vilas, José Moreira
2013 Misc conf
Constructions of Almost Secure Frameproof Codes Based on Small-Bias Probability Spaces.
IWSEC
José Moreira, Marcel Fernandez, Grigory Kabatiansky
2013 — —
On codes for traceability schemes: constructions and bounds.
José Moreira
2012 J jnl
On the relationship between the traceability properties of Reed-Solomon codes.
Adv. Math. Commun.
José Moreira, Marcel Fernandez, Miguel Soriano
2011 — conf
A fully digital multimode polar transmitter employing 17b RF DAC in 3G mode.
ISSCC
Zdravko Boos, Andreas Menkhoff, Franz Kuttner, Markus Schimper, José Moreira, Hans Geltinger, Timo Gossmann, Peter Pfann, Alexander Belitzer, Thomas Bauernfeind
2011 B conf
Almost separating and almost secure frameproof codes.
ISIT
Marcel Fernandez, Grigory Kabatiansky, José Moreira
2011 J jnl
Identifying Traitors Using the Koetter-Vardy Algorithm.
IEEE Trans. Inf. Theory
Marcel Fernandez, José Moreira, Miguel Soriano
2011 — conf
Lower bounds on almost-separating binary codes.
WIFS
José Moreira, Grigory Kabatiansky, Marcel Fernandez
2011 Misc ed.
Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30 - June 1, 2011
SYSTOR
Paula Ta-Shma, José Moreira, Liuba Shrira
2009 — conf
A note on the equivalence of the traceability properties of Reed-Solomon codes for certain coalition sizes.
WIFS
José Moreira, Marcel Fernandez, Miguel Soriano
2007 — ed.
Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007
Conf. Computing Frontiers
Utpal Banerjee, José Moreira, Michel Dubois, Per Stenström
2005 — conf
Topic 4 - Compilers for High Performance.
Euro-Par
Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, José Moreira