The Complexity of Set Constraints

Paths vs. trees in set-based program analysis

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Tarskian set constraints

Information and Computation

Generalized Definite Set Constraints

Constraints

Unification in a Description Logic with Transitive Closure of Roles

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Atomic Set Constraints with Projection

RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications

Higher-Order Positive Set Constraints

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

Set constraints with intersection

Information and Computation - Special issue: LICS'97

Tarskian Set Constraints

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Solving linear equations over polynomial semirings

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Set constraints for destructive array update optimization

Journal of Functional Programming

Unification Modulo ACUI Plus Distributivity Axioms

Journal of Automated Reasoning

Closure properties and decision problems of dag automata

Information Processing Letters

Regularly annotated set constraints

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation

Schema polynomials and applications

EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology

Checking Emptiness of Non-Deterministic Regular Types with Set Operators

Electronic Notes in Theoretical Computer Science (ENTCS)

Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying

ACM Transactions on Computational Logic (TOCL)

Closure properties and decision problems of dag automata

Information Processing Letters

Set constraints with projections

Journal of the ACM (JACM)

Polynomial constraints for sets with cardinality bounds

FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures

Decision problems for language equations

Journal of Computer and System Sciences

What do we know about language equations?

DLT'07 Proceedings of the 11th international conference on Developments in language theory

Non-standard inferences in description logics

Non-standard inferences in description logics

Interaction between record matching and data repairing

Proceedings of the 2011 ACM SIGMOD International Conference on Management of data

Language equations with symmetric difference

CSR'06 Proceedings of the First international computer science conference on Theory and Applications

On language inequalities XK ⊆ LX

DLT'05 Proceedings of the 9th international conference on Developments in Language Theory

Solving language equations and disequations with applications to disunification in description logics and monadic set constraints

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

QUIC graphs: relational invariant generation for containers

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming