default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 194
Volume 194, Number 1, 2025
- Christian Choffrut:
Equational theory of ordinals with addition and left multiplication by ω. - Chenxu Yang, Ping Li, Yaping Mao, Eddie Cheng, Ralf Klasing:
Constructing disjoint Steiner trees in Sierpiński graphs. - Johannes Pahlke, Ivo F. Sbalzarini:
On the Computational Power of Particle Methods. - Mnacho Echenim, Nicolas Peltier:
Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates. - Yali Sun, Mingzu Zhang, Xing Feng, Xing Yang:
A concentration phenomenon for h-extra edge-connectivity reliability analysis of enhanced hypercubes Qn, 2 with exponentially many faulty links.
Volume 194, Number 2, 2025
Fixed Points in Computer Science 2023
- Ezra Schoen, Jade Master, Clemens Kupke:
Relative fixed points of functors. - Matteo Manighetti, Dale Miller:
Peano Arithmetic and μMALL. - Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata:
Demystifying μ.
Volume 194, Number 3, 2025
- Ugo de'Liguoro, Riccardo Treglia:
Intersection Types for a Computational Lambda-Calculus with Global State. - Paul D. Manuel, Sandi Klavzar, R. Prabha, Andrew Arokiaraj:
The geodesic cover problem for butterfly networks. - Thom W. Frühwirth:
Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup. - Elena Di Lavore, Wilmer Leal, Valeria de Paiva:
Dialectica Petri Nets.
Volume 194, Number 4, 2025
Central European Conference on Cryptology 2024
- Pierre-Augustin Berthet:
Ciphertext Malleability in Lattice-Based KEMs as a Countermeasure to Side Channel Analysis. - Mateusz Lesniak, Michal Wronski:
Privacy for Quantum Annealing. Attack on Spin Reversal Transformations in the case of cryptanalysis. - Maciej Grzeskowiak:
MNT Elliptic Curves with Non-Prime Order. - Mariusz Jurkiewicz, Kamila Prabucka:
Unidirectional Key Update in Updatable Encryption, Revisited.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-09 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
