yusuke1997/dblp-id-title huggingface dataset:
The non-inclusive g -good-neighbor diagnosability of interconnection networks
Matrix approach to spanning matroids of rough sets and its application to attribute reduction
Small Universal Turing Machines
Hypothetical Datalog: Complexity and Expressibility
A 13k-kernel for planar feedback vertex set via region decomposition
Classification des cartes pointées de genre 1 et relation fonctionelle associée
Of robot ants and elephants: A computational comparison
Revocable identity-based encryption with server-aided ciphertext evolution
Substitution in non-wellfounded syntax with variable binding
Formal semantics of a classical-quantum language
Type checking and typability in domain-free lambda calculi
Automates Boustrophédon et Mots Infinis
Zeros of Z -Rational Functions and D0L Equivalence
Algorithmic results in secure total dominating sets on graphs
Large independent sets in random regular graphs
Block reversal on finite words
Satisfying subtype inequalities in polynomial space
The predecessor-existence problem for k-reversible processes
Some linear recurrences and their combinatorial interpretation by means of regular languages
A Steiner-point-based algorithm for approximate shortest paths in weighted equilateral-triangle meshes
Equality is a Jump
Quantum inductive inference by finite automata
Directed width parameters and circumference of digraphs
Dynamic Programming with Convexity, Concavity, and Sparsity
Application of Max-Plus algebra to biological sequence comparisons
On Martin-Löf (non-)convergence of Solomonoff's universal mixture
On A-Truth-Table-Hard Languages
Locally finite languages
On the efficiency of Influence-and-Exploit strategies for revenue maximization under positive externalities
Principal Type Scheme and Unification for Intersection Type Discipline
Cycles in folded hypercubes with two adjacent faulty vertices
On the modulo degree complexity of Boolean functions
Some new results on equitable tree-coloring parameters of graphs
Swept regions and surfaces: Modeling and volumetric properties
Fast exact algorithm for L(2, 1)-labeling of graphs
Fuzzy rough granular self-organizing map and fuzzy rough entropy
Distributed Sorting Algorithms for Multi-Channel Broadcast Networks
Specification and refinement of mobile systems in MTLA and mobile UML
Performance measure sensitive congruences for Markovian process algebras
A predicative and decidable characterization of the polynomial classes of languages
On the size of computationally complete hybrid networks of evolutionary processors
On the satisfiability threshold of formulas with three literals per clause
Classical, quantum and nonsignalling resources in bipartite games
Optimal pricing policy design for selling cost-reducing innovation in Cournot games
An improved ranking methodology for malignant carcinoma in multicriterian decision making using hesitant VIKOR fuzzy
A uniform semantic proof for cut-elimination and completeness of various first and higher order logics
On maximal instances for the original syntenic distance
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
A Note on Renewal Systems
Cograph generation with linear delay
On the Construction of Parallel Computers from Various Bases of Boolean Functions
Fault tolerance in the arrangement graphs
Finding frequent items in data streams
DNA computing by blocking
Incidence coloring on hypercubes
New bounds for multi-label interval routing
Quasi-Prime Algebraic Domains
Self-deployment of mobile sensors on a ring
A coalgebraic equational approach to specifying observational structures
Lower bounds for special cases of syntactic multilinear ABPs
Post-plus languages
On the Fragmentary Complexity of Symbolic Sequences
Competitive facility location: the Voronoi game
A secure hierarchical deterministic wallet with stealth address from lattices
Explicit versus implicit representations of subsets of the Herbrand universe
Embedding into the rectilinear plane in optimal O(n 2 ) time
Processes of timed Petri nets
Edge-pancyclicity and edge-bipancyclicity of faulty folded hypercubes
Large-Scale Addition of Machine Real Numbers: Accuracy Estimates
Parameterized complexity of determinant and permanent
MSOL partitioning problems on graphs of bounded treewidth and clique-width
The work function algorithm for the paging problem
Using swaps and deletes to make strings match
An approximation algorithm for the precedence constrained scheduling problem with hierarchical communications
Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability
Information dissemination in unknown radio networks with large labels
Linear-space S-table algorithms for the longest common subsequence problem
Unveiling metamorphism by abstract interpretation of code properties
The lattice structure of the set of domino tilings of a polygon
Secure connected domination and secure total domination in unit disk graphs and rectangle graphs
Revocable identity-based encryption with bounded decryption key exposure resistance: Lattice-based construction and more
A fluid analysis framework for a Markovian process algebra
A polynomial double reversal minimization algorithm for deterministic finite automata
On polynomial-time approximation algorithms for the variable length scheduling problem
The h -extra connectivity of k -ary n -cubes
Splittable traffic partition in WDM/SONET rings to minimize SONET ADMs
Immunization against complete subversion without random oracles
Tilings with trichromatic colored-edges triangles
On the decomposition of prefix codes
Recursive Process Definitions with the State Operator
Pursuit evasion on infinite graphs
On Mixed Connectivity Certificates
A generalization of properly colored paths and cycles in edge-colored graphs
Palindromic richness for languages invariant under more symmetries
2-Connecting outerplanar graphs without blowing up the pathwidth
On the Inductive Inference of Recursive Real-Valued Functions
On the mixed domination problem in graphs
Decision-making based on approximate and smoothed Pareto curves
Finite-state analysis of two contract signing protocols
Optimal Scheduling Algorithms for Parallel Gaussian Elimination
On parallel recognition of cographs
Energy complexity of regular languages
Signals in One-Dimensional Cellular Automata
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation
An improved approximation algorithm for single machine scheduling with job delivery
On the number of occurrences of all short factors in almost all words
Turing degrees of multidimensional SFTs
The Complexity Properties of Probabilistic Automata with Isolated Cut Point
On coalgebras over algebras
Covering Numbers of Rotations
Direct product primality testing of graphs is GI-hard
On binary ⊕-NFAs and succinct descriptions of regular languages
Towards new characterizations of small circuit classes via discrete ordinary differential equations
Inapproximability of maximal strip recovery
Binary block order Rouen Transform
A parameterized view on matroid optimization problems
Domains for Logic Programming
Prefix-free languages: Left and right quotient and reversal
Succinct navigational oracles for families of intersection graphs on a circle
Applications of graphical condensation for enumerating matchings and tilings
In memoriam Prof. Dr. math. Ingo Wegener, 1950-2008
Digital distance functions on three-dimensional grids
Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
Reliability evaluation for a class of recursive match networks
Extended strings and graphs for simple gene assembly
On a Public-Key Cryptosystem Based on Iterated Morphisms and Substitutions
Concurrent multicast in weighted networks
On the membership of invertible diagonal and scalar matrices
Context-free commutative grammars with integer counters and resets
Disjunction property and complexity of substructural logics
On Generalized DT0L Systems and Their Fixed Points
A series of algorithmic results related to the iterated hairpin completion
Counting vanishing matrix-vector products
Approximating fault-tolerant group-Steiner problems
A Universal Formalism to Express Decompositions, Functional Dependencies and Other Constraints in a Relational Database
Applications of the Chinese remainder theorem to reaction systems with duration
The First-Order Theory of Lexicographic Path Orderings is Undecidable
On the complexity of the representation of simplicial complexes by trees
Cubical local partial orders on cubically subdivided spaces - Existence and construction
Absolutely no free lunches!
A bijective variant of the Burrows-Wheeler Transform using V-order
Distributed Concurrent Linear Logic Programming
Coloring Artemis graphs
Multi-periodic neural coding for adaptive information transfer
Solving Related Two-and Three-Dimensional Linear Programming Problems in Logarithmic Time
A proof of the Krohn-Rhodes Decomposition Theorem
Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation
On the Complexity of Algorithms on Recursive Trees
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
A discipline of evolutionary programming
On Parikh slender context-free languages
Maximum bipartite matchings with low rank data: Locality and perturbation analysis
Defaults in Domain Theory
Quantum circuits with classical channels and the principle of deferred measurements
Complexity of Normal Form Grammars
A 3n-Lower Bound on the Network Complexity of Boolean Functions
Profit Maximization problem with Coupons in social networks
Approximately optimal trees for group key management with batch updates
More results on weighted independent domination
Twisted Jacobi intersections curves
Left and right adjoint operations on spaces and data types
The hull number in the convexity of induced paths of order 3
Orbit expandability of automaton semigroups and groups
A Pumping Lemma for Real-Time Deterministic Context-Free Languages
Theory of 2-Structures, Part II: Representation Through Labeled Tree Families
Unambiguous 1-uniform morphisms
Dynamical Recognizers: Real-Time Language Recognition by Analog Computers
Learning Boolean logic models of signaling networks with ASP
Powers of low rank sparse matrices
The Covering Canadian Traveller Problem
Bidder optimal assignments for general utilities
Approximating the maximum multiple RNA interaction problem
Data locality and replica aware virtual cluster embeddings
On the structure of linear apex NLC graph grammars
The Inclusion Problem for Some Subclasses of Context-Free Languages
Uniform multi-agent deployment on a ring
An improved approximation ratio for the jump number problem on interval orders
An Algebra of Concurrent Non-Deterministic Processes
A Relation Algebraic Model of Robust Correctness
On the complexity of singly connected vertex deletion
Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference
Fundamentals of Computation Theory
Fuzzy rough granular neural networks, fuzzy granules, and classification
A Compositional Axiomatization of Statecharts
When should you wait before updating? - Toward a robustness refinement
Power domination in block graphs
On the semantics of Alice&Bob specifications of security protocols
Solutions for the stable roommates problem with payments
Towards a Proof Theory of Rewriting: The Simply Typed 2lambda-Calculus
David Michael Ritchie Park (1935-1990) in Memoriam
Asymptotic non-learnability of universal agents with computable horizon functions
An annotated bibliography on guaranteed graph searching
Equational axiomatizability for coalgebra
State complexity of binary coded regular languages
An evaluation function for the game of amazons
Decimation-invariant sequences and their automaticity
Formal analysis of Kerberos 5
Generalizations of suffix arrays to multi-dimensional matrices
Universal coalgebra: a theory of systems
Powers in a class of A-strict standard episturmian words
Edge deletion problems: Branching facilitated by modular decomposition
A Characterization of Passing Compatibility for Parameterized Specifications
A general approach to deriving the g -good-neighbor conditional diagnosability of interconnection networks
Decomposable multi-parameter matroid optimization problems
Logical Foundations for Programming Semantics
Upper tail analysis of bucket sort and random tries
Identification of biological regulatory networks from Process Hitting models
A Combinatorial Approach to Nonlinear Functional Expansions: An Introduction with an Example
On the hardness of covering-interdiction problems
Relating defeasible and normal logic programming through transformation properties
An O(n) Time Hierarchical Tree Algorithm for Computing Force Field in n-Body Simulations
Tighter bounds for the sum of irreducible LCP values
The price of anarchy for polynomial social cost
On the gap between separating words and separating their reversals
Combinatorial structure and randomized subexponential algorithms for infinite games
A generalization of repetition threshold
The impact of lexicographic parsimony pressure for ORDER/MAJORITY on the run time
A tight linear bound on the synchronization delay of bijective automata
A time lower bound for satisfiability
An Explicit Construction of Short Monotone Formulae for the Monotone Symmetric Functions
Real Numbers - Foreword
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
Channel graphs of bit permutation networks
Input-driven languages are linear conjunctive
The Othello game on an n*n board is PSPACE-complete
The μ -Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
Systolic Trees and Systolic Language Recognition by Tree Automata
Optimization techniques for small matrix multiplication
Computing in General Abelian Groups is Hard
Generalized relations in linguistics & cognition
Combining linear logic and size types for implicit complexity
Twin-roots of words and their properties
Une Caracterisation des Fonctions Sequentielles et des Fonctions Sous-Sequentielles en tant que Relations Rationnelles
Optimizing airspace closure with respect to politicians' egos
Handsome proof-nets: perfect matchings and cographs
Conservative and aggressive rough SVR modeling
A P systems variant for reasoning about sequential controllability of Boolean networks
Extending the Type Checker of Standard ML by Polymorphic Recursion
Parallel communicating grammar systems with regular control and skeleton preserving FRR automata
A linear-time algorithm for finding Hamiltonian (s, t)-paths in even-sized rectangular grid graphs with a rectangular hole
Complexity and kernels for bipartition into degree-bounded induced graphs
Improved unbounded inner-product functional encryption
Scheduling broadcasts with deadlines
PSPACE has constant-round quantum interactive proof systems
Cavity detection and matching for binding site recognition
Affine systems of equations and counting infinitary logic
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
A note on the Burrows - CWheeler transformation
A pumping lemma for random permitting context languages
On alpha-adic expansions in Pisot bases
The loop formula based semantics of description logic programs
Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process
r -component diagnosability of hypercubes under the PMC model
Decomposition of a hypergraph by partial-edge separators
Avoidability of circular formulas
Pruning Terms for Principal Type Assignment
Ostrowski-automatic sequences: Theory and applications
Preference swaps for the stable matching problem
In Memoriam Calvin C. Elgot
Sprague-Grundy function of matroids and related hypergraphs
On the design of a constructive algorithm to solve the multi-peg towers of Hanoi problem
Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes
Attack on RSA-Type Cryptosystems Based on Singular Cubic Curves over Z/nZ
Semi-online hierarchical load balancing problem with bounded processing times
Postfix automata
On minimaxity of Follow the Leader strategy in the stochastic setting
On the Fredholm Determinant of a Piecewise Linear Transformation
Improved approximation algorithms for solving the squared metric k -facility location problem
A probabilistic PTAS for shortest common superstring
A multiset-based model of synchronizing agents: Computability and robustness
A game-theoretic characterization of Boolean grammars
A Linear Time Algorithm for Computing the Most Reliable Source on a Series-Parallel Graph with Unreliable Edges
Isolation concepts for clique enumeration: Comparison and computational experiments
Hierarchies of tree series transformations
Geometric planar networks on bichromatic collinear points
Efficient Massively Parallel Implementation of some Combinatorial Algorithms
Refuting learning revisited
A Control Flow Analysis for Beta-binders with and without static compartments
PAC learnability under non-atomic measures: A problem by Vidyasagar
Structure fault tolerance of balanced hypercubes
Determination of Q-convex sets by X-rays
Compositional synthesis of state-dependent switching control
Revenue maximization in a Bayesian double auction market
Simple and efficient network decomposition and synchronization
Translational Lemmas, Polynomial Time, and (log n)^j-Space
Symmetrized beta-integers
Mixed Nash equilibria in selfish routing problems with dynamic constraints
Recursive definitions and fixed-points on well-founded structures
The cover time of deterministic random walks for general transition probabilities
The power of random counterexamples
An exact correspondence between a typed pi-calculus and polarised proof-nets
Choosing starting values for certain Newton-Raphson iterations
Terminal-pairability in complete bipartite graphs with non-bipartite demands: Edge-disjoint paths in complete bipartite graphs
Chosen-ciphertext lattice-based public key encryption with equality test in standard model
On the Power of Inductive Inference from Good Examples
On the minimal components of substitution subshifts
A Shorter Proof to Uniqueness of Solutions of Equations
A single factor approximation ratio algorithm for DR-submodular maximization on integer lattice beyond non-negativity and monotonicity
Chu spaces as a semantic bridge between linear logic and mathematics
Playing with Conway's problem
Entailment systems for stably locally compact locales
A Family of Graphs with Expensive Depth Reduction
Online scheduling in a parallel batch processing system to minimize makespan using restarts
On the rectangle escape problem
Hyper-polynomial hierarchies and the polynomial jump
From individuals to populations: A mean field semantics for process algebra
On being a student of John Reynolds
Editorial for Algorithmic Aspects of Wireless Sensor Networks
On the power of incremental learning
Discovery of network properties with all-shortest-paths queries
Computational aspects of sturdy and flimsy numbers
Observational Structures and Their Logics
Succinct strictly convex greedy drawing of 3-connected plane graphs
Trees, grids, and MSO decidability: From graphs to matroids
Digraph decompositions and monotonicity in digraph searching
An optimal deterministic algorithm for online b-matching
On sets of numbers accepted by P/T systems composed by join
An axiomatization of bisimulation quantifiers via the mu-calculus
Realizing semicomputable simplices by computable dynamical systems
The Finite Power Property for Context-Free Languages
Magnifying computing gaps: Establishing encrypted communication over unidirectional channels
TCS Special Issue on Languages and Combinatorics in Theory and Nature
P systems with symport/antiport rules: When do the surroundings matter?
Defensive alliances in graphs
Algorithmic analysis for ridesharing of personal vehicles
On Diagonal Fixed Points of Increasing Functions
Independent sets of maximum weight beyond claw-free graphs and related problems
Exact and approximate bandwidth
Quantitative estimates for the size of an intersection of sparse automatic sets
Multi-key fully homomorphic encryption from NTRU and (R)LWE with faster bootstrapping
Axiomatization of frequent itemsets
Computational Complexity of Real Functions
Efficient methods for selfish network design
Large width nearest prototype classification on general distance spaces
Computability on Computable Metric Spaces
Precedence-inclusion patterns and relational learning
Optimality of some algorithms to detect quasiperiodicities
The min-move mutual visibility problem for disoriented asynchronous robots
Selfish cops and active robber: Multi-player pursuit evasion on graphs
A System for Automatically Generating Documentation for (C)LP Programs
Fixed points of Sturmian morphisms and their derivated words
Contraction and deletion blockers for perfect graphs and H -free graphs
New approximation algorithm for RTILE problem
Kochen-Specker sets and Hadamard matrices
Refinement of Actions in Event Structures and Causal Trees
Efficient Algorithms for Shortest Distance Queries on Special Classes of Polygons
Constructive root bound for k-ary rational input numbers
A new analysis of a self-stabilizing maximum weight matching algorithm with approximation ratio 2
Agreement forests of caterpillar trees: Complexity, kernelization and branching
A fast asymptotic approximation scheme for bin packing with rejection
Interprétation géométrique de l'algorithme d'Euclide et reconnaissance de segments
The Technique of Trilinear Aggregating and the Recent Progress in the Asymptotic Acceleration of Matrix Operations
SAT-based bounded model checking for propositional projection temporal logic
Exploration of carrier-based time-varying networks: The power of waiting
Shifts of k-nested sequences
Theoretical Computer Science in Italy
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
On the Planar Monotone Computation of Boolean Functions
Is Strategic Programming a Viable Paradigm?
Bio-PEPA: A framework for the modelling and analysis of biological systems
Inverse Monoids of Dot-Depth Two
Theory of Evolutionary Algorithms: A Bird's Eye View
Exhausting strategies, joker games and full completeness for IMLL with Unit
Corrigendum: An O(n^lgk . 2^n/2) Time and O(k . 2^n/2) Space Algorithm for Certain NP-Complete Problems
Finding consensus and optimal alignment of circular strings
A direct proof of the confluence of combinatory strong reduction
Computational power of sequential dendrite P systems
Generalized Language Equations with Multiple Solutions
Maximum number of distinct and nonequivalent nonstandard squares in a word
ω -Lyndon words
On Almost Cylindrical Languages and the Decidability of the D0L and PWD0L Primitivity Problems
Algorithms and hardness results for edge total domination problem in graphs
Higher-Order Unification via Combinators
Routing algorithm for multicast under multi-tree model in optical networks
Operational Interpretations of Linear Logic
Probabilities, distribution monads, and convex categories
Computational modelling of the kinetic Tile Assembly Model using a rule-based approach
A Space Bound for One-Tape Multidimensional Turing Machines
Reconstruction of convex lattice sets from tomographic projections in quartic time
Asigning a Single Server to Inhomogeneous Queues with Switching Costs
A tight characterization of strategic games with a unique equilibrium
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards
Reconstructing Convex Polyominoes from Horizontal and Vertical Projections
New algorithms for weighted k -domination and total k -domination problems in proper interval graphs
The power of reachability testing for timed automata
On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based
Relationships Between Classes of Monotonic Functions
Generating all permutations by context-free grammars in Greibach normal form
Enhancements of partitioning techniques for image compression using weighted finite automata
Deterministic Simulation of Tape-Bounded Probabilistic Turing Machine Transducers
A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem