


default search action
Information and Computation, Volume 303
Volume 303, 2025
- Margarita Mikhelson, Alexander Okhotin:
A parallel algorithm for counting parse trees. 105237 - Magnús M. Halldórsson
, Dror Rawitz
:
Distributed fractional local ratio and independent set approximation. 105238 - J. Jackson
, R. Perumal
:
An algebraic attack on the key exchange protocol based upon a modified tropical structure. 105259 - Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio
, Hugo Francon, Sasha Rubin, Shufang Zhu:
ltl synthesis under environment specifications for reachability and safety properties. 105255 - Magdalena Ivanovska, Marija Slavkovik:
Probabilistic judgment aggregation with conditional independence constraints. 105256 - Maksim Gladyshev
, Natasha Alechina
, Mehdi Dastani, Dragan Doder:
Reasoning about group responsibility for exceeding risk threshold in one-shot games. 105257 - Nan Fang
, Wolfgang Merkle
:
Extending CL-reducibility on array noncomputable degrees. 105258 - Oded Shmueli
:
Nondeterminism and the clique problem. 105260 - Xiaowei Wu, Bo Li
, Jiarui Gan:
Approximate envy-freeness in indivisible resource allocation with budget constraints. 105264 - Leszek Gasieniec
, Jesper Jansson, Christos Levcopoulos
, Andrzej Lingas:
Efficient assignment of identities in anonymous populations. 105265 - Hsi-Ming Ho
, Khushraj Madnani:
Metric quantifiers and counting in timed logics and automata. 105268 - Maximilien Gadouleau, David C. Kutner
:
Generalising the maximum independent set algorithm via Boolean networks. 105266 - Bosheng Song
, Chuanlong Hu, David Orellana-Martín
, Antonio Ramírez-de-Arellano
, Mario J. Pérez-Jiménez
, Xiangxiang Zeng:
The computational properties of P systems with mutative membrane structures. 105277 - Bruno Courcelle
:
On regular trees defined from unfoldings and coverings. 105278 - Dominique Laurent
, Nicolas Spyratos
:
Consistent query answering in multi-relation databases. 105279 - Kevin Buchin
, Paola Flocchini, Irina Kostitsyna, Tom Peters
, Nicola Santoro, Koichi Wada
:
On the computational power of energy-constrained mobile robots. 105280

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.