logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
I

Imdea Software Institute

Scholars63
Papers45
Citations0
Related Papers (45)
Publication Date
delete
An optimal pastification algorithm for LTL[X,F] and LTL[X,G]
errArtificial Intelligence
IF4.6
err2026-05-09
err0
errOAAI
errAlessandro Artale; Luca Geatti; Nicola Gigante; Alessio Mansutti; Andrea Mazzullo; Angelo Montanari
errShare
errSave
Decompiling for Constant-Time Analysis
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-04-01
err0
PREAI
errArranz-Olmos, Santiago; Barthe, Gilles; Blatter, Lionel; Bouzid, Youcef; van der Wall, Soren; Zhang, Zhiyuan
errShare
errSave
PLEX: Normalization for Refinement Types
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-04-01
err0
PREAI
errFerrarini, Alessio; Vazou, Niki; Swierstra, Wouter
errShare
errSave
(Dis)Proving Spectre Security with Speculation-Passing Style
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-04-01
err0
PREAI
errArranz-Olmos, Santiago; Barthe, Gilles; Blatter, Lionel; Xie, Xingyu; Zhang, Zhiyuan
errShare
errSave
Symbolic runtime verification for monitoring under uncertainties and assumptions
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2026-01-21
err0
errOAAI
errHipler, Raik; Kallwies, Hannes; Leucker, Martin; Montali, Marco; Sanchez, Cesar; Winkler, Sarah
errShare
errSave
The Optical Architecture of a Heterogeneous Quantum Network Deployed in Production Facilities
errIEEE Network
IF6.3
err2026-01-12
err0
errOAAI
errAlberto Sebastián-Lombraña; Hans H. Brunner; David Rincón; Juan P. Brito; Rubén B. Méndez; Rafael J. Vicente; Jaime S. Buruaga; Laura Ortiz; José Luis Rosales; Chi-Hang Fred Fung; Momtchil Peev; José M. Rivas-Moscoso; Felipe Jiménez; Antonio Pastor; Diego R. López; Jesús Folgueira; César Sánchez; Vicente Martín
errShare
errSave
Tight Conditions for Binary-Output Tasks Under Crashes
err29TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2025
IF0
err2026-01-01
err0
PREAI
errAlbouy, Timothe; Fernandez Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas; Wang, Junlang
errShare
errSave
ON POLYNOMIAL-TIME DECIDABILITY OF k-NEGATIONS FRAGMENTS OF FIRST-ORDER THEORIES
errLogical Methods in Computer Science
IF1
err2026-01-01
err0
PREAI
errHaase, Christoph; Mansutti, Alessio; Pouly, Amaury
errShare
errSave
Subtyping in Dependently-Typed Higher-Order Logic
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errRothgang, Colin; Rabe, Florian
errShare
errSave
Dependently Typed Higher-Order Logic
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
errShare
errSave
Contention-Aware Cooperation
err29TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2025
IF0
err2026-01-01
err0
PREAI
errAlbouy, Timothe; Frey, Davide; Gestin, Mathieu; Raynal, Michel; Taiani, Francois
errShare
errSave
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
err29TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2025
IF0
err2026-01-01
err0
PREAI
errRyabinin, Fedor; Gotsman, Alexey; Sutra, Pierre
errShare
errSave
Invited Paper: Setchain Algorithms for Blockchain Scalability
errSTABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2025
IF0
err2026-01-01
err0
PREAI
errKarmegam, Arivarasan; Luz Bianchi, Gabina; Capretto, Margarita; Ceresa, Martin; Fernandez Anta, Antonio; Sanchez, Cesar
errShare
errSave
Tetris! Traceable Extendable Threshold Ring Signatures and More
errCOMPUTER SECURITY-ESORICS 2025, PT II
IF0
err2026-01-01
err0
PREAI
errAvitabile, Gennaro; Botta, Vincenzo; Fiore, Dario
errShare
errSave
The Polymorphism Maze: Understanding Diversities and Similarities in Malware Families
errCOMPUTER SECURITY-ESORICS 2025, PT III
IF0
err2026-01-01
err0
PREAI
errVitale, Antonino; Aonzo, Simone; Dambra, Savino; Rani, Nanda; Ippolito, Lorenzo; Kotzias, Platon; Caballero, Juan; Balzarotti, Davide
errShare
errSave
Short Paper: Rewardable Naysayer Proofs
errFINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2025, PT II
IF0
err2026-01-01
err0
PREAI
errAvitabile, Gennaro; Siniscalchi, Luisa; Visconti, Ivan
errShare
errSave
Verification-Efficient Homomorphic Signatures for Verifiable Computation over Data Streams
errFINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2025, PT II
IF0
err2026-01-01
err0
PREAI
errAnthoine, Gaspard; Cozzo, Daniele; Fiore, Dario
errShare
errSave
Securely Computing One-Sided Matching Markets
errFINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2025, PT I
IF0
err2026-01-01
err0
PREAI
errChiang, James Hsin-Yu; Damgard, Ivan; Orlandi, Claudio; Pancholi, Mahak; Simkin, Mark
errShare
errSave
Clean Up the Mess: Addressing Data Pollution in Cryptocurrency Abuse Reporting Services
errFuture Generation Computer Systems
IF0
err2025-12-15
err0
PREAI
errGibran Gomez; Kevin Van Liebergen; Davide Sanvito; Giuseppe Siracusano; Roberto Gonzalez; Juan Caballero
errShare
errSave
Robust network scale-up method estimators
errSocial Networks
IF2.4
err2025-08-26
err0
PREAI
errSergio Díaz-Aranda; Juan Marcos Ramírez; Jose Aguilar; Rosa E. Lillo; Antonio Fernández Anta
errShare
errSave