default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 307
Volume 307, 2025
- Yumou Fei
, Leslie Ann Goldberg, Pinyan Lu:
Two-state spin systems with negative interactions. 105340 - Zhao Wang, Yaping Mao, Sun-Yuan Hsieh, Ralf Klasing:
The g-good-neighbor diagnosability of product networks under the PMC model. 105341 - Szymon Lopaciuk, Daniel Reidenbach:
The Billaud Conjecture for alphabet size 4. 105342 - Zhen Zhang, Junfeng Yang, Limei Liu, Xuesong Xu, Guozhen Rong, Qilong Feng:
Towards a theoretical understanding of why local search works for clustering with fair-center representation. 105343 - Alexander Okhotin:
Decision problems for systems of language equations and inequations. 105344 - Xiaotie Deng, Ningyuan Li, Weian Li, Qi Qi:
Competition among parallel contests. 105339 - Yu Yang, Bang-Bang Jin, Xiaoming Sun, Xiao-Dong Zhang, Bo Li, Kai Zhao, Hua Wang:
Exact counting of subtrees with diameter no more than d in trees: A generating function approach. 105353 - Keng Meng Ng, Nikolay Bazhenov, Birzhan S. Kalmurzayev, Dias Nurlanbek:
On cardinalities of Rogers semilattices for families in the Ershov hierarchy. 105354 - Weidong Luo:
Polynomial Turing compressions for some graph problems parameterized by modular-width. 105355 - Luke Hunsberger, Roberto Posenato:
Recent algorithmic advances in simple temporal networks with uncertainty: From faster controllability checking to faster execution. 105356 - Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka:
k-Universality of Regular Languages. 105357 - Leonid A. Levin:
Assumptions of randomness in cosmology models. 105359 - Tomoyuki Yamakami:
Intersection and union hierarchies of deterministic context-free languages and pumping lemmas. 105358 - Yoav Feinstein, Orna Kupferman:
Monotonicity characterizations of regular languages. 105360 - Guanzhong Li, Lvzhou Li:
Unbounded quantum-classical separation in sample complexity for sphere center finding. 105361 - Xiaotie Deng, Dongchen Li, Hanyu Li:
Automating approximation analysis for Nash equilibria algorithms in two-player games. 105362 - Michele Chiari, Dino Mandrioli, Matteo Pradella:
Cyclic operator precedence grammars for parallel parsing. 105363 - Yuxing Yang:
The h-step limited star connectivity of hypercubes. 105364 - Yusai Wu, Liqing Yu, Yu Yu:
On the equivalence of uniform key agreement and sequential composition insecurity. 105365 - Ferdinando Cicalese, Francesca Ugazio:
Hardness and approximability of bounded access Lempel Ziv coding. 105366 - Tatsuhiro Suga, Akira Suzuki, Yuma Tamura, Xiao Zhou:
Changing induced subgraph isomorphisms under extended reconfiguration rules. 105367 - Bai Xue:
Finite-time safety and reach-avoid verification of stochastic discrete-time systems. 105368 - Michal Hospodár, Jozef Jirásek, Galina Jirásková, Juraj Sebej:
Operational complexity: NFA-to-DFA trade-off. 105369 - Zaman Keinath-Esmail:
On the equivalence of Occam algorithms. 105370 - Ankang Sun, Bo Li:
On the price of fairness of allocating contiguous blocks. 105371 - Tomoyuki Yamakami:
Power of counting by nonuniform families of polynomial-size finite automata. 105372 - Periklis Mantenoglou, Alexander Artikis:
Composite event recognition with arbitrary specifications. 105373 - Vladimir V. V'yugin:
Kolmogorov complexity in the USSR (1975-1982): Isolation and its end. 105374 - Alexander Shen:
Ergodic theorem and algorithmic randomness (following V. V'yugin). 105375 - Jean-François Condotta, Yakoub Salhi:
Exploring inconsistency measurement in Disjunctive Temporal Problems. 105376 - Niuniu Qi, Xia Zeng, Banglong Liu, Zhengfeng Yang, Xiaochao Tang, Li Zhang, Chao Peng, Zhenbing Zeng:
An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints. 105377 - Mingyang Gong, Yong Chen, Zhi-Zhong Chen, Guohui Lin, Bing Su, Lusheng Wang:
Approximation algorithms for the maximum path cover problem using long paths. 105378 - Sajal K. Das, Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar:
Collision-free exploration by mobile agents using pebbles. 105380 - Ekaterina B. Fokina, Steffen Lempp:
Syntactic characterization of learnability of structures with mind changes. 105381
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 2025-12-04 01:27 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:
