logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
I

Imdea Software Institute

学者数63
论文数45
被引数0
关联论文 (45)
发表时间
delete
An optimal pastification algorithm for LTL[X,F] and LTL[X,G]LTL[X,F]和LTL[X,G]的最优解析算法
errArtificial Intelligence
IF4.6
err2026-05-09
err0
errOAAI
errAlessandro Artale; Luca Geatti; Nicola Gigante; Alessio Mansutti; Andrea Mazzullo; Angelo Montanari
err分享
err收藏
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
err分享
err收藏
PLEX: Normalization for Refinement TypesPLEX: 规范化用于精化类型
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-04-01
err0
PREAI
errFerrarini, Alessio; Vazou, Niki; Swierstra, Wouter
err分享
err收藏
(Dis)Proving Spectre Security with Speculation-Passing Style用推测传递风格证明或证伪Spectre安全性
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
ON POLYNOMIAL-TIME DECIDABILITY OF k-NEGATIONS FRAGMENTS OF FIRST-ORDER THEORIES关于一阶理论中k-否定片段的多项式时间可判定性
errLogical Methods in Computer Science
IF1
err2026-01-01
err0
PREAI
errHaase, Christoph; Mansutti, Alessio; Pouly, Amaury
err分享
err收藏
Subtyping in Dependently-Typed Higher-Order Logic依赖类型高阶逻辑中的子类型
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errRothgang, Colin; Rabe, Florian
err分享
err收藏
Dependently Typed Higher-Order Logic依赖类型的高阶逻辑
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
err分享
err收藏
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
err分享
err收藏
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos让民主运作：修复和简化平等主义Paxos
err29TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2025
IF0
err2026-01-01
err0
PREAI
errRyabinin, Fedor; Gotsman, Alexey; Sutra, Pierre
err分享
err收藏
Invited Paper: Setchain Algorithms for Blockchain Scalability邀请论文：区块链可扩展性的Setchain算法
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏