Skip To Main Content
Rúben Martins on Muck Rack

Rúben Martins

Verified
Arruda dos Vinhos
As seen in: Publico (Portugal), Sobre Carris, MSN, MSN España, MDPI, El Diario, El Diario AR
Jornalista @Publico. Professor universitário na UAL, Lusófona e na ESTA-IPT. Corresponsal en Portugal @elDiarioes. Sobre Carris. Soundbite.
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Rúben

Contact Rúben, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

Computer Science > Software Engineering

|
By Rúben Martins Verified
| arXiv
Program verification is crucial for software correctness, but producing fully verified programs remains difficult in practice. This paper studies whether implementation structure affects automated verifiability when multiple generated programs are intended to satisfy the same task-level semantics.
Open in Who Shared Issue with article?

Computer Science > Computer Science and Game Theory

|
By Rúben Martins Verified, Ratip Emin Berker
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (445) Issue with article?

Cómo Portugal ha parado los pies a la extrema derecha

|
By Rúben Martins Verified, Jose Coelho
| El Diario Verified
Todavía hay cuentos de hadas políticos. El triunfo de este domingo del socialista António José Seguro es la mayor victoria de un presidente de la República en Portugal en número absoluto de votos. Un éxito que representó la unión de un amplio campo político —que va desde los comunistas hasta los liberales— en torno a un candidato que se enfrentaba al líder de la extrema derecha y a la amenaza más clara para la democracia que los portugueses han construido desde 1974.
Open in Who Shared View Duplicates (2) Issue with article?
See all 93 licensed articles (1,668 Total)