| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olga Martynova 0001 |
Complexity of the emptiness problem for graph-walking automata and for tilings with star subgraphs.  |
Inf. Comput.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Bell, Mika Hirvensalo, Igor Potapov |
The membership problem for subsemigroups of GL2(Z) is NP-complete. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Surya Teja Gavva, Karthik C. S., Sharath Punna |
Clustering categorical data: Soft rounding k-modes. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri V. Matiyasevich |
Towards non-iterative calculation of the zeros of the Riemann zeta function. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Balakrishnan, Sankardeep Chakraborty, N. S. Narayanaswamy, Kunihiko Sadakane |
Succinct data structure for path graphs. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemente Galdi, Stanislaw Jarecki |
Special Issue on 13th International Conference on Security and Cryptography for Networks (SCN 2022). |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Helmut Seidl, Martin Vu |
Functionality of compositions of top-down tree transducers is decidable. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Mackey, Raghubir Chimni, Jianwen Su |
Early detection of temporal constraint violations. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bredereck, Junjie Luo 0001 |
Complexity of manipulation and bribery in premise-based judgment aggregation with simple formulas. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Shouda Wang, Weijie Zheng 0001, Benjamin Doerr |
Choosing the right algorithm with hints from complexity theory. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Balázs Gerencsér, Zsombor Várkonyi |
Fast synchronization of inhomogenous random automata. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Somayyeh Golalizadeh, Nasrin Soltankhah |
On the codewords of generalized Reed-Muller codes reaching the fourth weight. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwin Bhaskar, M. Praveen |
Realizability problem for constraint LTL. |
Inf. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Atomic cross-chain swaps with improved space, time and local time complexities. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Lena Katharina Schiffer |
Combinatory categorial grammars as generators of weighted forests. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chloé Cachet, Sohaib Ahmad, Luke Demarest, Serena Riback, Ariel Hamlin, Benjamin Fuller 0001 |
Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Kirshanova, Alexander May 0001 |
Breaking Goppa-based McEliece with hints. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Ratsaby |
Learning half-spaces on general infinite spaces equipped with a distance function. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Koponen, Felix Weitkämper |
Asymptotic elimination of partially continuous aggregation functions in directed graphical models. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Martynova 0001, Alexander Okhotin |
State complexity of transforming graph-walking automata to halting, returning and reversible. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinshan Zhang 0001, Bo Tang 0010, Jianwei Yin |
Exchange of indivisible goods under matroid constraints. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | José Fuentes-Sepúlveda, Diego Gatica, Gonzalo Navarro 0001, M. Andrea Rodríguez, Diego Seco |
Compact representations of spatial hierarchical structures with support for topological queries. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz |
Temporal logics with language parameters. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Díaz-Domínguez, Gonzalo Navarro 0001 |
Efficient construction of the BWT for repetitive text using string compression. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kangli He, Hengyang Wu, Yixiang Chen |
On divergence-sensitive weak probabilistic bisimilarity. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chloé Hébant, David Pointcheval |
Traceable constant-size multi-authority credentials. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucciarelli, Delia Kesner, Alejandro Ríos 0001, Andrés Viso |
The bang calculus revisited. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam Jordon, Philippe Moser |
Pushdown and Lempel-Ziv depth. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | George Barmpalias, Wei Wang 0150 |
Randomness below complete theories of arithmetic. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanzhong Li, Lvzhou Li |
Deterministic quantum search with adjustable parameters: Implementations and applications. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mo Liu 0002, Anantha Padmanabha, R. Ramanujam 0001, Yanjing Wang 0001 |
Are bundles good deals for first-order modal logic? |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Néraud |
Topologies for error-detecting variable-length codes. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
Taming Strategy Logic: Non-Recurrent Fragments. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ian McQuillan |
On the complexity of decision problems for some classes of machines and applications. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Petra Wolf 0002, Tomoyuki Yamakami |
Synchronizing deterministic push-down automata can be really hard. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sarai Sheinvald |
Finite-word hyperlanguages. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Othon Michail, Paul G. Spirakis, Michail Theofilatos |
Fault tolerant network constructors. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Ganczorz, Tomasz Jurdzinski, Mateusz Lewko, Andrzej Pelc |
Deterministic size discovery and topology recognition in radio networks with short labels. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Renu Mary Daniel, Anitha Thomas, Elijah Blessing Rajsingh, Salaja Silas |
A strengthened eCK secure identity based authenticated key agreement protocol based on the standard CDH assumption. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bédard, Sylvain Hallé |
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tooru Akagi, Mitsuru Funakoshi, Shunsuke Inenaga |
Sensitivity of string compressors and repetitiveness measures. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Birkmann, Stefan Milius, Henning Urbat |
Eilenberg's variety theorem without Boolean operations. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher P. Porter |
Continuous randomness via transformations of 2-random sequences. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
New characterizations of primitive permutation groups with applications to synchronizing automata. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng 0001, Sanjiang Li |
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
Binary and circular automata having maximal state complexity for the set of synchronizing words. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros Angelopoulos 0001 |
Online search with a hint. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Feng, Andreas Maletti |
Weighted two-way transducers. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bean, Bjarki Agust Gudmundsson, Tómas Ken Magnússon, Henning Úlfarsson |
Algorithmic coincidence classification of mesh patterns. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Semyon Petrov, Alexander Okhotin |
On the transformation of two-way finite automata to unambiguous finite automata. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Nobuko Yoshida |
Causal computational complexity of distributed processes. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Jansson 0001, Konstantinos Mampentzidis, T. P. Sandhya 0001 |
Building a small and informative phylogenetic supertree. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy |
Tasks in modular proofs of concurrent algorithms. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob van Glabbeek |
Modelling mutual exclusion in a process algebra with time-outs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Junqiang Peng 0001, Mingyu Xiao 0001 |
Further improvements for SAT in terms of formula length. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Martynova 0001, Alexander Okhotin |
Non-closure under complementation for unambiguous linear grammars. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-Yi Cai, Zhiguo Fu |
Complexity classification of the eight-vertex model. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weizhi Feng, Yong Li 0031, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 |
On the power of finite ambiguity in Büchi complementation. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Gazda, Robert M. Hierons |
Removing redundant refusals: Minimal complete test suites for failure trace semantics. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Andreas Blass |
Software science view on quantum circuit algorithms. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Martin Lange |
The tail-recursive fragment of timed recursive CTL. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Avin, Ingo van Duijn, Maciej Pacut, Stefan Schmid 0001 |
Self-adjusting grid networks. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Avni, Shibashis Guha, Orna Kupferman |
Timed network games. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Bélanger, Ziyuan Gao, Sanjay Jain 0001, Wei Li 0050, Frank Stephan 0001 |
Learnability and positive equivalence relations. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ian McQuillan |
New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sina Shiehian |
mrNISC from LWE with polynomial modulus. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Hamano |
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alice Raffaele, Matteo Zavatteri |
Reducing the number of disjuncts in DTPs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ari Shaller, Linir Zamir, Mehrdad Nojoumian |
Roadmap of post-quantum cryptography standardization: Side-channel attacks and countermeasures. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohua Chen 0001, Xiaotie Deng, Wenhan Huang, Hanyu Li, Yuhao Li 0002 |
On tightness of Tsaknakis-Spirakis descent methods for approximate Nash equilibria. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiming Feng 0001, Heng Guo 0001, Jiaheng Wang 0002 |
Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy H. McNicholl, Diego A. Rojas |
Effective notions of weak convergence of measures on the real line. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Afshari, Dominik Wehr |
Exact bounds for acyclic higher-order recursion schemes. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
Pspace-completeness of the temporal logic of sub-intervals and suffixes. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Mrykhin, Alexander Okhotin |
On hardest languages for one-dimensional cellular automata. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch |
To be announced. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kostolányi |
Bideterministic weighted automata. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers |
Synchronous t-resilient consensus in arbitrary graphs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
Can Romeo and Juliet meet? Or rendezvous games with adversaries on graphs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
Location automata for regular expressions with shuffle and intersection. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwei Li, Michael Walter 0001 |
Improving convergence and practicality of slide-type reductions. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Chudnovsky, Shenwei Huang, Pawel Rzazewski, Sophie Spirkl, Mingxian Zhong |
Complexity of Ck-coloring in hereditary classes of graphs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berglund, Henrik Björklund, Johanna Björklund, Adrien Boiret |
Transduction from trees to graphs through folding. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hunsberger, Roberto Posenato |
A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hayato Takahashi 0001 |
Bayesian definition of random sequences with respect to conditional probabilities. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack H. Lutz, Neil Lutz, Elvira Mayordomo |
Extending the reach of the point-to-set principle. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cai-Xia Wang, Yu Yang, Shou-Jun Xu |
Algorithmic aspects of secure domination in unit disk graphs. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Giancarlo, Giovanni Manzini, Antonio Restivo, Giovanna Rosone, Marinella Sciortino |
A new class of string transformations for compressed text indexing. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
Usefulness of information and decomposability of unary regular languages. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager, Masoud Ebrahimi 0002, Roderick Bloem |
Learning Mealy machines with one timer. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Prusa |
Weight-reducing Turing machines. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Garner |
Hypernormalisation in an abstract setting. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis E. Dyreson, M. A. Manazir Ahsan |
Achieving sequenced SQL with log-segmented timestamps. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shota Nagahama, Fukuhito Ooshita, Michiko Inoue |
Ring exploration of myopic luminous robots with visibility more than one. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Kavanagh |
Fairness and communication-based semantics for session-typed languages. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy |
Load balanced distributed directories. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Berndt 0001, Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk |
Learning residual alternating automata. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lauri Hella, Antti Kuusisto, Raine Rönnholm |
Bounded game-theoretic semantics for modal mu-calculus. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Becher, Serge Grigorieff |
Randomness and uniform distribution modulo one. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarkko Peltomäki, Ville Salo |
Automatic winning shifts. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license