yusuke1997/dblp-id-title huggingface dataset:
Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants
Reconciling description logics and rules
On the Switch Markov Chain for Perfect Matchings
Expected Length of the Longest Probe Sequence in Hash Code Searching
On the relationship between LL(1) and LR(1) grammars
Semaphore primitives and starvation-free mutual exclusion
Computing Partitions with Applications to the Knapsack Problem
Principles of Optimal Page Replacement
Settling the complexity of computing two-player Nash equilibria
Expected Constant Round Byzantine Broadcast under Dishonest Majority
Mean-Value Analysis of Closed Multichain Queuing Networks
Rate-independent Computation in Continuous Chemical Reaction Networks
Letter to the Editor on "A Method for Transposing a Matrix"
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Hydrodynamic Problems Involving Large Fluid Distortions
A Model of Replication
The existence and density of generalized complexity cores
Some Inverse Characteristic Value Problems
Codes: Unequal Probabilities, Unequal Letter Cost
Unrecognizable Sets of Numbers
On Solving Equations and Disequations
Query Lower Bounds for Log-concave Sampling
Sequential Operations in Digital Picture Processing
Verifying Program Performance
Hardness of Approximating Flow and Job Shop Scheduling Problems
Online Bipartite Matching with Amortized O (log 2 n ) Replacements
Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor
Analyzing Network Coding (Gossip) Made Easy
Asynchronous Consensus and Broadcast Protocols
An Evaluation of CPU Efficiency Under Dynamic Quantum Allocation
Schaefer's Theorem for Graphs
Bounds to Complexities of Networks for Sorting and for Switching
A Processor in Series with Demand-Interrupting Devices - A Stochastic Model
Multilevel Queues with Extremal Priorities
A Note on Degrees of Self-Describing Turing Machines
Electrostatic Fields Without Singularities: Theory, Algorithms and Error Analysis
Semi-Implicit Runge-Kutta Procedures with Error Estimates for the Numerical Integration of Stiff Systems of Ordinary Differential Equations
A Stability Criterion for Numerical Integration
Union-Copy Structures and Dynamic Segment Trees
A Class of Implicit Runge-Kutta Methods for the Numerical Integration of Stiff Ordinary Differential Equations
A Unified Lower Bound for Selection and Set Partitioning Problems
Compatibility of States in Input-Independent Machines
Stability of the Reduction of a Matrix to Almost Triangular and Triangular Forms by Elementary Similarity Transformations
Lower Bounds on Merging Networks
On Parallel Computation for the Knapsack Problem
Round-Off Error in the Numerical Solution of the Heat Equation
Efficient polynomial-time approximation scheme for the genus of dense graphs
Finding minimum-cost circulations by canceling negative cycles
Recoverable Sequence Transmission Protocols
On a model of indexability and its bounds for range queries
On the composition of authenticated Byzantine Agreement
Syntactic Analysis and Operator Precedence
On the Recognition of Information With a Digital Computer
Trade-offs in probabilistic packet marking for IP traceback
Foundations of Probabilistic and Utility-Theoretic Indexing
The importance of the P versus NP question
New Strong Direct Product Results in Communication Complexity
Turing Machines, Finite Automata and Neural Nets
Monogenic Post Normal Systems of Arbitrary Degree
A "Curve Plotting" Routine for the Inverse Laplace Transform of Rational Functions
On Sturm Sequences for Tridiagonal Matrices
The Wilf Stability Criterion for Numerical Integration
An Algorithm for the Chromatic Number of a Graph
On the Spectral Norms of Several Iterative Processes
Classical physics and the Church-Turing Thesis
Critical Path Scheduling with Resource and Processor Constraints
Letter to the Editor: Optimized Subroutines
Optimal Selection of CPU Speed, Device Capacities, and File Assignments
A Property of Semi-Definite Hermitian Matrices
Optimal Flow Control of an M/M/m Queue
A Scheme for the Automatic Inference of Variable Types
An Example of a Skewing Function
The Complexity of the Equivalence Problem for Simple Programs
Initial Algebra Semantics and Continuous Algebras
Complexity of finite-horizon Markov decision process problems
Deterministic Edge Connectivity in Near-Linear Time
On a Weight Distribution Problem, with Application to the Design of Stochastic Generators
Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition
Synchronizing Clocks in the Presence of Faults
Corrigendum to "A Comparison of Machine Organizations by Their Performance of the Iterative Solution of Linear Equations"
A Dictionary for Minimum Redundancy Encoding
Avoiding Three Consecutive Blocks of the Same Size and Same Sum
One-way nondeterministic real-time list-storage languages
Some Combinatorial Properties of Certain Trees With Applications to Searching and Sorting
The structure of inverses in schema mappings
Finding a maximum likelihood tree is hard
Static analysis in datalog extensions
Syntactical Characterization of a Subset of Domain-Independent Formulas
A Theory of Safe Locking Policies in Database Systems
Maintenance of Geometric Extrema
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions
Shuffles and Circuits (On Lower Bounds for Modern Parallel Computation)
Configuration of VLSI Arrays in the Presence of Defects
An Extension of Milne's Three-Point Method
On conjunctive queries containing inequalities
Special relations in automated deduction
Highly acyclic groups, hypergraph covers, and the guarded fragment
Algorithms for Scheduling Independent Tasks
Mathematical Structure of Nonarithmetic Data Processing Procedures
A Polynomial-Time Algorithm for the Knapsack Problem with Two Variables
A Methodology for Hardware Verification Based on Logic Simulation
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication
Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems
The Structure of an Automaton and Its Operation-Preserving Transformation Group
Solution of Integer Programs with a Quadratic Objective Function
Automated complexity analysis based on ordered resolution
On Binary Constraint Problems
Fair Enough: Guaranteeing Approximate Maximin Shares
Boundary Value Techniques for the Numerical Solution of Certain Initial Value Problems in Ordinary Differential Equations
All pairs shortest paths using bridging sets and rectangular matrix multiplication
On the Interconnection of Asynchronous Control Structures
Experiments with a Heuristic Compiler
Finding a maximum-genus graph imbedding
Optimal Multi-Way Number Partitioning
A Universal Syntax-Directed Top-Down Analyzer
A Procedure for Checking Equality of Regular Expressions
Solving Linear Algebraic Equations on an MIMD Computer
Programming Language for Automata
Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
A general approach to dynamic packet routing with bounded buffers
Analysis of Nets by Numerical Methods
A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures
A Fortran-Compiled List-Processing Language
The Complexity of Parallel Evaluation of Linear Recurrences
A Turing Machine Simulator
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems
Backing up in singly linked lists
A Fast Selection Algorithm and the Problem of Optimum Distribution of Effort
An Approach to Solving Linear Discrete Optimization Problems
The Complexity of Trie Index Construction
The reduction of perturbed Markov generators: an algorithm exposing the role of transient states
Linear Least Squares by Elimination and MGS
Parallel permutation and sorting algorithms and a new generalized connection network
Complete Sets of Reductions for Some Equational Theories
On the Covering and Reduction Problems for Context-Free Grammars
Polling in a Loop System
Learnability and the Vapnik-Chervonenkis dimension
On compiling queries in recursive first-order databases
Deterministic Document Exchange Protocols and Almost Optimal Binary Codes for Edit Errors
A Note on the Downhill Method
Optimum Head Separation in a Disk System with Two Read/Write Heads
Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation
Inference and Paraphrase by Computer
A matrix-algebraic solution to two K m servers in a loop
Concerning the Merging of Equal Length Tape Files
Minimizing Convex Functions with Rational Minimizers
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results
Estimation of Power Spectral Density by Filters
Exact Algorithms via Monotone Local Search
Invited articles foreword
Fast Algorithms for Manipulating Formal Power Series
An efficient algorithm for the "optimal" stable marriage
Deterministic (Δ + 1)-Coloring in Sublinear (in Δ) Time in Static, Dynamic, and Faulty Networks
Getting computers to understand
Practical Aspects of Doubly Chained Trees for Retrieval
Errata: "Performance of Movable-Head Disk Storage Devices"
Bound hierarchies for multiple-class queuing networks
Scheduling Tasks with Nonuniform Deadlines on Two Processors
Simplifying fault-tolerance: providing the abstraction of crash failures
An Efficient Algorithm for Graph Isomorphism
The Equivalence Problem of Simple Programs
A Permutation Network
Fast and accurate algorithms for protein side-chain packing
A Procedure for the Diagonalization of Normal Matrices
Security problems on inference control for SUM, MAX, and MIN queries
Synchronization Problems Solvable by Generalized PV Systems
Routing betweenness centrality
Maximal Order and Order of Information for Numerical Quadrature
Numerical Solution of Parabolic Partial Differential Equations With Two-Point Boundary Conditions by Use of the Method of Lines
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
Undirected connectivity in log-space
On preservation under homomorphisms and unions of conjunctive queries
Stability of binary exponential backoff
Property Testing and its Connection to Learning and Approximation
Linear-Time Suffix Parsing for Deterministic Languages
On the Parsing of Deterministic Languages
On the Numerical Solution of Fredholm Integral Equations of the First Kind by the Inversion of the Linear System Produced by Quadrature
An Algorithm for Generating Stable Feedback Shift Registers of Order n
Computer Time for Address Calculation Sorting
Efficient Routing in Optical Networks
Tabled Evaluation With Delaying for General Logic Programs
Locking Expressions for Increased Database Concurrency
Foreword to Invited Articles Section
Storing a Sparse Table with 0(1) Worst Case Access Time
What Is Computer Science?
A Class of Merging Algorithms
An Optimal Service Policy for Buffer Systems
Satisfiability Is Quasilinear Complete in NQL
Note on a Least Squares Inverse for a Matrix
Aggregating inconsistent information: Ranking and clustering
Sequences of Numbers That Are Approximately Completely Equidistributed
Meager and replete failures of relative completeness
A Polynomial Algorithm for the Min-Cut Linear Arrangement of Trees
Correlation Computation on Analog Devices
Reachability Is in DynFO
Near-optimal Linear Decision Trees for k-SUM and Related Problems
Triangulation and embedding using small sets of beacons
The Complexity of Finite Memory Programs with Recursion
On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages
Invited Paper Foreword
Efficient implementation of graph algorithms using contraction
Public Utility Customer Accounting on the Type 650 Magnetic Drum Data Processing Machine
Inference of Reversible Languages
Algebra of Polynomials in Several Variables for a Digital Computer
On the path length of binary trees
A Family of Quadrature Formulas Which Achieve High Accuracy in Composite Rules
Radix Exchange - An Internal Sorting Method for Digital Computers
Further Results on the Structure of Sequential Machines
On the Complexity of Functions for Random Access Machines
The Share 709 System: A Cooperative Effort
Correction and Addendum: "Organization of a 'Fixed-Plus-Variable' Structure Computer for Computation of Eigenvalues and Eigenvectors of Real Symmetric Matrices"
A Modified Givens Method for the Eigenvalue Evaluation of Large Matrices
Correction to "A Theorem in Database Concurrency Control"
The Share 709 System: Supervisory Control
The Use of Information in Sorting
Stack automata and compiling
Robust principal component analysis?
A "Binary" System for Complex Numbers
A New Kind of Tradeoffs in Propositional Proof Complexity
A Polylogarithmic-Competitive Algorithm for the k -Server Problem
Constant-Round Nonmalleable Commitments from Any One-Way Function
Steiner Tree Approximation via Iterative Randomized Rounding
Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus
An Extension of Romberg Integration Procedures to N-Variables
Universality of Tag Systems with P=2
New Algorithms for Bin Packing
Max-Min Tree Partitioning
A unified theory of shared memory consistency
A Statistical Model for Relevance Feedback in Information Retrieval
Floyd-Hoare Logic in Iteration Theories
Transforming Cabbage into Turnip: Polynomial Algorithm for Sorting Signed Permutations by Reversals
Renaming in an Asynchronous Environment
Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kinds
Survey of Analog Multiplication Schemes
Consensus in the presence of partial synchrony
Analysis of the Address Assignment Problem for Clustered Keys
A Note on Consistent Ordering and Zero Circulation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases
Computation of the Frequency Function of a Quadratic Form in Random Normal Variables
Tractable Hypergraph Properties for Constraint Satisfaction and Conjunctive Queries
Odd-Even Reduction for Banded Linear Equations
An Extension of the String-to-String Correction Problem
On the Automorphism Group of an Automaton
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
An O(n³log n) deterministic and an O(n³) Las Vegs isomorphism test for trivalent graphs
Optimal Sequential Partitions of Graphs
The topological structure of asynchronous computability
An Efficient and Fast Parallel-Connected Component Algorithm
The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live
A Randomized Linear-Time Algorithm to Find Minimum Spanning Trees
A Simple Sorting Algorithm
Verification Decidability of Presburger Array Programs
The Traveling Salesman Problem in Graphs with 3-Edge Cutsets
Testing first-order properties for subclasses of sparse graphs
Equipment Reliability as Applied to Analogue Computers
Greed Sort: Optimal Deterministic Sorting on Parallel Disks
Simple constant-time consensus protocols in realistic failure models
Random-Access Stored-Program Machines, an Approach to Programming Languages
Equational Inference, Canonical Proofs, and Proof Orderings
A theorem in database concurrency control
Solution of Algebraic and Transcendental Equations on an Automatic Digital Computer
Dominantly Truthful Peer Prediction Mechanisms with a Finite Number of Tasks
Origin and Development of the Chinese Abacus
Electing a leader in a synchronous ring
The Fanout Structure of Switching Functions
Information Bounds Are Weak in the Shortest Distance Problem
Proof, Completeness, Transcendentals, and Sampling
An in-depth analysis of stochastic Kronecker graphs
Parenthesis Grammars
An improved exponential-time algorithm for k -SAT
A Modified Method of Latent Class Analysis for File Organization in Information Retrieval
Real-Time Simulation of Multihead Tape Units
A Performance Evaluation of Several Priority Policies for Parallel Processing Systems
Generalized Multistep Methods in Satellite Orbit Computation
A Midpoint Phenomenon
Lattice Properties of Sequential Machines
XML Schema Mappings: Data Exchange and Metadata Management
An Algorithm for the Bounded Variable Integer Programming Problem
The Limitations of Optimization from Samples
The Weak Byzantine Generals Problem
Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time
A sound and sometimes complete query evaluation algorithm for relational databases with null values
Timed regular expressions
Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
Mechanical Theorem-Proving by Model Elimination
Cost Trade-offs in Graph Embeddings, with Applications
Periodicity and unbordered words: A proof of the extended duval conjecture
Introduction to PODS 2006 special section
Understanding TCP Vegas: a duality model
Algebraic Specification of Statistical Models for Analysis of Variance Computations
Analog Interpolator for Automatic Control
Optimal Bounds for the k -cut Problem
Modularity of Cycles and Paths in Graphs
Systems of linear equations with dense univariate polynomial coefficients
Two-Way String Matching
Computer Time-Sharing Queues with Priorities
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems
A Domain-theoretic Approach to Statistical Programming Languages
Index Register Allocation
A Sufficient Condition for Backtrack-Free Search
On the k-Server Conjecture
Synthesis of a Feedback Queueing Discipline for Computer Operation
The Price of Anarchy of Strategic Queuing Systems
A New Algorithm for Euclidean Shortest Paths in the Plane
A Time-Space Trade-Off
Compressing and indexing labeled trees, with applications
Multiobjective A * search with consistent heuristics
Fast Text Searching for Regular Expressions or Automaton Searching on Tries
Linear Algorithm for Data Compression via String Matching
Differential Equation Invariance Axiomatization
An Algorithm for Finding a Minimum Equivalent Graph of a Digraph
"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic
Toward Verifying Nonlinear Integer Arithmetic
Nonuniform ACC Circuit Lower Bounds
A Proof Procedure for Data Dependencies
Testing Closeness of Discrete Distributions
Characterizing the Storage Process and Its Effect on the Update of Main Memory by Write Through
n-Evaluation Conjecture for Multipoint Iterations for the Solution of Scalar Nonlinear Equations
The Design and Use of Hazard-Free Switching Networks
Counterexample-guided abstraction refinement for symbolic model checking
One-Pass Complexity of Digital Picture Properties
Approximation Schemes for Covering and Packing Problems in Image Processing and VLSI
Generating Binary Trees Using Rotations
Convergence Problems in Maehly's Second Method: Part II
Measurement Bias in Feedback Queues
Document Association and Classification Based on L-Languages
Maximum Processing Rates of Memory Bound Systems
Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality
Beyond separation of duty: An algebra for specifying high-level security policies
Location of the Maximum on Unimodal Surfaces
A Study of Methods for Systematically Abbreviating English Words and Names
Applications of Ramsey's Theorem to Decision Tree Complexity
Time-Shared Computer Operations With Both Interarrival and Service Times Exponential
On Approximation Methods for the Assignment Problem
Resultant Procedure and the Mechanization of the Graeffe Process
A New Class of Automated Theorem-Proving Algorithms
System Handling of Functional Operators
Enumeration of Fanout-Free Boolean Functions
Computer Generation of Optimized Subroutines
On the Need for Large Quantum Depth
The Perspective Representation of Functions of Two Variables
Recontamination Does Not Help to Search a Graph
A Queueing Model of Multiprogrammed Computer Systems Under Full Load Conditions
Nearly Optimal Algorithms and Bounds for Multilayer Channel Routing
File Organization: On the Selection of Random Access Index Points for Sequential Files
A New General Derandomization Method
On the minimal synchronism needed for distributed consensus
Nearly Optimal Pseudorandomness from Hardness
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL( T )
An efficient algorithm for image segmentation, Markov random fields and related problems
Primes with a Prime Subscript
Characterization and Theoretical Comparison of Branch-and-Bound Algorithms for Permutation Problems
Beyond Two-Phase Locking
Nonnormality and Jordan Condition Numbers of Matrices
On the Linear Convergence of a Covariance Factorization Algorithm
Tables of the Generalized Stirling Numbers of the First Kind
The Concept of Demodulation in Theorem Proving
A Formalization of Transition Diagram Systems
Coin Flipping of Any Constant Bias Implies One-Way Functions
A Finite-Source Queue with Different Customers
Breaking the O ( n 2 ) bit barrier: Scalable byzantine agreement with an adaptive adversary
Parallel Asynchronous Algorithms for Discrete Data
Optimal Attach and Reinforcement of a Network
Updating the Product Form of the Inverse for the Revised Simplex Method
On the maximum satisfiability of random formulas
Statistical Discrimination of the Synonymy/Antonymy Relationship Between Words
Communication Lower Bounds Using Directional Derivatives
Initializing generalized feedback shift register pseudorandom number generators
On the Demonstration of High-Speed Digital Computers
Rational Approximations to the Exponential Function
Optimal Covering Algorithms in Methods of Search for Solving Polynomial Equations
Graph Structures
Bounds on the Complexity of the Longest Common Subsequence Problem
Effect of Propagated Error on Inverse of Hilbert Matrix
Tape Sets and Automata
A minimum spanning tree algorithm with Inverse-Ackermann type complexity
Equivalence, Reversibility, Symmetry and Concavity Properties in Fork-Join Queueing Networks with Blocking
Words in the History of a Turing Machine with a Fixed Input
On-line routing of virtual circuits with applications to load balancing and machine scheduling
A Decision Procedure for the Correctness of a Class of Programs
A General Model for the Performance of Disk Systems
Condensation and Look-Up Procedures for Double Entry Tables
On Exponential-time Hypotheses, Derandomization, and Circuit Lower Bounds
On the Time Required to Perform Addition
Logical Foundations of Object-Oriented and Frame-Based Languages
On the Construction of Feedback Queries
Separation of complexity classes
Decomposing combinatorial auctions and set packing problems
Automatic Strain-Gage and Thermocouple Recording on Punched Cards
A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets
A System for General-Purpose Analog-Digital Computation
Optimal clock synchronization
Quantum lower bounds by polynomials
Formulations and Algorithms for the Capacitated Minimal Directed Tree Problem
Computations in the Field of Engineering Chemistry
Editorial: Preserving excellence through change
On a Problem Concerning a Central Storage Device Served by Multiple Terminals
Fast Probabilistic Algorithms for Verification of Polynomial Identities
On Euclid's Algorithm and the Theory of Subresultants
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
Errors Due to Overflow in Arithmetic Operations Particularly as Regards FINAC Electronic Computer
Detecting an Odd Hole
Size-time complexity of Boolean networks for prefix computations
Sequential Search: A Method for Solving Constrained Optimization Problems
Development of a Parametric Generating Procedure for Integer Programming Test Problems
Formal Procedures for Connecting Terminals with a Minimum Total Wire Length