IMDEA Software

Recent papers from IMDEA Software

1. Compact Quantum Circuits for Autosymmetric and Dimension Reducible FunctionsACM Journal on Emerging Technologies in Computing Systems · 2026
2. Frutopia: A Hybrid Tangible Serious Game for Multisensory Interaction and Tactile ExplorationComputers · 2026
3. MIDA5: A Collaborative and User-Centered Business Process Analytics MethodologyInformation · 2026
4. Inception Display CalculiStudia Logica · 2026
5. Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time ChecksTheory and Practice of Logic Programming · 2026
6. Towards Relating Ciao Assertions and LPTP TheoremsElectronic Proceedings in Theoretical Computer Science · 2026
7. An Approach to the Abstract Interpretation of Goal-Directed Answer Set ProgrammingElectronic Proceedings in Theoretical Computer Science · 2026
8. Basic Model Theory for Path Predicate Modal LogicElectronic Proceedings in Theoretical Computer Science · 2026
9. Extensions of HyperLTL for Asynchronous HyperpropertiesACM Transactions on Computational Logic · 2026
10. PLEX: Normalization for Refinement TypesProceedings of the ACM on Programming Languages · 2026
11. Decompiling for Constant-Time AnalysisProceedings of the ACM on Programming Languages · 2026
12. (Dis)Proving Spectre Security with Speculation-Passing StyleProceedings of the ACM on Programming Languages · 2026
13. Byzantine-tolerant distributed grow-only sets: specification and applicationsDistributed Computing · 2026
14. Behavioral, antioxidant, and kynurenine pathway modulation of a specific strain of Ligilactobacillus salivarius in a preclinical model of depressionEuropean Journal of Nutrition · 2026
15. Complexity Assessments for Decidable Fragments of Set Theory. IV: A Quadratic Reduction from Constraints over Nested Sets to Boolean FormulaeFoundations · 2026
16. eGoRG: GPU-accelerated depth estimation for immersive video applications based on graph cutsJournal of Visual Communication and Image Representation · 2026
17. Symbolic runtime verification for monitoring under uncertainties and assumptionsInformation and Software Technology · 2025
18. Dependently Typed Higher-Order LogicACM Transactions on Computational Logic · 2025
19. Isomorphic structured pruning of temporal CNNs for scalable NILM on edge devicesEnergy Reports · 2025
20. Laws of Quantum ProgrammingACM Transactions on Software Engineering and Methodology · 2025