Login / Signup
Inf. Comput.
1987
1997
2012
2024
1987
2024
Keyphrases
Publications
volume 301, 2024
Charles J. Colbourn
,
Violet R. Syrotiuk
Detecting arrays for effects of multiple interacting factors.
Inf. Comput.
301 (2024)
Franz Winkler
Symbolic computation in algebra, geometry, and differential equations.
Inf. Comput.
301 (2024)
Anton Betten
,
Svetlana Topalova
,
Stela Zhelezova
On parallelisms of PG(3,4) with automorphisms of order 2.
Inf. Comput.
301 (2024)
Anshuman Misra
,
Ajay D. Kshemkalyani
Detecting causality in the presence of Byzantine processes: The case of synchronous systems.
Inf. Comput.
301 (2024)
Yixin Cao
,
Hanchun Yuan
,
Jianxin Wang
Modification problems toward proper (Helly) circular-arc graphs.
Inf. Comput.
301 (2024)
Milan Basic
,
Aleksandar Ilic
,
Aleksandar Stamenkovic
Maximal diameter of integral circulant graphs.
Inf. Comput.
301 (2024)
Giovanni Pagliarini
,
Simone Scaboro
,
Giuseppe Serra
,
Guido Sciavicco
,
Ionel Eduard Stan
Neural-symbolic temporal decision trees for multivariate time series classification.
Inf. Comput.
301 (2024)
Stefano Crespi-Reghizzi
,
Pierluigi San Pietro
Regular languages as images of local functions over small alphabets.
Inf. Comput.
301 (2024)
Peter Kostolányi
Weighted automata and logics meet computational complexity.
Inf. Comput.
301 (2024)
Christel Baier
,
Krishnendu Chatterjee
,
Tobias Meggendorfer
,
Jakob Piribauer
Entropic risk for turn-based stochastic games.
Inf. Comput.
301 (2024)
Marko D. Petkovic
,
Predrag S. Stanimirovic
Zeroing neural network based on the equation AXA = A.
Inf. Comput.
301 (2024)
Frederic Dörband
,
Zoltán Fülöp
,
Heiko Vogler
Rational weighted tree languages with storage.
Inf. Comput.
301 (2024)
Marios Adamoudis
,
Konstantinos A. Draziotis
,
Dimitrios Poulakis
Attacking (EC)DSA with partially known multiples of nonces.
Inf. Comput.
301 (2024)
Miroslav Ciric
,
Manfred Droste
,
Jean-Éric Pin
Preface.
Inf. Comput.
301 (2024)
volume 300, 2024
Eduardo Skapinakis
Secretive interaction.
Inf. Comput.
300 (2024)
Benjamin Bisping
,
Luisa Montanari
Characterizing contrasimilarity through games, modal logic, and complexity.
Inf. Comput.
300 (2024)
Nengkun Yu
Quantum temporal logic and reachability problems of matrix semigroups.
Inf. Comput.
300 (2024)
Yakoub Salhi
,
Michael Sioutis
On prime scenarios in qualitative spatial and temporal reasoning.
Inf. Comput.
300 (2024)
Hans L. Bodlaender
,
Carla Groenland
,
Jesper Nederlof
,
Céline M. F. Swennenhuis
Parameterized problems complete for nondeterministic FPT time and logarithmic space.
Inf. Comput.
300 (2024)
Rui Yan
,
Gabriel Santos
,
Gethin Norman
,
David Parker
,
Marta Kwiatkowska
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games.
Inf. Comput.
300 (2024)
Mika Göös
,
Ziyi Guan
,
Tiberiu Mosnoi
Depth-3 circuits for inner product.
Inf. Comput.
300 (2024)
Xiaojuan Zhang
,
Gang Yang
,
Changxiang He
,
Ralf Klasing
,
Yaping Mao
The number of spanning trees for Sierpiński graphs and data center networks.
Inf. Comput.
300 (2024)
Hans Hüttel
,
Stian Lybech
,
Alexander Rønning Bendixen
,
Bjarke Bredow Bojesen
A generic type system for higher-order Ψ-calculi.
Inf. Comput.
300 (2024)
Yu Yang
,
Cai-Xia Wang
,
Shou-Jun Xu
Total (restrained) domination in unit disk graphs.
Inf. Comput.
300 (2024)
Davide Bresolin
,
Pieter Collins
,
Luca Geretti
,
Roberto Segala
,
Tiziano Villa
,
Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems.
Inf. Comput.
300 (2024)
volume 299, 2024
Tingfang Wu
,
Luis Valencia-Cabrera
,
Mario J. Pérez-Jiménez
,
Linqiang Pan
Spiking neural P systems with mute rules.
Inf. Comput.
299 (2024)
Dimitrios Poulakis
,
George Rahonis
Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022.
Inf. Comput.
299 (2024)
Norbert Hegyvári
The complexity of subcube partition relates to the additive structure of the support.
Inf. Comput.
299 (2024)
Chao Yang
,
Ruiling Wu
,
Xiaobing Sun
,
Qichao Wang
,
Yongming Li
Relative approximate bisimulations for fuzzy picture automata.
Inf. Comput.
299 (2024)
Argyrios Deligkas
,
Michelle Döring
,
Eduard Eiben
,
Tiger-Lily Goldsmith
,
George Skretas
Being an influencer is hard: The complexity of influence maximization in temporal graphs with a fixed source.
Inf. Comput.
299 (2024)
George Barmpalias
,
Wei Wang
Pathwise-randomness and models of second-order arithmetic.
Inf. Comput.
299 (2024)
volume 298, 2024
Kirstin Peters
,
Nobuko Yoshida
Mixed choice in session types.
Inf. Comput.
298 (2024)
Virgile Dossou-Yovo
,
Abderrahmane Nitaj
,
Alain Togbé
Solving modular cubic equations with Coppersmith's method.
Inf. Comput.
298 (2024)
Satyadev Nandakumar
,
Subin Pulari
,
Akhil S
Finite-state relative dimension, dimensions of A. P. subsequences and a finite-state van Lambalgen's theorem.
Inf. Comput.
298 (2024)
Jinshan Zhang
,
Xiaoye Miao
,
Meng Xi
,
Tianyu Du
,
Jianwei Yin
A truthful near-optimal mechanism for online linear packing-covering problem in the random order model.
Inf. Comput.
298 (2024)
Florian Bruse
,
Martin Lange
Model checking timed recursive CTL.
Inf. Comput.
298 (2024)
Shaoliang Ye
,
Wei Yang
,
Liusheng Huang
Characterization of exact two-query quantum algorithms.
Inf. Comput.
298 (2024)
Christina Boucher
,
Davide Cenzato
,
Zsuzsanna Lipták
,
Massimiliano Rossi
,
Marinella Sciortino
r-indexing the eBWT.
Inf. Comput.
298 (2024)
volume 297, 2024
Stian Lybech
The reflective higher-order calculus: Encodability, typability and separation.
Inf. Comput.
297 (2024)
Wenjie Bai
,
Jeremiah Blocki
,
Mohammad Hassan Ameri
Cost-asymmetric memory hard password hashing.
Inf. Comput.
297 (2024)
Hideo Bannai
,
Juha Kärkkäinen
,
Dominik Köppl
,
Marcin Piatkowski
Constructing and indexing the bijective and extended Burrows-Wheeler transform.
Inf. Comput.
297 (2024)
Jinjie Gao
,
Haibin Kan
,
Yuan Li
,
Jiahua Xu
,
Qichun Wang
Monomial Boolean functions with large high-order nonlinearities.
Inf. Comput.
297 (2024)
Fengrong Zhang
,
Enes Pasalic
,
Amar Bapic
,
Baocang Wang
Constructions of several special classes of cubic bent functions outside the completed Maiorana-McFarland class.
Inf. Comput.
297 (2024)
Yong Chen
,
Zhi-Zhong Chen
,
Curtis Kennedy
,
Guohui Lin
,
Yao Xu
,
An Zhang
Approximating the directed path partition problem.
Inf. Comput.
297 (2024)
Neil Lutz
,
Donald M. Stull
Projection theorems using effective dimension.
Inf. Comput.
297 (2024)
Massimo Benerecetti
,
Daniele Dell'Erba
,
Fabio Mogavero
Solving mean-payoff games via quasi dominions.
Inf. Comput.
297 (2024)
Ilaria Chillotti
,
Emmanuela Orsini
,
Peter Scholl
,
Barry Van Leeuwen
Scooby: Improved multi-party homomorphic secret sharing based on FHE.
Inf. Comput.
297 (2024)
George Barmpalias
,
Xiaoyan Zhang
Growth and irreducibility in path-incompressible trees.
Inf. Comput.
297 (2024)
Alen Arslanagic
,
Jorge A. Pérez
,
Anda-Amelia Palamariuc
Minimal session types for the π-calculus.
Inf. Comput.
297 (2024)
volume 296, 2024
Ashwin Bhaskar
,
M. Praveen
Realizability problem for constraint LTL.
Inf. Comput.
296 (2024)