Kink-free deformations of polygons
SCG '89 Proceedings of the fifth annual symposium on Computational geometry
The relationship between pre-college mathematics and the undergraduate computer science curricula
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
On computing determinants of matrices without divisions
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
On the distribution of fault coverage and test length in random testing of combinational circuits
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Routability-driven fanout optimization
DAC '93 Proceedings of the 30th international Design Automation Conference
Packet delay prediction in datagram mesh systems
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable
ACM Transactions on Mathematical Software (TOMS)
TAGS: trains, agendas, and gerunds
APL '94 Proceedings of the international conference on APL : the language and its applications: the language and its applications
APL '95 Proceedings of the international conference on Applied programming languages
Data and computation transformations for multiprocessors
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Expected deadlock time in a multiprocessing system
Journal of the ACM (JACM)
ACM SIGACT News
A solution to the extended gcd problem
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
On testable multipliers for fixed-width data path architectures
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Universal switch modules for FPGA design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Universal switch-module design for symmetric-array-based FPGAs
Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays
Counting Two-State Transition-Tour Sequences
IEEE Transactions on Computers
Parallel Signature Analysis Design with Bounds on Aliasing
IEEE Transactions on Computers
Accessing nearby copies of replicated objects in a distributed environment
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
Alias analysis of executable code
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Average-case analysis in an elementary course on algorithms
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Simplification of array access patterns for compiler optimizations
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Recursive integration of piecewise-continuous functions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Functional differentiation of computer programs
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Jagged edges: when is filtering needed?
ACM Transactions on Graphics (TOG)
Combinatorial Analysis of Check Set Construction for Algorithm-Based Fault Tolerance Systems
Journal of Electronic Testing: Theory and Applications
Complexity estimates depending on condition and round-off error
Journal of the ACM (JACM)
A lower bound on the complexity of approximate nearest-neighbor searching on the Hamming cube
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Efficient suffix trees on secondary storage
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
RCN algorithms for the uniform generation of combinatorial structures
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Approximately counting Hamilton cycles in dense graphs
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
A generalization of Janson inequalities and its application to finding shortest paths
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
The calculation of average distance in mesh structures
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Random sampling in geometric optimization: new insights and applications
Proceedings of the sixteenth annual symposium on Computational geometry
On permutations with limited independence
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
A fast algorithm to generate unlabeled necklaces
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Efficient Address Generation for Affine Subscripts in Data-Parallel Programs
The Journal of Supercomputing
Simplicial Properties of the Set of Planar Binary Trees
Journal of Algebraic Combinatorics: An International Journal
A routing algorithm for the pyramid structures
Proceedings of the 2001 ACM symposium on Applied computing
Adaptive precision setting for cached approximate values
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Using visualization to teach novices recursion
Proceedings of the 6th annual conference on Innovation and technology in computer science education
SCG '01 Proceedings of the seventeenth annual symposium on Computational geometry
Efficient discovery of error-tolerant frequent itemsets in high dimensions
Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining
ACM Transactions on Mathematical Software (TOMS)
Tight bounds on cache use for stencil operations on rectangular grids
Journal of the ACM (JACM)
Explicit and implicit enforcing: randomized optimization
Computational Discrete Mathematics
On the adjacencies of triangular meshes based on skeleton-regular partitions
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the 9th International Congress on computational and applied mathematics
Embedding graphs with bounded treewidth into their optimal hypercubes
Journal of Algorithms
Techniques of Cluster Algorithms in Data Mining
Data Mining and Knowledge Discovery
Reducing the variance of point to point transfers in the IBM 9076 parallel computer
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
A q-enumeration of directed diagonally convex polyominoes
Discrete Mathematics
Analysis of FPGA/FPIC switch modules
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Complexity measures and decision tree complexity: a survey
Theoretical Computer Science - Complexity and logic
Functional Differentiation of Computer Programs
Higher-Order and Symbolic Computation
Reducing the Variance of Point-to-Point Transfers for Parallel Real-Time Programs
IEEE Parallel & Distributed Technology: Systems & Technology
A p × p bit fraction model of binary floating point division and extremal rounding cases
Theoretical Computer Science - Real numbers and computers
Size Estimation of the Intersection Join between Two Line Segment Datasets
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
Galois Connections and Fixed Point Calculus
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
On the Distribution of Characteristics in Composite Permutations
CRYPTO '93 Proceedings of the 13th Annual International Cryptology Conference on Advances in Cryptology
Quantitative Observables and Averages in Probabilistic Constraint Programming
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Convex Hull of Grid Points below a Line or a Convex Curve
DCGI '99 Proceedings of the 8th International Conference on Discrete Geometry for Computer Imagery
A study of Eulerian numbers by means of an operator on permutations
European Journal of Combinatorics
Galois connections and fixed point calculus
Algebraic and coalgebraic methods in the mathematics of program construction
Automatic derivation of path and loop annotations in object-oriented real-time programs
Engineering of distributed control systems
Solution of the spectra puzzle
Journal of Computing Sciences in Colleges
Circuit Bottom Fan-in and Computational Power
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
On computing the semi-sum of two integers
Information Processing Letters
Analysis, combinatorics and computing
Free indexation: combinatorial analysis and a compositional algorithm
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Theoretical Computer Science - Algebraic and numerical algorithm
Systematic IEEE rounding method for high-speed floating-point multipliers
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Measures on Boolean polynomials and their applications in data mining
Discrete Applied Mathematics - Discrete mathematics & data mining (DM & DM)
Wireless ATM layouts for chain networks
Mobile Networks and Applications
Training a wireless sensor network
Mobile Networks and Applications
Growth of repetition-free words: a review
Theoretical Computer Science - The art of theory
Exact distribution of individual displacements in linear probing hashing
ACM Transactions on Algorithms (TALG)
Optimal colored threshold visual cryptography schemes
Designs, Codes and Cryptography
Efficient parallel algorithms can be made robust
Distributed Computing
On a parallel machine scheduling problem with precedence constraints
Journal of Scheduling
On the structure of the counting function of sparse context-free languages
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Fundamenta Informaticae
HyperQuick algorithm for discrete hypergeometric distribution
Journal of Discrete Algorithms
Algorithmic analysis of a basic evolutionary algorithm for continuous optimization
Theoretical Computer Science
Journal of Combinatorial Theory Series A
MIST: distributed indexing and querying in sensor networks using statistical models
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
The transition to perfect generalization in perceptrons
Neural Computation
The orchard visibility problem and some variants
Journal of Computer and System Sciences
Balanced parentheses strike back
ACM Transactions on Algorithms (TALG)
Smart Enumeration: A Systematic Approach to Exhaustive Search
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Random Generation and Enumeration of Proper Interval Graphs
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
Data Mining and Knowledge Discovery
On universal computably enumerable prefix codes
Mathematical Structures in Computer Science
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
The Parikh counting functions of sparse context-free languages are quasi-polynomials
Theoretical Computer Science
Random Generation and Enumeration of Bipartite Permutation Graphs
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
On the Gosper-Petkovšek representation of rational functions
Journal of Symbolic Computation
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
An analysis of exponentiation based on formal languages
EUROCRYPT'99 Proceedings of the 17th international conference on Theory and application of cryptographic techniques
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Protecting individual information against inference attacks in data publishing
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Adapting personal music for synesthetic game play
Proceedings of the Fifth International Conference on the Foundations of Digital Games
On the complexity of domain-independent planning
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Estimation of the maximum domination value in multi-dimensional data sets
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Laurent polynomials and Eulerian numbers
Journal of Combinatorial Theory Series A
On the information rates of the plenoptic function
IEEE Transactions on Information Theory
Some inequalities for the Tutte polynomial
European Journal of Combinatorics
From individuals to populations: A mean field semantics for process algebra
Theoretical Computer Science
NP-completeness of the energy barrier problem without pseudoknots and temporary arcs
Natural Computing: an international journal
On the surface area of the asymmetric twisted cube
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
A general two-term recurrence and its solution
European Journal of Combinatorics
Random generation and enumeration of bipartite permutation graphs
Journal of Discrete Algorithms
On moments of discrete phase-type distributions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Parallel computation of bivariate polynomial resultants on graphics processing units
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Eulerian polynomials and B-splines
Journal of Computational and Applied Mathematics
Introducing global constraints in CHIP
Mathematical and Computer Modelling: An International Journal
Rectangle packing with one-dimensional resource augmentation
Discrete Optimization
Fundamenta Informaticae
Computing all-pairs shortest paths by leveraging low treewidth
Journal of Artificial Intelligence Research
The maximum number of faces of the minkowski sum of three convex polytopes
Proceedings of the twenty-ninth annual symposium on Computational geometry
Block characters of the symmetric groups
Journal of Algebraic Combinatorics: An International Journal
Average number of occurrences of repetitions in a necklace
Discrete Applied Mathematics
Hi-index | 0.07 |