Approximation alogorithms for the maximum acyclic subgraph problem

The fourth moment method

SODA '91 Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms

On the approximation of maximum satisfiability

SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms

Timing uncertainty analysis for time-of-flight systems

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

Improved algorithms via approximations of probability distributions (extended abstract)

STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing

A Fast and Effective Algorithm for the Feedback Arc Set Problem

Journal of Heuristics

Combining Software and Hardware Verification Techniques

Formal Methods in System Design

Combinatorial algorithms for feedback problems in directed graphs

Information Processing Letters

Ordering by weighted number of wins gives a good ranking for weighted tournaments

SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm

Context-sensitive ranking

Proceedings of the 2006 ACM SIGMOD international conference on Management of data

Optimal marketing strategies over social networks

Proceedings of the 17th international conference on World Wide Web

Exact algorithms for maximum acyclic subgraph on a superclass of cubic graphs

WALCOM'08 Proceedings of the 2nd international conference on Algorithms and computation

Ordering by weighted number of wins gives a good ranking for weighted tournaments

ACM Transactions on Algorithms (TALG)

Learning Multi-modal Similarity

The Journal of Machine Learning Research

Restricted common superstring and restricted common supersequence

CPM'11 Proceedings of the 22nd annual conference on Combinatorial pattern matching

On a DAG partitioning problem

WAW'12 Proceedings of the 9th international conference on Algorithms and Models for the Web Graph

Sorting noisy data with partial information

Proceedings of the 4th conference on Innovations in Theoretical Computer Science

Crossing-constrained hierarchical drawings

Journal of Discrete Algorithms