Computer algebra on MIMD machine
ACM SIGSAM Bulletin
Efficient solution of linear diophantine equations
Journal of Symbolic Computation
On the parallel complexity of integer programming
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel algorithms for hermite normal form of an integer matrix
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Preconditioning index set transformations for time-optimal affine scheduling
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
Scanning polyhedra with DO loops
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Subdomain dependence test for massive parallelism
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Which new RSA signatures can be computed from some given RSA signatures? (extended abstract)
EUROCRYPT '90 Proceedings of the workshop on the theory and application of cryptographic techniques on Advances in cryptology
A boundary representation for form features and non-manifold solid objects
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Termination detection in logic programs using argument sizes (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Parallelizing Datalog programs by generalized pivoting
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient and exact data dependence analysis
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Time Optimal Linear Schedules for Algorithms with Uniform Dependencies
IEEE Transactions on Computers
How to predict congruential generators
CRYPTO '89 Proceedings on Advances in cryptology
Monomial orderings and Gröbner bases
ACM SIGSAM Bulletin
Tiling multidimensional iteration spaces for nonshared memory machines
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
A subexponential randomized simplex algorithm (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Independent Partitioning of Algorithms with Uniform Dependencies
IEEE Transactions on Computers
Analysis of free schedule in periodic graphs
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
SCG '92 Proceedings of the eighth annual symposium on Computational geometry
Parallel lattice basis reduction
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Processor allocation and loop scheduling on multiprocessor computers
ICS '92 Proceedings of the 6th international conference on Supercomputing
A general algorithm for data dependence analysis
ICS '92 Proceedings of the 6th international conference on Supercomputing
Access normalization: loop restructuring for NUMA compilers
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Non-unimodular transformations of nested loops
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Stochastic query optimization in distributed databases
ACM Transactions on Database Systems (TODS)
Communication optimization and code generation for distributed memory machines
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
A novel framework of register allocation for software pipelining
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computation of the Smith normal form of polynomial matrices
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Partitioning the statement per iteration space using non-singular matrices
ICS '93 Proceedings of the 7th international conference on Supercomputing
Linear programming without the matrix
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Bounds for the computational power and learning complexity of analog neural nets
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
A universal-scheme approach to statistical databases containing homogeneous summary tables
ACM Transactions on Database Systems (TODS)
Counting solutions to Presburger formulas: how and why
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Geometrical concept learning and convex polytopes
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Efficient learning of continuous neural networks
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
An introduction to ultimately periodic sets of integers
ACM SIGACT News
Compiling query constraints (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraints among argument sizes in logic programs (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fast parallel computation of the Smith normal form of polynomial matrices
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Memory estimation for high level synthesis
DAC '94 Proceedings of the 31st annual Design Automation Conference
Las Vegas algorithms for linear and integer programming when the dimension is small
Journal of the ACM (JACM)
A survey of linear programming in randomized subexponential time
ACM SIGACT News
A class of logic problems solvable by linear programming
Journal of the ACM (JACM)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
DELAY: an efficient tool for retiming with realistic delay modeling
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
The LyriC language: querying constraint objects
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Compiler cache optimizations for banded matrix problems
ICS '95 Proceedings of the 9th international conference on Supercomputing
A simple algorithm for the generation of efficient loop structures
PACT '95 Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
On linear potential functions for approximating Bayesian computations
Journal of the ACM (JACM)
The Euclidean algorithm in dimension n
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Exponential space computation of Gröbner bases
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
ICS '96 Proceedings of the 10th international conference on Supercomputing
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Nondegeneracy of Polyhedra and Linear Programs
Computational Optimization and Applications
Journal of VLSI Signal Processing Systems
An efficient algorithm for the net matching problem
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
A computational basis for higher-dimensional computational geometry and applications
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
Maximizing parallelism and minimizing synchronization with affine transforms
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Circuit Retiming Applied to Decomposed Software Pipelining
IEEE Transactions on Parallel and Distributed Systems
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A Unifying Lattice-Based Approach for the Partitioning of Systolic Arrays via LPGS and LSGP
Journal of VLSI Signal Processing Systems
Minimizing stall time in single and parallel disk systems
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Using integer sets for data-parallel program analysis and optimization
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
A hyperplane based approach for optimizing spatial locality in loop nests
ICS '98 Proceedings of the 12th international conference on Supercomputing
Spatio-temporal data handling with constraints
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Improving locality using loop and data transformations in an integrated framework
MICRO 31 Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture
Parametric Analysis of Polyhedral Iteration Spaces
Journal of VLSI Signal Processing Systems - Special issue on application specific systems, architectures and processors
Journal of VLSI Signal Processing Systems
Constraints Satisfaction through Recursive Neural Networks withMixed Penalties: a Case Study
Neural Processing Letters
A Linear Algebra Framework for Automatic Determination of Optimal Data Layouts
IEEE Transactions on Parallel and Distributed Systems
The computational complexity of knot and link problems
Journal of the ACM (JACM)
Substring selectivity estimation
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An affine partitioning algorithm to maximize parallelism and minimize communication
ICS '99 Proceedings of the 13th international conference on Supercomputing
Shifted normal forms of polynomial matrices
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Random Weighted Laplacians, Lovász minimum digraphs and finding minimum separators
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Polynomial methods for separable convex optimization in unimodular spaces
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Polynomial algorithms for minimum cost paths in periodic graphs
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
A polynomial algorithm for abstract maximum flow
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Multiplicative equations over commuting matrices
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Polynomial algorithms for multiprocessor scheduling with a small number of job lengths
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Combinatorial optimization games
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Algorithms for allocating wavelength converters in all-optical networks
IEEE/ACM Transactions on Networking (TON)
Alpha du centaur: a prototype environment for the design of parallel regular alorithms
ICS '89 Proceedings of the 3rd international conference on Supercomputing
Asymptotically fast triangulation of matrices over rings
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Using separation algorithms in fixed dimension
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Signed Hypergraph Designs and Diagonal Forms for Some IncidenceMatrices
Designs, Codes and Cryptography - Special issue on designs and codes—a memorial tribute to Ed Assmus
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fixed-point query languages for linear constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Uniform generation in spatial constraint databases and applications (Extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
TSP-based curve reconstruction in polynomial time
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
A new bound for the Carathéodory rank of the bases of a matroid
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Fast and Precise WCET Prediction by Separated Cache andPath Analyses
Real-Time Systems - Special issue on worst-case execution-time analysis
International Journal of Parallel Programming
Generation of Efficient Nested Loops from Polyhedra
International Journal of Parallel Programming - Special issue on instruction-level parallelism and parallelizing compilation, part 2
A Combinatorial Optimization Technique for the Sequential Decomposition of Erosions and Dilations
Journal of Mathematical Imaging and Vision
Minimizing stall time in single and parallel disk systems
Journal of the ACM (JACM)
Optimizing memory usage in the polyhedral model
ACM Transactions on Programming Languages and Systems (TOPLAS)
Randomizing combinatorial algorithms for linear programming when the dimension is moderately high
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems
Proceedings of the ninth international symposium on Hardware/software codesign
Data locality enhancement by memory reduction
ICS '01 Proceedings of the 15th international conference on Supercomputing
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
A unified framework for schedule and storage optimization
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Blocking and array contraction across arbitrarily nested loops using affine partitioning
PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Loop parallelization algorithms
Compiler optimizations for scalable parallel systems
Compiler optimizations for scalable parallel systems
Optimal tiling for minimizing communication in distributed shared-memory multiprocessors
Compiler optimizations for scalable parallel systems
Advanced code generation for high performance Fortran
Compiler optimizations for scalable parallel systems
Survivability analysis of networked systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Loop fusion for memory space optimization
Proceedings of the 14th international symposium on Systems synthesis
On computing Hilbert bases via the Elliot-MacMahon algorithm
Theoretical Computer Science
Convexity and global optimization: a theoretical link
Theoretical Computer Science
Short vectors of planar lattices via continued fractions
Information Processing Letters
Maximum flow-life curve for a wireless ad hoc network
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
A Laplace transform algorithm for the volume of a convex polytope
Journal of the ACM (JACM)
Constructing and exploiting linear schedules with prescribed parallelism
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Note on Park and Chin's Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence
Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
3-manifold knot genus is NP-complete
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Algorithms for the Toric Hilbert scheme
Computations in algebraic geometry with Macaulay 2
Proceedings of the 39th annual Design Automation Conference
Higher-Order and Symbolic Computation
Edge dominating and hypomatchable sets
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Matrix rounding under the Lp-discrepancy measure and its application to digital halftoning
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
0/1 optimization and 0/1 primal separation are equivalent
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Scheduling reductions on realistic machines
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
On the complexity of recognizing the Hilbert basis of a linear diophantine system
Theoretical Computer Science
Tight bounds on cache use for stencil operations on rectangular grids
Journal of the ACM (JACM)
Learning missing values from summary constraints
ACM SIGKDD Explorations Newsletter
Modelization of deterministic rational relations
Theoretical Computer Science
Coercion as homomorphism: type inference in a system with subtyping and overloading
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A 4-colour problem for dense triangle-free graphs
Discrete Mathematics
Automatic intra-register vectorization for the Intel architecture
International Journal of Parallel Programming
Polynomials associated with nowhere-zero flows
Journal of Combinatorial Theory Series B
Precise Data Locality Optimization of Nested Loops
The Journal of Supercomputing
On-line learning with malicious noise and the closure algorithm
Annals of Mathematics and Artificial Intelligence
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Automation and Remote Control
An Inventory Management Problem
Constraints
Mathematical Programming Embeddings of Logic
Journal of Automated Reasoning
Spatio-Temporal Data Handling with Constraints
Geoinformatica
On the Complexity of Semidefinite Programs
Journal of Global Optimization
How to Extend the Concept of Convexity Cuts to Derive Deeper Cutting Planes
Journal of Global Optimization
Suppressing marginal totals from a two-dimensional table to protect sensitive information
Statistics and Computing
On point-duration networks for temporal reasoning
Artificial Intelligence
Design of Processor Arrays for Reconfigurable Architectures
The Journal of Supercomputing
Ear decomposition for pair comparison data
Journal of Mathematical Psychology
Minimum T-cuts and optimal T-pairings
Discrete Mathematics
An Arbitrary Starting Variable Dimension Algorithm for Computing an Integer Point of a Simplex
Computational Optimization and Applications
A Study of Preconditioners for Network Interior Point Methods
Computational Optimization and Applications
Computational Optimization and Applications
Reuse-Driven Tiling for Improving Data Locality
International Journal of Parallel Programming
Automatic Intra-Register Vectorization for the Intel® Architecture
International Journal of Parallel Programming
Journal of Electronic Testing: Theory and Applications
On the submodular matrix representation of a digraph
Theoretical Computer Science
On Uniformization of Affine Dependence Algorithms
IEEE Transactions on Computers
On Time Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays
IEEE Transactions on Parallel and Distributed Systems
Partitioning and Labeling of Loops by Unimodular Transformations
IEEE Transactions on Parallel and Distributed Systems
The Power Test for Data Dependence
IEEE Transactions on Parallel and Distributed Systems
Constructive Methods for Scheduling Uniform Loop Nests
IEEE Transactions on Parallel and Distributed Systems
Loop Transformation Using Nonunimodular Matrices
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
On Time Optimal Supernode Shape
IEEE Transactions on Parallel and Distributed Systems
Transversal numbers for hypergraphs arising in geometry
Advances in Applied Mathematics
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
On greedy bases packing in matroids
European Journal of Combinatorics
Bit-level two's complement matrix multiplication
Integration, the VLSI Journal
Journal of Combinatorial Theory Series B
Hamiltonian tournaments and Gorenstein rings
European Journal of Combinatorics
Integral Polyhedra Related to Even-Cycle and Even-Cut Matroids
Mathematics of Operations Research
Computational complexity of neural networks: a survey
Nordic Journal of Computing
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
Parametric Scheduling - Algorithms and Complexity
HiPC '01 Proceedings of the 8th International Conference on High Performance Computing
On the Orthographic Dimension of Constraint Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
An Efficient Indexing Scheme for Multi-dimensional Moving Objects
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
An Introduction to Empty Lattice Simplices
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
On the Separation of Maximally Violated mod-k Cuts
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
Market Split and Basis Reduction: Towards a Solution of the Cornuéjols-Dawande Instances
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
Integral Polyhedra Associated with Certain Submodular Functions Defined on 012-Vectors
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
On the Chvátal Rank of Certain Inequalities
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
Fast 2-Variable Integer Programming
Proceedings of the 8th International IPCO Conference on Integer Programming and Combinatorial Optimization
Circuit Mengerian Directed Graphs
Proceedings of the 8th International IPCO Conference on Integer Programming and Combinatorial Optimization
Integral Polyhedra Related to Even Cycle and Even Cut Matroids
Proceedings of the 8th International IPCO Conference on Integer Programming and Combinatorial Optimization
An Exponential Lower Bound on the Length of Some Classes of Branch-and-Cut Proofs
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
The Semidefinite Relaxation of the k -Partition Polytope Is Strong
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
A Loop Transformation Algorithm Based on Explicit Data Layout Representation for Optimizing Locality
LCPC '98 Proceedings of the 11th International Workshop on Languages and Compilers for Parallel Computing
A Geometric Semantics for Program Representation in the Polytope Model
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Exploiting Ownership Sets in HPF
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Subtractive Reductions and Complete Problems for Counting Complexity Classes
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
On the Problem of Scheduling Flows on Distributed Networks
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Optimization over Zonotopes and Training Support Vector Machines
WADS '01 Proceedings of the 7th International Workshop on Algorithms and Data Structures
Auditing Interval-Based Inference
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Using Fewer Qubits in Shor's Factorization Algorithm Via Simultaneous Diophantine Approximation
CT-RSA 2001 Proceedings of the 2001 Conference on Topics in Cryptology: The Cryptographer's Track at RSA
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Lower Bounds Are Not Easier over the Reals: Inside PH
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Approximation of a Geometric Set Covering Problem
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
Generation of Distributed Loop Control
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
Structured Scheduling of Recurrence Equations: Theory and Practice
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
Sealed Bid Mulit-object Auctions with Necessary Bundles and Its Application to Spectrum Auctions
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Synthesis of Linear Ranking Functions
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Analysis of Zero-Clairvoyant Scheduling
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Data Sequence Locality: A Generalization of Temporal Locality
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
On the Optimality of Feautrier's Scheduling Algorithm
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Localization of Data Transfer in Processor Arrays
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Parametric Scheduling for Network Constraints
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Axiomatizing Tropical Semirings
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Constraint-Based Model Checking for Parameterized Synchronous Systems
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Optimal Control of Quantized Input Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
An Introduction to Simplex Scheduling
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Counting the Solutions of Presburger Equations without Enumerating Them
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
On the Complexity of Integer Programming in the Blum-Shub-Smale Computational Model
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
TSP Cuts Which Do Not Conform to the Template Paradigm
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School]
Branch, Cut, and Price: Sequential and Parallel
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School]
Lower Bounds for the Complexity of Learning Half-Spaces with Membership Queries
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Learning Real Polynomials with a Turing Machine
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Fast Reduction of Ternary Quadratic Forms
CaLC '01 Revised Papers from the International Conference on Cryptography and Lattices
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Advances in Applied Mathematics
Structured scheduling of recurrence equations: theory and practice
Embedded processor design challenges
Generation of distributed loop control
Embedded processor design challenges
One-dimensional and multi-dimensional substring selectivity estimation
The VLDB Journal — The International Journal on Very Large Data Bases
Information Processing Letters
The max-plus algebra of the natural numbers has no finite equational basis
Theoretical Computer Science
Length-bounded disjoint paths in planar graphs
Discrete Applied Mathematics - Sixth Twente Workshop on Graphs and Combinatorial Optimization
On the solution sets of particular classes of linear interval systems
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Non-standard approaches to integer programming
Discrete Applied Mathematics
Discrete Applied Mathematics
Cutting planes in integer and mixed integer programming
Discrete Applied Mathematics
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
Allocation of wavelength converters in all-optical networks
Optical networks
Extending the constraint database framework
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
A polynomial-time nash equilibrium algorithm for repeated games
Proceedings of the 4th ACM conference on Electronic commerce
New polynomial-time instances to various knapsack-type problems
Fundamenta Informaticae
Learning from rounded-off data
Information and Computation
A fixed-point approach to stable matchings and some applications
Mathematics of Operations Research
Determination of the Processor Functionality in the Design of Processor Arrays
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Efficient retiming under a general delay model
ARVLSI '95 Proceedings of the 16th Conference on Advanced Research in VLSI (ARVLSI'95)
RTL-Datapath Verification using Integer Linear Programming
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Journal of Computer and System Sciences - Special issue on PODS 2000
Partitioning Loops with Variable Dependence Distances
ICPP '00 Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing
Loop Alignment for Memory Accesses Optimization
Proceedings of the 12th international symposium on System synthesis
Risk in Two-Stage Optimal Resource Allocation
Automation and Remote Control
Orienting rewrite rules with the Knuth--Bendix order
Information and Computation - RTA 2001
A lower bound for the job insertion problem
Discrete Applied Mathematics
Inverse optimization in high-speed networks
Discrete Applied Mathematics - Special issue: Algorithmic aspects of communication
On planarity and colorability of circulant graphs
Discrete Mathematics
Improved bound for the Carathéodory rank of the bases of a matroid
Journal of Combinatorial Theory Series B
Canonical modules of certain edge subrings
European Journal of Combinatorics
Low Memory Cost Dynamic Scheduling of Large Coarse Grain Task Graphs
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Abductive reasoning with recurrent neural networks
Neural Networks - 2003 Special issue: Advances in neural networks research — IJCNN'03
Theoretical Computer Science - Special issue: Tilings of the plane
Efficient scheduling of Internet banner advertisements
ACM Transactions on Internet Technology (TOIT)
Lean clause-sets: generalizations of minimally unsatisfiable clause-sets
Discrete Applied Mathematics - The renesse issue on satisfiability
Constraint-Based Verification of Parameterized Cache Coherence Protocols
Formal Methods in System Design
Theoretical Computer Science
Buffer overrun detection using linear programming and static analysis
Proceedings of the 10th ACM conference on Computer and communications security
A greedy algorithm for convex geometries
Discrete Applied Mathematics - Submodularity
Prompt partial path optimization in MPLS networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Register allocation for optimal loop scheduling
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Two sensitivity theorems in fuzzy integer programming
Discrete Applied Mathematics
Tuning In-Sensor Data Filtering to Reduce Energy Consumption in Wireless Sensor Networks
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Combinatorics, Probability and Computing
The Structure of Simple Sets in Z3
Automation and Remote Control
On the computational complexity of upper total domination
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters
Edge-disjoint odd cycles in planar graphs
Journal of Combinatorial Theory Series B
Point containment in the integer hull of a polyhedron
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Counting the solutions of Presburger equations without enumerating them
Theoretical Computer Science - Implementation and application automata
Integer programming models for computational biology problems
Journal of Computer Science and Technology - Special issue on bioinformatics
A data locality optimizing algorithm
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Supernormal Vector Configurations
Journal of Algebraic Combinatorics: An International Journal
From monomials to words to graphs
Journal of Combinatorial Theory Series A
Integer Programming Duality in Multiple Objective Programming
Journal of Global Optimization
Remarks on the Analytic Centers of Convex Sets
Computational Optimization and Applications
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Consistency problems in ER-schemas for database systems
Information Sciences: an International Journal - Special issue: Information technology
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Code Generation in the Polyhedral Model Is Easier Than You Think
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Qualitative decision making in adaptive presentation of structured information
ACM Transactions on Information Systems (TOIS)
Conic Characterization of Monge Matrices
Cybernetics and Systems Analysis
A polynomiality property for Littlewood-Richardson coefficients
Journal of Combinatorial Theory Series A
The synthesis of petri nets from path-automatic specifications
Information and Computation
On Exact Selection of Minimally Unsatisfiable Subformulae
Annals of Mathematics and Artificial Intelligence
A note on tolerance graph recognition
Discrete Applied Mathematics
Discrete Applied Mathematics
Scheduling Divisible Loads on Star and Tree Networks: Results and Open Problems
IEEE Transactions on Parallel and Distributed Systems
Periodic Linear Programming with applications to real-time scheduling
Mathematical Structures in Computer Science
Code-Size Minimization in Multiprocessor Real-Time Systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
An Analysis of Totally Clairvoyant Scheduling
Journal of Scheduling
An Indexing Method for Answering Queries on Moving Objects
Distributed and Parallel Databases
A polynomial-time Nash equilibrium algorithm for repeated games
Decision Support Systems - Special issue: The fourth ACM conference on electronic commerce
Efficient and effective array bound checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of safety properties for parameterized regular systems
ACM Transactions on Embedded Computing Systems (TECS)
Subgradient and sampling algorithms for l1 regression
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic (TOCL)
Watermill: an optimized fingerprinting system for highly constrained data
MM&Sec '05 Proceedings of the 7th workshop on Multimedia and security
Subdivisions of Toric Complexes
Journal of Algebraic Combinatorics: An International Journal
Generating cache hints for improved program efficiency
Journal of Systems Architecture: the EUROMICRO Journal
Interprocedural parallelization analysis in SUIF
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimal refinement of rule bases
AI Communications
A quantitative measure for telecommunications networks topology design
IEEE/ACM Transactions on Networking (TON)
QoS for data relaying in hierarchical wireless sensor networks
Proceedings of the 1st ACM international workshop on Quality of service & security in wireless and mobile networks
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Edge-Directions of Standard Polyhedra with Applications to Network Flows
Journal of Global Optimization
Aspects of the Binary CMAC: Unimodularity and Probabilistic Reconstruction
Neural Processing Letters
Complexity of integer quasiconvex polynomial optimization
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
The prize-collecting generalized steiner tree problem via a new approach of primal-dual schema
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Memory size computation for multimedia processing applications
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra
Journal of Combinatorial Theory Series A
Time-constrained scheduling of large pipelined datapaths
Journal of Systems Architecture: the EUROMICRO Journal
Auditing sum-queries to make a statistical database secure
ACM Transactions on Information and System Security (TISSEC)
A randomized polynomial-time simplex algorithm for linear programming
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
On algorithms for (P5,gem)-free graphs
Theoretical Computer Science - Graph colorings
Easy intruder deduction problems with homomorphisms
Information Processing Letters
Tropical convexity via cellular resolutions
Journal of Algebraic Combinatorics: An International Journal
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
Polytopes of partitions of numbers
European Journal of Combinatorics
On average throughput and alphabet size in network coding
IEEE/ACM Transactions on Networking (TON) - Special issue on networking and information theory
Journal of Combinatorial Theory Series A
Memory optimization by counting points in integer transformations of parametric polytopes
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Proceedings of the 20th annual international conference on Supercomputing
Cell Breathing in Wireless LANs: Algorithms and Evaluation
IEEE Transactions on Mobile Computing
Fast Kernel Classifiers with Online and Active Learning
The Journal of Machine Learning Research
Subtractive reductions and complete problems for counting complexity classes
Theoretical Computer Science - Mathematical foundations of computer science 2000
Scalable and structured scheduling
International Journal of Parallel Programming
Optimal refinement of rule bases
AI Communications
Discrete Applied Mathematics
Polynomial approximations of the relational semantics of imperative programs
Science of Computer Programming
A heuristic approach for the continuous error localization problem in data cleaning
Computers and Operations Research
Maximum integer multiflow and minimum multicut problems in two-sided uniform grid graphs
Journal of Discrete Algorithms
A branch-and-cut algorithm for the continuous error localization problem in data cleaning
Computers and Operations Research
Asymptotic existence theorems for frames and group divisible designs
Journal of Combinatorial Theory Series A
Cycles and communicating classes in membrane systems and molecular dynamics
Theoretical Computer Science
Automatic mapping of nested loops to FPGAS
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Costing stepwise refinements of parallel programs
Computer Languages, Systems and Structures
Formal model of data reuse analysis for hierarchical memory organizations
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Classifying interprocess communication in process network representation of nested-loop programs
ACM Transactions on Embedded Computing Systems (TECS) - SPECIAL ISSUE SCOPES 2005
Optimal Control of a High-Volume Assemble-to-Order System
Mathematics of Operations Research
Characterizing and reasoning about probabilistic and non-probabilistic expectation
Journal of the ACM (JACM)
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Discrete Event Dynamic Systems
Work-centered design: a case study of a mixed-initiative scheduler
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Analysis and modeling of job arrivals in a production grid
ACM SIGMETRICS Performance Evaluation Review
An Alternative Algorithm for Counting Lattice Points in a Convex Polytope
Mathematics of Operations Research
Exponential Lower Bounds on the Lengths of Some Classes of Branch-and-Cut Proofs
Mathematics of Operations Research
Boundedness Theorems for the Relaxation Method
Mathematics of Operations Research
Selected Topics in Column Generation
Operations Research
A Zero-Space algorithm for Negative Cost Cycle Detection in networks
Journal of Discrete Algorithms
Approximation algorithms for multiprocessor scheduling under uncertainty
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures
Separating AC0 from depth-2 majority circuits
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Eisenberg-Gale markets: algorithms and structural properties
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time
Proceedings of the International Symposium on Code Generation and Optimization
An optimization algorithm based on chaotic behavior and fractal nature
Journal of Computational and Applied Mathematics
Mapping multi-dimensional signals into hierarchical memory organizations
Proceedings of the conference on Design, automation and test in Europe
On the enumeration of certain weighted graphs
Discrete Applied Mathematics
Multicommodity demand flow in a tree and packing integer programs
ACM Transactions on Algorithms (TALG)
Digital hyperplane recognition in arbitrary fixed dimension within an algebraic computation model
Image and Vision Computing
Island hopping and path colouring with applications to WDM network design
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
QoS topology control for nonhomogenous ad hoc wireless networks
EURASIP Journal on Wireless Communications and Networking
Coalition Formation: From Software Agents to Robots
Journal of Intelligent and Robotic Systems
Decision procedures for extensions of the theory of arrays
Annals of Mathematics and Artificial Intelligence
A step towards unifying schedule and storage optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
An analytical approach to the inference of summary data of additive type
Theoretical Computer Science
ACM Transactions on Algorithms (TALG)
Stochastic Optimal Control Of Ato Systems With Batch Arrivals Via Diffusion Approximation
Probability in the Engineering and Informational Sciences
Complexity of fuzzy probability logics II
Fuzzy Sets and Systems
Foundations and Trends® in Networking
Algebraic characterizations of outerplanar and planar graphs
European Journal of Combinatorics
On Periodic Register Need in Software Pipelining
IEEE Transactions on Computers
Finding optimal hardware/software partitions
Formal Methods in System Design
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Computation of storage requirements for multi-dimensional signal processing applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Chain programming over difference constraints
Nordic Journal of Computing
Mapping model with inter-array memory sharing for multidimensional signal processing
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computers & Mathematics with Applications
Recurrence with affine level mappings is p-time decidable for clp$({\mathbb r})$
Theory and Practice of Logic Programming
Symbolic protocol analysis for monoidal equational theories
Information and Computation
Proof search in Hájek's basic logic
ACM Transactions on Computational Logic (TOCL)
Sampling subproblems of heterogeneous Max-Cut problems and approximation algorithms
Random Structures & Algorithms
Rees algebras and polyhedral cones of ideals of vertex covers of perfect graphs
Journal of Algebraic Combinatorics: An International Journal
Mortality problem and affine automata
Cybernetics and Systems Analysis
Jug measuring: Algorithms and complexity
Theoretical Computer Science
A Diophantine model of routes in structured P2P overlays
ACM SIGMETRICS Performance Evaluation Review
Integrated Computer-Aided Engineering
Modeling and Verifying Time Sensitive Security Protocols with Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
The pattern matrix method for lower bounds on quantum communication
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Iterative optimization in the polyhedral model: part ii, multidimensional time
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
A practical automatic polyhedral parallelizer and locality optimizer
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Program analysis as constraint solving
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Approximation algorithms for scheduling unrelated parallel machines
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Cyclic games and linear programming
Discrete Applied Mathematics
Red-blue covering problems and the consecutive ones property
Journal of Discrete Algorithms
Probe Matrix Problems: Totally Balanced Matrices
AAIM '07 Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management
Inequalities from Two Rows of a Simplex Tableau
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Mixed-Integer Vertex Covers on Bipartite Graphs
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Simple Explicit Formula for Counting Lattice Points of Polyhedra
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Characterizations of Total Dual Integrality
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Combining Proof-Producing Decision Procedures
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Synthesis of Nets with Step Firing Policies
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Convex Hull of Arithmetic Automata
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Typing Linear Constraints for Moding CLP(${\cal R}$) Programs
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Splitting the Control Flow with Boolean Flags
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Labelled Calculi for Łukasiewicz Logics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
On a Special Co-cycle Basis of Graphs
SWAT '08 Proceedings of the 11th Scandinavian workshop on Algorithm Theory
Efficient Method for Periodic Task Scheduling with Storage Requirement Minimization
COCOA 2008 Proceedings of the 2nd international conference on Combinatorial Optimization and Applications
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
ALGORITHMIC CHALLENGES IN LEARNING PATH METRICS FROM OBSERVED CHOICES
Applied Artificial Intelligence
Journal of Signal Processing Systems
Modeling and exploiting query interactions in database systems
Proceedings of the 17th ACM conference on Information and knowledge management
Preemptive scheduling and antichain polyhedra
Discrete Applied Mathematics
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data
ACM Transactions on Computational Logic (TOCL)
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Stability of associated primes of integral closures of monomial ideals
Journal of Combinatorial Theory Series A
Towards a general model of the multi-criteria workflow scheduling on the grid
Future Generation Computer Systems
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
The box-TDI system associated with 2-edge connected spanning subgraphs
Discrete Applied Mathematics
Journal of Parallel and Distributed Computing
Cayley sum graphs and eigenvalues of (3,6)-fullerenes
Journal of Combinatorial Theory Series B
A polynomial-time algorithm to find a linkless embedding of a graph
Journal of Combinatorial Theory Series B
Transformations techniques for extracting parallelism in non-uniform nested loops
WSEAS Transactions on Computers
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Transactions on Petri Nets and Other Models of Concurrency I
Approximate solution of a resource-constrained scheduling problem
Journal of Heuristics
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Computing the nucleolus of weighted voting games
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction: Design Centered HCI
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Graphical Models, Exponential Families, and Variational Inference
Foundations and Trends® in Machine Learning
Cardinality constrained and multicriteria (multi)cut problems
Journal of Discrete Algorithms
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Equilibrium Points in Fear of Correlated Threats
WINE '08 Proceedings of the 4th International Workshop on Internet and Network Economics
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Analyses of simple hybrid algorithms for the vertex cover problem*
Evolutionary Computation
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Affine and unimodular transformations for non-uniform nested loops
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Symbolic program analysis using term rewriting and generalization
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Disjoint congruence classes and a timetabling application
Discrete Applied Mathematics
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Monotone Covering Problems with an Additional Covering Constraint
Mathematics of Operations Research
Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
A new constraint-based description of the steady-state flux cone of metabolic networks
Discrete Applied Mathematics
Comparing Bacterial Genomes by Searching Their Common Intervals
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
On the complexity of recognizing directed path families
Discrete Applied Mathematics
Circular choosability is rational
Journal of Combinatorial Theory Series B
Online Scheduling with Bounded Migration
Mathematics of Operations Research
Towards device emulation code generation
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Expressing combinatorial problems by systems of polynomial equations and hilbert's nullstellensatz
Combinatorics, Probability and Computing
Gift-wrapping based preimage computation algorithm
Pattern Recognition
Solution stability in linear programming relaxations: graph partitioning and unsupervised learning
ICML '09 Proceedings of the 26th Annual International Conference on Machine Learning
A generating function for all semi-magic squares and the volume of the Birkhoff polytope
Journal of Algebraic Combinatorics: An International Journal
Design of multimedia surveillance systems
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Effective bidding and deal identification for negotiations in highly nonlinear scenarios
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Cryptanalysis of a knapsack-based probabilistic encryption scheme
Information Sciences: an International Journal
Predicated Worst-Case Execution-Time Analysis
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Integer Polyhedra for Program Analysis
AAIM '09 Proceedings of the 5th International Conference on Algorithmic Aspects in Information and Management
Optimal Auctions Capturing Constraints in Sponsored Search
AAIM '09 Proceedings of the 5th International Conference on Algorithmic Aspects in Information and Management
Unifying Petri Net Semantics with Token Flows
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Optimal Length Resolution Refutations of Difference Constraint Systems
Journal of Automated Reasoning
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Integer Programming: Optimization and Evaluation Are Equivalent
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
Formal Methods in System Design
Attacking decipherment problems optimally with low-order N-gram models
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Path Partitions, Cycle Covers and Integer Decomposition
Graph Theory, Computational Intelligence and Thought
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Integrality Property in Preemptive Parallel Machine Scheduling
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
Computing Reachable States for Nonlinear Biological Models
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Information Theoretic Security
Foundations and Trends in Communications and Information Theory
Graphs of transportation polytopes
Journal of Combinatorial Theory Series A
Ignorability in statistical and probabilistic inference
Journal of Artificial Intelligence Research
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Reinforcement learning: a survey
Journal of Artificial Intelligence Research
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
An algebraic approach to constraint satisfaction problems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Theoretical Computer Science
Scheduling multiprocessor UET tasks of two sizes
Theoretical Computer Science
Planning and acting in partially observable stochastic domains
Artificial Intelligence
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
A cutting-plane method based on redundant rows for improving fractional distance
IEEE Journal on Selected Areas in Communications - Special issue on capaciyy approaching codes
Markovian search games in heterogeneous spaces
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A Strongly Polynomial Algorithm for Controlled Queues
Mathematics of Operations Research
Performance metrics and evaluation of a path planner based on genetic algorithms
PerMIS '07 Proceedings of the 2007 Workshop on Performance Metrics for Intelligent Systems
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Generation of structured meshes in multiply connected surfaces using submapping
Advances in Engineering Software
Guaranteed performance routing of unpredictable traffic with fast path restoration
IEEE/ACM Transactions on Networking (TON)
Quadratic Gröbner bases for smooth 3×3 transportation polytopes
Journal of Algebraic Combinatorics: An International Journal
The capacity region of a class of three-receiver broadcast channels with degraded message sets
IEEE Transactions on Information Theory
Capacity of cognitive interference channels with and without secrecy
IEEE Transactions on Information Theory
Linear-programming decoding of nonbinary linear codes
IEEE Transactions on Information Theory
An extension of the Davis-Putnam procedure and its application to preprocessing in SMT
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
Pseudo Boolean Programming for Partially Ordered Genomes
RECOMB-CG '09 Proceedings of the International Workshop on Comparative Genomics
A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
A Combinatorial Algorithm for Horn Programs
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
A polynomial-time Nash equilibrium algorithm for repeated games
Decision Support Systems - Special issue: The fourth ACM conference on electronic commerce
Steady-state and N-stages control for isolated controlled intersections
ACC'09 Proceedings of the 2009 conference on American Control Conference
Observer design for untimed continuous Petri nets
ACC'09 Proceedings of the 2009 conference on American Control Conference
Interactions in Transport Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Electronic Notes in Theoretical Computer Science (ENTCS)
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Easy intruder deduction problems with homomorphisms
Information Processing Letters
Complexity of integer quasiconvex polynomial optimization
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Clustered local decoding for Wyner-type cellular models
IEEE Transactions on Information Theory
On the diversity: multiplexing tradeoff in multiple-relay network
IEEE Transactions on Information Theory
Finite precision analysis for space-time decoding
IEEE Transactions on Signal Processing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Minimal infeasible constraint sets in convex integer programs
Journal of Global Optimization
INFORMS Journal on Computing
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A min-max theorem for plane bipartite graphs
Discrete Applied Mathematics
Performance evaluation of discret event systems using P-time event graphs
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
The coherence of Łukasiewicz assessments is NP-complete
International Journal of Approximate Reasoning
The traveling salesman: computational solutions for TSP applications
The traveling salesman: computational solutions for TSP applications
Multimedia Tools and Applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
On minimizing register usage of linearly scheduled algorithms with uniform dependencies
Computer Languages, Systems and Structures
Computing inverses over a shared secret modulus
EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Modeling job arrivals in a data-intensive grid
JSSPP'06 Proceedings of the 12th international conference on Job scheduling strategies for parallel processing
Grids: a domain for analyzing the distribution of numerical values
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Multicommodity demand flow in a tree
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A fast cutting-plane algorithm for optimal coalescing
CC'07 Proceedings of the 16th international conference on Compiler construction
Optimal case-based refinement of adaptation rule bases for engineering design
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Separability in conflict-free petri nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Verifying generalized soundness of workflow nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
The integer hull of a convex rational polytope
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
Interprocedurally analysing linear inequality relations
ESOP'07 Proceedings of the 16th European conference on Programming
Constraint solving for interpolation
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Invariant synthesis for combined theories
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Wavelength management in WDM rings to maximize the number of connections
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Flow faster: efficient decision algorithms for probabilistic simulations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Automatic detection of uninitialized variables
CC'03 Proceedings of the 12th international conference on Compiler construction
Strength reduction of integer division and modulo operations
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Polytope-based computation of polynomial ranges
Proceedings of the 2010 ACM Symposium on Applied Computing
Variable ranges in linear constraints
Proceedings of the 2010 ACM Symposium on Applied Computing
Constraints solution for time sensitive security protocols
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
RECOMB-CG'07 Proceedings of the 2007 international conference on Comparative genomics
Solving discrete logarithms from partial knowledge of the key
INDOCRYPT'07 Proceedings of the cryptology 8th international conference on Progress in cryptology
Deciding simulations on probabilistic automata
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Deciding knowledge in security protocols for monoidal equational theories
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
On threshold BDDs and the optimal variable ordering problem
COCOA'07 Proceedings of the 1st international conference on Combinatorial optimization and applications
Acceleration in convex data-flow analysis
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
An analysis of quantified linear programs
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
A polynomial algorithm for weighted abstract flow
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
Budgeted matching and budgeted matroid intersection via the gasoline puzzle
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Fast reflexive arithmetic tactics the linear case and beyond
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Algorithms for the m-coverage problem and k-connected m-coverage problem in wireless sensor networks
NPC'07 Proceedings of the 2007 IFIP international conference on Network and parallel computing
SAT modulo the theory of linear arithmetic: exact, inexact and commercial solvers
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Optimal homologous cycles, total unimodularity, and linear programming
Proceedings of the forty-second ACM symposium on Theory of computing
Matroid matching: the power of local search
Proceedings of the forty-second ACM symposium on Theory of computing
Superposition modulo linear arithmetic SUP(LA)
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Information sharing in spectrum auction for dynamic spectrum access
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Efficient lattice width computation in arbitrary dimension
DGCI'09 Proceedings of the 15th IAPR international conference on Discrete geometry for computer imagery
Decomposition for low-complexity near-optimal routing in multi-hop wireless networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
On the multimessage capacity region for undirected ring networks
IEEE Transactions on Information Theory
Optimal admissible composition of abstraction heuristics
Artificial Intelligence
Feature selection with redundancy-constrained class separability
IEEE Transactions on Neural Networks
A separation algorithm for improved LP-decoding of linear block codes
IEEE Transactions on Information Theory
Integer matrices with constraints on leading partial row and column sums
Discrete Applied Mathematics
Constraint solving for interpolation
Journal of Symbolic Computation
A Combined Calculus on Orientation with Composition Based on Geometric Properties
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Two conditions for equivalence of 0-norm solution and 1-norm solution in sparse representation
IEEE Transactions on Neural Networks
Optimal scheduling in high-speed downlink packet access networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Computing optimal alignments for the IBM-3 translation model
CoNLL '10 Proceedings of the Fourteenth Conference on Computational Natural Language Learning
Distributive lattices, polyhedra, and generalized flows
European Journal of Combinatorics
Testing additive integrality gaps
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Polynomial-space approximation of no-signaling provers
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs
SAS'10 Proceedings of the 17th international conference on Static analysis
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
The prize-collecting edge dominating set problem in trees
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Streaming graph computations with a helpful advisor
ESA'10 Proceedings of the 18th annual European conference on Algorithms: Part I
ESA'10 Proceedings of the 18th annual European conference on Algorithms: Part I
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering
Optimality and improvement of dynamic voltage scaling algorithms for multimedia applications
IEEE Transactions on Circuits and Systems Part I: Regular Papers
MLPQ: a linear constraint database system with aggregate operators
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
FIFO scheduling of divisible loads with return messages under the one-port model
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Efficient code generation for automatic parallelization and optimization
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Solving Very Sparse Rational Systems of Equations
ACM Transactions on Mathematical Software (TOMS)
Perfect omniscience, perfect secrecy, and Steiner tree packing
IEEE Transactions on Information Theory
A Framework for Certified Boolean Branch-and-Bound Optimization
Journal of Automated Reasoning
Vector addition system reachability problem: a short self-contained proof
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Loop transformations: convexity, pruning and optimization
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Hippocampal shape classification using redundancy constrained feature selection
MICCAI'10 Proceedings of the 13th international conference on Medical image computing and computer-assisted intervention: Part II
Interpolating quantifier-free Presburger arithmetic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
The number of bits needed to represent a unit disk graph
WG'10 Proceedings of the 36th international conference on Graph-theoretic concepts in computer science
Exact solutions to linear systems of equations using output sensitive lifting
ACM Communications in Computer Algebra
Throughput maximization for periodic packet routing on trees and grids
WAOA'10 Proceedings of the 8th international conference on Approximation and online algorithms
Cooperative games with overlapping coalitions
Journal of Artificial Intelligence Research
Efficient Algorithms for Conditional Independence Inference
The Journal of Machine Learning Research
Polyhedral Model Based Data Locality Optimization for Embedded Applications
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
On the Complexity of Nash Equilibria and Other Fixed Points
SIAM Journal on Computing
Minimal Inequalities for an Infinite Relaxation of Integer Programs
SIAM Journal on Discrete Mathematics
Theta Bodies for Polynomial Ideals
SIAM Journal on Optimization
The set of realizations of a max-plus linear sequence is semi-polyhedral
Journal of Computer and System Sciences
Bounds on the coefficients of tension and flow polynomials
Journal of Algebraic Combinatorics: An International Journal
The modeling power of the periodic event scheduling problem: railway timetables-and beyond
ATMOS'04 Proceedings of the 4th international Dagstuhl, ATMOS conference on Algorithmic approaches for transportation modeling, optimization, and systems
Computing reachable states for nonlinear biological models
Theoretical Computer Science
Functional test generation with distribution constraints
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Journal of Global Optimization
Signal Assignment Model for the Memory Management of Multidimensional Signal Processing Applications
Journal of Signal Processing Systems
Note: Recognizing Helly Edge-Path-Tree graphs and their clique graphs
Discrete Applied Mathematics
Linear absolute value relation analysis
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Generalizing the template polyhedral domain
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Improving strategies via SMT solving
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Efficient interpolant generation in satisfiability modulo linear integer arithmetic
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
Proceedings of the forty-third annual ACM symposium on Theory of computing
Integer representations of convex polygon intersection graphs
Proceedings of the twenty-seventh annual symposium on Computational geometry
Sphere and dot product representations of graphs
Proceedings of the twenty-seventh annual symposium on Computational geometry
The Chvátal-Gomory Closure of a Strictly Convex Body
Mathematics of Operations Research
The combinatorics of modeling and analyzing biological systems
Natural Computing: an international journal
Using a computational domain and a three-stage node location procedure for multi-sweeping algorithms
Advances in Engineering Software
An LP-based heuristic algorithm for the node capacitated in-tree packing problem
Computers and Operations Research
Approximating minimum cost source location problems with local vertex-connectivity demands
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Computing efficiently the lattice width in any dimension
Theoretical Computer Science
Decomposing finite Abelian groups
Quantum Information & Computation
A primal-dual algorithm for weighted abstract cut packing
IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
Probabilistic word alignment under the L0-norm
CoNLL '11 Proceedings of the Fifteenth Conference on Computational Natural Language Learning
Vector addition system reachability problem: a short self contained proof
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Parameter bounds evaluation of Wiener models with noninvertible polynomial nonlinearities
Automatica (Journal of IFAC)
Relational models for contingency tables
Journal of Multivariate Analysis
Geometrical regular languages and linear diophantine equations
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
On totally unimodularity of edge-edge adjacency matrices
COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics
An algebraic theory of complexity for valued constraints: establishing a Galois connection
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Three-Index linear programs with nested structure
Automation and Remote Control
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Transitive closures of affine integer tuple relations and their overapproximations
SAS'11 Proceedings of the 18th international conference on Static analysis
Traffic-oblivious routing in the hose model
IEEE/ACM Transactions on Networking (TON)
ACM Transactions on Embedded Computing Systems (TECS)
Roots of Ehrhart polynomials arising from graphs
Journal of Algebraic Combinatorics: An International Journal
Original article: Algebraic combinatorics of diametric magic circles
Mathematics and Computers in Simulation
The GDSE framework: a meta-tool for automated design space exploration
Proceedings of the 10th Workshop on Domain-Specific Modeling
Maximal Lattice-Free Polyhedra: Finiteness and an Explicit Description in Dimension Three
Mathematics of Operations Research
Mathematics of Operations Research
SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling
Journal of Combinatorial Optimization
Peer-assisted texture streaming in metaverses
MM '11 Proceedings of the 19th ACM international conference on Multimedia
Polyhedra with the Integer Carathéodory Property
Journal of Combinatorial Theory Series B
On the complexity of solving Markov decision problems
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Quantitatively fair scheduling
Theoretical Computer Science
Feasibility of Integer Knapsacks
SIAM Journal on Optimization
An Obstacle to a Decomposition Theorem for Near-Regular Matroids
SIAM Journal on Discrete Mathematics
On Maximal $S$-Free Convex Sets
SIAM Journal on Discrete Mathematics
Optimal Homologous Cycles, Total Unimodularity, and Linear Programming
SIAM Journal on Computing
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Formal Methods in System Design
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
Journal of Automated Reasoning
An algebraic characterisation of complexity for valued constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Approximability of integer programming with generalised constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Controller synthesis for mapping partitioned programs on array architectures
ARCS'06 Proceedings of the 19th international conference on Architecture of Computing Systems
A finite model construction for coalgebraic modal logic
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Improving efficiency of finite plans by optimal choice of input sets
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Successive linear programs for computing all integral points in a minkowski sum
PCI'05 Proceedings of the 10th Panhellenic conference on Advances in Informatics
Transformation to dynamic single assignment using a simple data flow analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Linear programming polytope and algorithm for mean payoff games
AAIM'06 Proceedings of the Second international conference on Algorithmic Aspects in Information and Management
On the equivalence of Z-automata
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Zero-Clairvoyant scheduling with inter-period constraints
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Quasi-polynomials, linear Diophantine equations and semi-linear sets
Theoretical Computer Science
Making change and finding repfigits: balancing a knapsack
ICMS'06 Proceedings of the Second international conference on Mathematical Software
A new approach to flux coupling analysis of metabolic networks
CompLife'06 Proceedings of the Second international conference on Computational Life Sciences
Bicriteria network design via iterative rounding
COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
ANTS'06 Proceedings of the 7th international conference on Algorithmic Number Theory
Multi-index transport problems with decomposition structure
Automation and Remote Control
Reducing the Pareto set based on set-point information
Scientific and Technical Information Processing
Verification constraint problems with strengthening
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Randomized relaxation methods for the maximum feasible subsystem problem
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Smoothed analysis of integer programming
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Not every GTSP facet induces an STSP facet
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Scalable analysis of linear systems using mathematical programming
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Optimizing data locality using array tiling
Proceedings of the International Conference on Computer-Aided Design
Identifying hotspots in a program for data parallel architecture: an early experience
Proceedings of the 5th India Software Engineering Conference
Inverse problems of some NP-complete problems
AAIM'05 Proceedings of the First international conference on Algorithmic Applications in Management
Quadratic programming and combinatorial minimum weight product problems
CIAC'06 Proceedings of the 6th Italian conference on Algorithms and Complexity
A robust APTAS for the classical bin packing problem
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
A fast linear-arithmetic solver for DPLL(T)
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Solving sparse linear constraints
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Experiences with enumeration of integer projections of parametric polytopes
CC'05 Proceedings of the 14th international conference on Compiler Construction
Forward communication only placements and their use for parallel program construction
LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing
Schema-guided synthesis of imperative programs by constraint solving
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
On termination of binary CLP programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Proving bounds for real linear programs in Isabelle/HOL
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Totally clairvoyant scheduling with relative timing constraints
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
What's decidable about arrays?
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
DPLL(T) with exhaustive theory propagation and its application to difference logic
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Linear ranking with reachability
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Computerized tomography with digital lines and linear programming
DGCI'05 Proceedings of the 12th international conference on Discrete Geometry for Computer Imagery
Complexity analysis for digital hyperplane recognition in arbitrary fixed dimension
DGCI'05 Proceedings of the 12th international conference on Discrete Geometry for Computer Imagery
BDDs in a branch and cut framework
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
Probabilistic subgraph matching based on convex relaxation
EMMCVPR'05 Proceedings of the 5th international conference on Energy Minimization Methods in Computer Vision and Pattern Recognition
Leveraging terminological structure for object reconciliation
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Intruder deduction for AC-like equational theories with homomorphisms
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Exploiting sparsity in polyhedral analysis
SAS'05 Proceedings of the 12th international conference on Static Analysis
From automata to semilinear sets: a logical solution for sets L (C, P)
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Edge-Connectivity augmentation and network matrices
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Packing cycles exactly in polynomial time
Journal of Combinatorial Optimization
Boolean lexicographic optimization: algorithms & applications
Annals of Mathematics and Artificial Intelligence
Analysis of integer programming algorithms with L-partition and unimodular transformations
Automation and Remote Control
Intersection Cuts with Infinite Split Rank
Mathematics of Operations Research
Stressing is better than relaxing for negative cost cycle detection in networks
ADHOC-NOW'05 Proceedings of the 4th international conference on Ad-Hoc, Mobile, and Wireless Networks
How pseudo-boolean programming can help genome rearrangement distance computation
RCG'06 Proceedings of the RECOMB 2006 international conference on Comparative Genomics
Approximation algorithms for edge-disjoint paths and unsplittable flow
Efficient Approximation and Online Algorithms
Approximation algorithms for the k-median problem
Efficient Approximation and Online Algorithms
Virtual network embedding through topology awareness and optimization
Computer Networks: The International Journal of Computer and Telecommunications Networking
A crypto-biometric scheme based on iris-templates with fuzzy extractors
Information Sciences: an International Journal
The exact lattice width of planar sets and minimal arithmetical thickness
IWCIA'06 Proceedings of the 11th international conference on Combinatorial Image Analysis
Computational aspects of digital plane and hyperplane recognition
IWCIA'06 Proceedings of the 11th international conference on Combinatorial Image Analysis
Ranking function synthesis for bit-vector relations
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An interpolating sequent calculus for quantifier-free presburger arithmetic
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Optimized feature distribution in distributed agile environments
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
Polyhedral code generation in the real world
CC'06 Proceedings of the 15th international conference on Compiler Construction
ViNEYard: virtual network embedding algorithms with coordinated node and link mapping
IEEE/ACM Transactions on Networking (TON)
On lifting integer variables in minimal inequalities
IPCO'10 Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization
A polynomial-time algorithm for optimizing over N-flod 4-block decomposable integer programs
IPCO'10 Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization
The chvátal-gomory closure of an ellipsoid is a polyhedron
IPCO'10 Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization
An OPT+1 algorithm for the cutting stock problem with constant number of object lengths
IPCO'10 Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization
Reachability games for linear hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
On a linear programming approach to the discrete willmore boundary value problem and generalizations
Proceedings of the 7th international conference on Curves and Surfaces
New linearizations of quadratic assignment problems
Computers and Operations Research
On-chip cache hierarchy-aware tile scheduling for multicore machines
CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Two complexity results on c-optimality in experimental design
Computational Optimization and Applications
Exploring online virtual networks mapping with stochastic bandwidth demand in multi-datacenter
Photonic Network Communications
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
Journal of Automated Reasoning
Hermite normal forms and δ-vectors
Journal of Combinatorial Theory Series A
Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization
ACM Transactions on Architecture and Code Optimization (TACO)
A new look at the automatic synthesis of linear ranking functions
Information and Computation
Optimizing I/O for big array analytics
Proceedings of the VLDB Endowment
Computing Gröbner bases of pure binomial ideals via submodules of Zn
Journal of Symbolic Computation
Transactions on Petri Nets and Other Models of Concurrency V
Solving graded/probabilistic modal logic via linear inequalities (system description)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Solving a nonlinear integer program for allocating resources
Mathematical and Computer Modelling: An International Journal
Branching-Time model checking of parametric one-counter automata
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
On the complexity of computing probabilistic bisimilarity
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Minimal critical subsystems for discrete-time markov models
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Domain reduction using GRASP construction phase for transmission expansion planning problem
EvoCOP'12 Proceedings of the 12th European conference on Evolutionary Computation in Combinatorial Optimization
On the Rank of Disjunctive Cuts
Mathematics of Operations Research
Incorporating processor costs in optimizing the distributed execution of join queries
Mathematical and Computer Modelling: An International Journal
The propagation of updates to relational tables in a distributed database system
Mathematical and Computer Modelling: An International Journal
Allocating relations in a distributed database system
Mathematical and Computer Modelling: An International Journal
Evaluating multiple join queries in a distributed database system
Mathematical and Computer Modelling: An International Journal
Mathematical and Computer Modelling: An International Journal
Executing join queries in an uncertain distributed environment
Mathematical and Computer Modelling: An International Journal
Discrete-time temporal reasoning with horn DLRs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Optimization with binet matrices
Operations Research Letters
Colorings of k-balanced matrices and integer decomposition property of related polyhedra
Operations Research Letters
On a class of mixed-integer sets with a single integer variable
Operations Research Letters
Lifting, tilting and fractional programming revisited
Operations Research Letters
The inequality-satisfiability problem
Operations Research Letters
On the Kth best base of a matroid
Operations Research Letters
Determining the right-hand vectors of an irredundant linear inequality system
Operations Research Letters
Lower bounds for the Chvátal-Gomory rank in the 0/1 cube
Operations Research Letters
Certificates of linear mixed integer infeasibility
Operations Research Letters
A superclass of Edge-Path-Tree graphs with few cliques
Operations Research Letters
Carathéodory bounds for integer cones
Operations Research Letters
The split closure of a strictly convex body
Operations Research Letters
The mixing set with divisible capacities: A simple approach
Operations Research Letters
Bounds on the size of branch-and-bound proofs for integer knapsacks
Operations Research Letters
Partitioning and scheduling loops on NOWs
Computer Communications
Reachability determination in acyclic Petri nets by cell enumeration approach
Automatica (Journal of IFAC)
Survey: Cycle bases in graphs characterization, algorithms, complexity, and applications
Computer Science Review
Computer Science Review
Strengthening lattice-free cuts using non-negativity
Discrete Optimization
Discrete Optimization
Polarity and the complexity of the shooting experiment
Discrete Optimization
Column basis reduction and decomposable knapsack problems
Discrete Optimization
On the high multiplicity traveling salesman problem
Discrete Optimization
On duality and fractionality of multicommodity flows in directed networks
Discrete Optimization
On the complexity of submodular function minimisation on diamonds
Discrete Optimization
Algebraic methods for parameterized codes and invariants of vanishing ideals over finite fields
Finite Fields and Their Applications
Generating functions and duality for integer programs
Discrete Optimization
Integral infeasibility and testing total dual integrality
Operations Research Letters
Three, four, five, six, or the complexity of scheduling with communication delays
Operations Research Letters
Some applications of nonnegative linear systems: Farkas strikes again
Operations Research Letters
On interior algorithms for linear programming with no regularity assumptions
Operations Research Letters
Generalization of Karmarkar's algorithm to convex homogeneous functions
Operations Research Letters
Greedy heuristics for single-machine scheduling problems with general earliness and tardiness costs
Operations Research Letters
Baseball playoff eliminations: An application of linear programming
Operations Research Letters
A characterization of the uncapacitated network design polytope
Operations Research Letters
Operations Research Letters
A proof of the optimality of the MIN paging algorithm using linear programming duality
Operations Research Letters
Polytopes related to the l∞-distance between vectors
Operations Research Letters
ε-Approximation minimization of convex functions in fixed dimension
Operations Research Letters
Linear-shaped partition problems
Operations Research Letters
Integer programming, Barvinok's counting algorithm and Gomory relaxations
Operations Research Letters
Optimization with additional variables and constraints
Operations Research Letters
Review of the book by Alexander Schrijver: Combinatorial Optimization: Polyhedra and Efficiency
Operations Research Letters
A note on the traveling salesman problem
Operations Research Letters
Recognizing max-flow min-cut path matrices
Operations Research Letters
Lifting facets of the cut polytope
Operations Research Letters
International Journal of Computer Vision
Geometrical regular languages and linear Diophantine equations: The strongly connected case
Theoretical Computer Science
Uniqueness in Discrete Tomography: Three Remarks and a Corollary
SIAM Journal on Discrete Mathematics
Program analysis using quantifier-elimination heuristics
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Overlapping coalition formation games: charting the tractability frontier
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Parallel pipelined filter ordering with precedence constraints
ACM Transactions on Algorithms (TALG)
Security protocols, constraint systems, and group theories
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Computing game metrics on markov decision processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Topology-aware VM migration in bandwidth oversubscribed datacenter networks
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
A Scheduling Strategy for Synchronous Elastic Designs
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Robust architectures for embedded wireless network control and actuation
ACM Transactions on Embedded Computing Systems (TECS)
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Using real relaxations during program specialization
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Constrained matching problems in bipartite graphs
ISCO'12 Proceedings of the Second international conference on Combinatorial Optimization
On the complexity of the highway problem
Theoretical Computer Science
Unified expectation maximization
NAACL HLT '12 Proceedings of the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
Optimal provisioning for virtual network request in cloud-based data centers
Photonic Network Communications
Improving Reachability Analysis of Infinite State Systems by Specialization
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
LLL-reduction for integer knapsacks
Journal of Combinatorial Optimization
Precise relational invariants through strategy iteration
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Cauchy's theorem and edge lengths of convex polyhedra
WADS'07 Proceedings of the 10th international conference on Algorithms and Data Structures
Characteristic imsets for learning Bayesian network structure
International Journal of Approximate Reasoning
Integer realizations of disk and segment graphs
Journal of Combinatorial Theory Series B
Models of opinion control for agents in social networks
Automation and Remote Control
Learning neighborhoods for metric learning
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
Mengerian quasi-graphical families and clutters
European Journal of Combinatorics
Network bargaining: using approximate blocking sets to stabilize unstable instances
SAGT'12 Proceedings of the 5th international conference on Algorithmic Game Theory
Termination proofs for linear simple loops
SAS'12 Proceedings of the 19th international conference on Static Analysis
On the linear ranking problem for integer linear-constraint loops
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multiindex transportation problems with 2-embedded structure
Automation and Remote Control
International Journal of Decision Support System Technology
On-the-Fly exact computation of bisimilarity distances
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
IPCO'13 Proceedings of the 16th international conference on Integer Programming and Combinatorial Optimization
On some generalizations of the split closure
IPCO'13 Proceedings of the 16th international conference on Integer Programming and Combinatorial Optimization
Reduction of economic inequality in combinatorial domains
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Taxation and stability in cooperative games
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Dynamic synthesis of local time requirement for service composition
Proceedings of the 2013 International Conference on Software Engineering
The complexity of finite-valued CSPs
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
ACM Transactions on Sensor Networks (TOSN)
On the Inference of Resource Usage Upper and Lower Bounds
ACM Transactions on Computational Logic (TOCL)
An algorithm for weighted fractional matroid matching
Journal of Combinatorial Theory Series B
Column Generation for the Minimum Hyperplanes Clustering Problem
INFORMS Journal on Computing
An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares
Mathematics of Operations Research
Reshaping cache misses to improve row-buffer locality in multicore systems
PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques
Dual lower bounds for approximate degree and markov-bernstein inequalities
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
The complexity of three-element min-sol and conservative min-cost-hom
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Presburger arithmetic, rational generating functions, and quasi-polynomials
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Optimal control for linear-rate multi-mode systems
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
High-Level counterexamples for probabilistic automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Camera selection for tracking in distributed smart camera networks
ACM Transactions on Sensor Networks (TOSN)
Computing cooperative solution concepts in coalitional skill games
Artificial Intelligence
Consistent thinning of large geographical data for map visualization
ACM Transactions on Database Systems (TODS) - Invited papers issue
StarVars: effective reasoning about relative directions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Fix the code. Don't tweak the hardware: A new compiler approach to Voltage-Frequency scaling
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
Theory and algorithm for generalized memory partitioning in high-level synthesis
Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays
Discrete Event Dynamic Systems
Enumerating colorings, tensions and flows in cell complexes
Journal of Combinatorial Theory Series A
Automatica (Journal of IFAC)
Note: On the complexity of quantified linear systems
Theoretical Computer Science
On balanced incomplete block designs with specified weak chromatic number
Journal of Combinatorial Theory Series A
A Semidefinite Programming approach for solving Multiobjective Linear Programming
Journal of Global Optimization
Feature selection with SVD entropy: Some modification and extension
Information Sciences: an International Journal
Identifiable reparametrizations of linear compartment models
Journal of Symbolic Computation
Presburger Vector Addition Systems
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Consistent shape maps via semidefinite programming
SGP '13 Proceedings of the Eleventh Eurographics/ACMSIGGRAPH Symposium on Geometry Processing
| Hi-index | 0.53 |