Exponentiating faster with addition chains
EUROCRYPT '90 Proceedings of the workshop on the theory and application of cryptographic techniques on Advances in cryptology
Analysis of Checksums, Extended-Precision Checksums, and Cyclic Redundancy Checks
IEEE Transactions on Computers
I/O Overhead and Parallel VLSI Architectures for Lattice Computations
IEEE Transactions on Computers
Efficient programming in Maple: a case study
ACM SIGSAM Bulletin
IEEE Transactions on Parallel and Distributed Systems
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Parallel Constant-Time Connectivity Algorithms on a Reconfigurable Network of Processors
IEEE Transactions on Parallel and Distributed Systems
Fault Coverage and Test Length Estimation for Random Pattern Testing
IEEE Transactions on Computers - Special issue on fault-tolerant computing
On Evaluating and Optimizing Weights for Weighted Random Pattern Testing
IEEE Transactions on Computers
Efficient Algorithms for the Soft Morphological Operators
IEEE Transactions on Pattern Analysis and Machine Intelligence
Decomposing a permutation into a conjugated tensor product
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A sequence of series for the Lambert W function
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Design of Testable Multipliers for Fixed-Width Data Paths
IEEE Transactions on Computers
BIST Pattern Generators Using Addition and Subtraction Operations
Journal of Electronic Testing: Theory and Applications - Special issue on test synthesis
Mixed representation of polynomials oriented towards fast parallel shift
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A Dilated-Diagonal-Based Scheme for Broadcast in a Wormhole-Routed 2D Torus
IEEE Transactions on Computers
Mobile users: to update or not to update?
Wireless Networks
Automatic Generation of Modular Time-Space Mappings and Data Alignments
Journal of VLSI Signal Processing Systems - Special issue on application specific systems, architectures and processors
The solutions of yey2= x and yey = x
ACM SIGSAM Bulletin
Using Decision Diagrams to Design ULMs for FPGAs
IEEE Transactions on Computers
Efficient Broadcasting in Wormhole-Routed Multicomputers: A Network-Partitioning Approach
IEEE Transactions on Parallel and Distributed Systems
A polynomial time approximation scheme for general multiprocessor job scheduling (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
The Necessary Conditions for Clos-Type Nonblocking Multicast Networks
IEEE Transactions on Computers
The average diameter of binary tree structures
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Algebraic Foundations and Broadcasting Algorithms for Wormhole-Routed All-Port Tori
IEEE Transactions on Computers
Fast concurrent access to parallel disks
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Testability of 2-Level AND/EXOR Circuits
Journal of Electronic Testing: Theory and Applications
Computing the width of a three-dimensional point set: an experimental study
Journal of Experimental Algorithmics (JEA)
Low complexity FIR filters using factorization of perturbed coefficients
Proceedings of the conference on Design, automation and test in Europe
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
On computational properties of chains of recurrences
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
The Postal Network: A Recursive Network for Parameterized Communication Model
The Journal of Supercomputing
Using puzzles in teaching algorithms
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Improved Schemes for Visual Cryptography
Designs, Codes and Cryptography
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems
Program transformation system based on generalized partial computation
New Generation Computing - Partial evaluation and program transformation
Annals of Mathematics and Artificial Intelligence
On the q-Analogue of Zeilberger's Algorithm to Rational Functions
Programming and Computing Software
The combinatorics of birth–death processes and applications to queues
Queueing Systems: Theory and Applications
Bingo pricing: a game simulation and evaluation using APL
APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
Structural and enumerative properties of the Fibonacci cubes
Discrete Mathematics
A cycle lemma for permutation inversions
Discrete Mathematics
Zero-Aliasing for Modeled Faults
IEEE Transactions on Computers
Error Analysis of Approximate Chinese-Remainder-Theorem Decoding
IEEE Transactions on Computers
IEEE Transactions on Knowledge and Data Engineering
Accurate Modeling of Region Data
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Parallel and Distributed Systems
Applied Mathematics and Computation
Enumeration of Lozenge tilings of hexagons with cut-off corners
Journal of Combinatorial Theory Series A
A criterion for the applicability of Zeilberger's algorithm to rational functions
Discrete Mathematics
Gröbner Bases for Complete Uniform Families
Journal of Algebraic Combinatorics: An International Journal
Toward Symbolic Performance Prediction of Parallel Programs
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Fast Parallel Computation of the Polynomial Shift
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Randomized K-Dimensional Binary Search Trees
ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation
An O(pn + 1.151p)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Hyper-Encryption and Everlasting Security
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Words, Permutations, and Representations of Numbers
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Further Improvement of Kumar-Rajagopalan-Sahai Coding Constructions for Blacklisting Problem
Proceedings of the 8th IMA International Conference on Cryptography and Coding
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
New Sequences of Linear Time Erasure Codes Approaching the Channel Capacity
AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Taylor and Lyubeznik resolutions via Gröbner bases
Journal of Symbolic Computation
Emerging behavior as binary search trees are symmetrically updated
Theoretical Computer Science - Latin American theoretical informatics
A direct algorithm to construct the minimal Z-pairs for rational functions
Advances in Applied Mathematics - Special issue on: Formal power series and algebraic combinatorics in memory of Rodica Simion, 1955-2000
Off-line and on-line guaranteed start-up delay for media-on-demand with stream merging
Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures
Applicability of Zeilberger's algorithm to hypergeometric terms
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Summations on trigonometric functions
Applied Mathematics and Computation - Special issue: Advanced special functions and related topics in differential equations, third Melfi workshop, proceedings of the Melfi school on advanced topics in mathematics and physics
Testability of 2-level AND/EXOR circuits
EDTC '97 Proceedings of the 1997 European conference on Design and Test
A Simple and Fast Scheduler for Input Queued ATM Switches
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Theoretical Computer Science
Analysis of multiple quickselect variants
Theoretical Computer Science
WSDFU: program transformation system based on generalized partial computation
The essence of computation
Coinductive counting with weighted automata
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Combinatorial identities in dual sequences
European Journal of Combinatorics
An optimal broadcasting schema for multidimensional mesh structures
Proceedings of the 2003 ACM symposium on Applied computing
The ring of k-regular sequences, II
Theoretical Computer Science - WORDS
Efficient implementation of reduce-scatter in MPI
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Parallel, distributed and network-based processing
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Theoretical Computer Science
Kriging as a surrogate fitness landscape in evolutionary optimization
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A formula for certain inverse Kazhdan-Lusztig polynomials in Sn
Journal of Combinatorial Theory Series A
Fast and Robust General Purpose Clustering Algorithms
Data Mining and Knowledge Discovery
Cycles and Unicyclic Components in Random Graphs
Combinatorics, Probability and Computing
On the Distribution of the Number of Missing Words in Random Texts
Combinatorics, Probability and Computing
Comparisons in Hoare's Find Algorithm
Combinatorics, Probability and Computing
On Medians of Lattice Distributions and a Game with Two Dice
Combinatorics, Probability and Computing
Combinatorics, Probability and Computing
On the computational complexity of 2-interval pattern matching problems
Theoretical Computer Science
Computing the similarity of two sequences with nested arc annotations
Theoretical Computer Science
On the log-concavity of sequences arising from integer bases
Discrete Applied Mathematics - Optimal discrete structure and algorithms (ODSA 2000)
Mesh quality improvement and other properties in the four-triangles longest-edge partition
Computer Aided Geometric Design
Computer proofs for polynomial identities in arbitrary many variables
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Computational Geometry: Theory and Applications - Special issue on the 14th Canadian conference on computational geometry — CCCG02
Line drawing, leap years, and Euclid
ACM Computing Surveys (CSUR)
Estimating replicability of classifier learning experiments
ICML '04 Proceedings of the twenty-first international conference on Machine learning
A coinductive calculus of streams
Mathematical Structures in Computer Science
Scheduling Divisible Loads on Star and Tree Networks: Results and Open Problems
IEEE Transactions on Parallel and Distributed Systems
Evaluating Routing-Related Energy Expenditure in Sensor Networks
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Average adjacencies for tetrahedral skeleton-regular partitions
Journal of Computational and Applied Mathematics
SIGMETRICS '05 Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Encyclopedia of Computer Science
Single- and Double-Output Embedded Checker Architectures for Systematic Unordered Codes"
Journal of Electronic Testing: Theory and Applications
A method for proving polynomial enumeration formulas
Journal of Combinatorial Theory Series A
Multiround Algorithms for Scheduling Divisible Loads
IEEE Transactions on Parallel and Distributed Systems
Palindromic factors of billiard words
Theoretical Computer Science - The art of theory
Individual displacements for linear probing hashing with different insertion policies
ACM Transactions on Algorithms (TALG)
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Harmonic number identities and Hermite-Padé approximations to the logarithm function
Journal of Approximation Theory
Fraction interpolation walking a Farey tree
Information Processing Letters
On learning embedded midbit functions
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
On irreversibility of von Neumann additive cellular automata on grids
Discrete Applied Mathematics - Special issue: IV ALIO/EURO workshop on applied combinatorial optimization
Fast component-by-component construction of rank-1 lattice rules with a non-prime number of points
Journal of Complexity - Special issue: Algorithms and complexity for continuous problems Schloss Dagstuhl, Germany, September 2004
Oracles for bounded-length shortest paths in planar graphs
ACM Transactions on Algorithms (TALG)
Coupling and self-stabilization
Distributed Computing - Special issue: DISC 04
Monotone runs of uniformly distributed integer random variables: a probabilistic analysis
Theoretical Computer Science - In memoriam: Alberto Del Lungo (1965-2003)
A telescoping method for double summations
Journal of Computational and Applied Mathematics
Theory and Practice of Logic Programming
The number of distinct values in a geometrically distributed sample
European Journal of Combinatorics - Special issue on Eurocomb'03 - graphs and combinatorial structures
Average case analysis of DJ graphs
Journal of Discrete Algorithms
On the Computational Complexity of Optimal Multisplitting
Fundamenta Informaticae - Intelligent Systems
A new proof of the refined alternating sign matrix theorem
Journal of Combinatorial Theory Series A
Dynamic probabilistic packet marking for efficient IP traceback
Computer Networks: The International Journal of Computer and Telecommunications Networking
Summation formulae on reciprocal sequences
European Journal of Combinatorics
Diameters of Cayley graphs of Chevalley groups
European Journal of Combinatorics
The left-right-imbalance of binary search trees
Theoretical Computer Science
On the membership of invertible diagonal and scalar matrices
Theoretical Computer Science
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Flow-level QoS for a dynamic load of rate adaptive sessions sharing a bottleneck link
Computer Networks: The International Journal of Computer and Telecommunications Networking
The Fibonacci-Padovan sequence and MacWilliams transform matrices
Programming and Computing Software
On critical exponents in fixed points of non-erasing morphisms
Theoretical Computer Science
Efficient sample sort and the average case analysis or PEsort
Theoretical Computer Science
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
ACM Transactions on Algorithms (TALG)
One-unambiguity of regular expressions with numeric occurrence indicators
Information and Computation
On the fixed-parameter tractability of the equivalence test of monotone normal forms
Information Processing Letters
Combinatorial aspects of L-convex polyominoes
European Journal of Combinatorics
A linear-time algorithm for computing the multinomial stochastic complexity
Information Processing Letters
Computing the topology of a real algebraic plane curve whose equation is not directly available
Proceedings of the 2007 international workshop on Symbolic-numeric computation
The nearest polynomial of lower degree
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Optimal selection of voltage regulator modules in a power delivery network
Proceedings of the 44th annual Design Automation Conference
Reversible vectorisation of 3D digital planar curves and applications
Image and Vision Computing
Block LU factors of generalized companion matrix pencils
Theoretical Computer Science
Design of an efficient power delivery network in an soc to enable dynamic power management
ISLPED '07 Proceedings of the 2007 international symposium on Low power electronics and design
Refinement based on longest-edge and self-similar four-triangle partitions
Mathematics and Computers in Simulation
Stochastic analysis of file-swarming systems
Performance Evaluation
Transient and periodic solution to the time-inhomogeneous quasi-birth death process
Queueing Systems: Theory and Applications
Succinct indexable dictionaries with applications to encoding k-ary trees, prefix sums and multisets
ACM Transactions on Algorithms (TALG)
On the average state and transition complexity of finite languages
Theoretical Computer Science
Algorithms and estimators for accurate summarization of internet traffic
Proceedings of the 7th ACM SIGCOMM conference on Internet measurement
Enumerating split-pair arrangements
Journal of Combinatorial Theory Series A
On an involution of Christoffel words and Sturmian morphisms
European Journal of Combinatorics
Decomposition of perturbed Chebyshev polynomials
Journal of Computational and Applied Mathematics
On the complexity of constrained VC-classes
Discrete Applied Mathematics
Proper generating trees and their internal path length
Discrete Applied Mathematics
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Schläfli numbers and reduction formula
European Journal of Combinatorics
Bivariate orthogonal polynomials on triangular domains
Mathematics and Computers in Simulation
Clustering in mobile ad hoc networks through neighborhood stability-based mobility prediction
Computer Networks: The International Journal of Computer and Telecommunications Networking
A bijective proof of Jackson's formula for the number of factorizations of a cycle
Journal of Combinatorial Theory Series A
Partial difference equation and the maximum principle
Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
The relative worst order ratio applied to seat reservation
ACM Transactions on Algorithms (TALG)
On the Whitney numbers of the second kind for the star poset
European Journal of Combinatorics
Trees, functional equations, and combinatorial Hopf algebras
European Journal of Combinatorics
Counting suffix arrays and strings
Theoretical Computer Science
IEEE/ACM Transactions on Networking (TON)
Journal of Computational and Applied Mathematics
Constrained versions of Sauer's lemma
Discrete Applied Mathematics
Forensic analysis of database tampering
ACM Transactions on Database Systems (TODS)
On the false-positive rate of Bloom filters
Information Processing Letters
A Compact Encoding of Rectangular Drawings with Efficient Query Supports
AAIM '07 Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management
Generating all permutations by context-free grammars in Greibach normal form
Theoretical Computer Science
Layouts for mobility management in wireless ATM networks
Discrete Applied Mathematics
Mathematics and Computers in Simulation
Discrete Applied Mathematics
Adaptive and optimal difference operators in image processing
Pattern Recognition
Continuant polynomials and worst-case behavior of Hopcroft's minimization algorithm
Theoretical Computer Science
A Sturmian sequence related to the uniqueness conjecture for Markoff numbers
Theoretical Computer Science
An analytical model of information dissemination for a gossip-based protocol
Computer Networks: The International Journal of Computer and Telecommunications Networking
Circular sturmian words and Hopcroft's algorithm
Theoretical Computer Science
Certain summation and transformation formulas for generalized hypergeometric series
Journal of Computational and Applied Mathematics
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Journal of Functional Programming
European Journal of Combinatorics
Automatic retrieval of similar content using search engine query interface
Proceedings of the 18th ACM conference on Information and knowledge management
Lower and upper bounds for linkage discovery
IEEE Transactions on Evolutionary Computation
M-description lattice vector quantization: index assignment and analysis
IEEE Transactions on Signal Processing
Single-exclusion number and the stopping redundancy of MDS codes
IEEE Transactions on Information Theory
Measures on Boolean polynomials and their applications in data mining
Discrete Applied Mathematics
On irreversibility of von Neumann additive cellular automata on grids
Discrete Applied Mathematics - Special issue: IV ALIO/EURO workshop on applied combinatorial optimization
Harmonic number identities and Hermite--Padé approximations to the logarithm function
Journal of Approximation Theory
Fast component-by-component construction of rank-1 lattice rules with a non-prime number of points
Journal of Complexity - Special issue: Algorithms and complexity for continuous problems Schloss Dagstuhl, Germany, September 2004
Average adjacencies for tetrahedral skeleton-regular partitions
Journal of Computational and Applied Mathematics
Information-theoretically secure secret-key agreement by NOT authenticated public discussion
EUROCRYPT'97 Proceedings of the 16th annual international conference on Theory and application of cryptographic techniques
Sorting the slow way: an analysis of perversely awful randomized sorting algorithms
FUN'07 Proceedings of the 4th international conference on Fun with algorithms
Relating branching program size and formula size over the full binary basis
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A combinatorial approach to performance analysis of a shared-memory multiprocessor
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Content-dependent chunking for differential compression, the local maximum approach
Journal of Computer and System Sciences
Strength reduction of integer division and modulo operations
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Robust fitting of 3D objects by affinely transformed superellipsoids using normalization
CAIP'07 Proceedings of the 12th international conference on Computer analysis of images and patterns
Towards a robust biocomputing solution of intractable problems
DNA13'07 Proceedings of the 13th international conference on DNA computing
Linear recurrence relations for graph polynomials
Pillars of computer science
Descent polynomials for permutations with bounded drop size
European Journal of Combinatorics
IEEE Transactions on Information Theory
WSEAS Transactions on Information Science and Applications
Static-priority periodic scheduling on muitiprocessors
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Shape decomposition using Farey sequence and saddle points
Proceedings of the Seventh Indian Conference on Computer Vision, Graphics and Image Processing
Construction of the weight polynomial for autocorrelation of q-ary words
Programming and Computing Software
Generating all circular shifts by context-free grammars in Chomsky normal form
Journal of Automata, Languages and Combinatorics
Sharp bounds by probability-generating functions and variable drift
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Succinct dynamic cardinal trees with constant time operations for small alphabet
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
On the scalability of biocomputing algorithms: The case of the maximum clique problem
Theoretical Computer Science
A differential approach to inference in Bayesian networks
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Instrumentality tests revisited
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
A new key assignment scheme for access control in a complete tree hierarchy
WCC'05 Proceedings of the 2005 international conference on Coding and Cryptography
Sequences of radius k: how to fetch many huge objects into small memory for pairwise computations
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
A robust PTAS for maximum weight independent sets in unit disk graphs
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Information retrieval evaluation with partial relevance judgment
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
General Theory of Information Transfer and Combinatorics
Exercises in quantifier manipulation
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Improving saddleback search: a lesson in algorithm design
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
The rand and block distances of pairs of set partitions
IWOCA'11 Proceedings of the 22nd international conference on Combinatorial Algorithms
The statistical significance of max-gap clusters
RCG'04 Proceedings of the 2004 RECOMB international conference on Comparative Genomics
AMERICAN-MATH'12/CEA'12 Proceedings of the 6th WSEAS international conference on Computer Engineering and Applications, and Proceedings of the 2012 American conference on Applied Mathematics
Survey: Randomly colouring graphs (a combinatorial view)
Computer Science Review
Counting and computing the Rand and block distances of pairs of set partitions
Journal of Discrete Algorithms
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
On the Computational Complexity of Optimal Multisplitting
Fundamenta Informaticae - Intelligent Systems
On the weight spectra of Conway matrices related to the non-transitive head-or-tail game
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Note: Fibonacci (p, r)-cubes which are median graphs
Discrete Applied Mathematics
Depth complexity in object-parallel graphics architectures
EGGH'92 Proceedings of the Seventh Eurographics conference on Graphics Hardware
Fibonacci BSTs: A new balancing method for binary search trees
Theoretical Computer Science
Permuting operations on strings and the distribution of their prime numbers
Discrete Applied Mathematics
A Riccati differential equation and free subgroup numbers for lifts of PSL2(Z) modulo prime powers
Journal of Combinatorial Theory Series A
Shared-port register file architecture for low-energy VLIW processors
ACM Transactions on Architecture and Code Optimization (TACO)
Creating order and ballot sequences
Information Theory, Combinatorics, and Search Theory
The edge-centered surface area of the arrangement graph
Journal of Combinatorial Optimization
International Journal of Knowledge-Based Organizations
Frobenius's Degree Formula and Toda's Polynomials
Theory of Computing Systems
| Hi-index | 0.17 |