Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. - Tania Armstrong; Kim Marriott; Peter Schachte; Harald Søndergaard (SAS, 1994)

Efficient Object-Oriented Programming in Prolog. - Peter Schachte; Georges Saab (Logic Programming: Formal Methods and Practical Applications, 1995)

Global Variables in Logic Programming. - Peter Schachte (ICLP, 1997)

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. - Roberto Bagnara; Peter Schachte (APPIA-GULP-PRODE, 1998)

Two Classes of Boolean Functions for Dependency Analysis. - Tania Armstrong; Kim Marriott; Peter Schachte; Harald Søndergaard (Sci. Comput. Program., 1998)

Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. - Peter Schachte (CATS, 2001)

Sequence Quantification. - Peter Schachte (PADL, 2003)

A Secure Event Agreement (SEA) protocol for peer-to-peer games. - Amy Beth Corman; Scott Douglas; Peter Schachte; Vanessa Teague (ARES, 2006)

Boolean equation solving as graph traversal. - Brian Herlihy; Peter Schachte; Harald Søndergaard (CATS, 2006)

Size-Change Termination Analysis in k-Bits. - Michael Codish; Vitaly Lagoon; Peter Schachte; Peter J. Stuckey (ESOP, 2006)

Closure Operators for ROBDDs. - Peter Schachte; Harald Søndergaard (VMCAI, 2006)

QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. - Amy Beth Corman; Peter Schachte; Vanessa Teague (ACSC, 2007)

A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. - Amy Beth Corman; Peter Schachte; Vanessa Teague (AINA Workshops (1), 2007)

Suitability of Object and Aspect Oriented Languages for Software Maintenance. - Khalid Al-Jasser; Peter Schachte; Edmund Kazmierczak (ASWEC, 2007)

Secure random number agreement for peer-to-peer applications. - Amy Beth Corman; Peter Schachte; Vanessa Teague (ICPADS, 2007)

Boolean Approximation Revisited. - Peter Schachte; Harald Søndergaard (SARA, 2007)

Un-Kleene Boolean equation Solving. - Brian Herlihy; Peter Schachte; Harald Søndergaard (Int. J. Found. Comput. Sci., 2007)

Binary Decision Diagrams for Affine Approximation - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (CoRR, 2008)

ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs. - Khalid Al-Jasser; Peter Schachte (ACSC, 2009)

Boolean Affine Approximation with Binary Decision Diagrams. - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (CATS, 2009)

State Joining and Splitting for the Symbolic Execution of Binaries. - Trevor Hansen; Peter Schachte; Harald Søndergaard (RV, 2009)

Information loss in knowledge compilation: A comparison of Boolean envelopes. - Peter Schachte; Harald Søndergaard; Leigh Whiting; Kevin Henshall (Artif. Intell., 2010)

An Algorithm for Affine Approximation of Binary Decision Diagrams. - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (Chic. J. Theor. Comput. Sci., 2010)

Estimating the overlap between dependent computations for automatic parallelization. - Paul Bone; Zoltan Somogyi; Peter Schachte (Theory Pract. Log. Program., 2011)

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. - Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (APLAS, 2012)

Towards region-based memory management for Go. - Matthew Davis 001; Peter Schachte; Zoltan Somogyi; Harald Søndergaard (MSPC, 2012)

Controlling loops in parallel mercury code. - Paul Bone; Zoltan Somogyi; Peter Schachte (DAMP, 2012)

Solving Difference Constraints over Modular Arithmetic. - Graeme Gange; Harald Søndergaard; Peter J. Stuckey; Peter Schachte (CADE, 2013)

A low overhead method for recovering unused memory inside regions. - Matthew Davis 001; Peter Schachte; Zoltan Somogyi; Harald Søndergaard (MSPC@PLDI, 2013)

Abstract Interpretation over Non-lattice Abstract Domains. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2013)

Unbounded Model-Checking with Interpolation for Regular Language Constraints. - Graeme Gange; Jorge A. Navas; Peter J. Stuckey; Harald Søndergaard; Peter Schachte (TACAS, 2013)

Failure tabled constraint logic programming by interpolation. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Analyzing Array Manipulating Programs by Program Transformation. - J. Robert M. Cornish; Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2014)

A Partial-Order Approach to Array Content Analysis. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CoRR, 2014)

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2014)

Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy. - Ross Kyprianou; Peter Schachte; Bill Moran 001 (DICTA, 2015)

A Tool for Intersecting Context-Free Grammars and Its Applications. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (NFM, 2015)

Horn clauses as an intermediate representation for program analysis and transformation. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2015)

Steiner Tree Problems with Side Constraints Using Constraint Programming. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (AAAI, 2016)

A Bounded Path Propagator on Directed Graphs. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (CP, 2016)

Weighted Spanning Tree Constraint with Explanations. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (CPAIOR, 2016)

Exploiting Sparsity in Difference-Bound Matrices. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2016)

An Abstract Domain of Uninterpreted Functions. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (VMCAI, 2016)

Adtpp: lightweight efficient safe polymorphic algebraic data types for C. - Lee Naish; Peter Schachte; Aleck M. MacNally (Softw. Pract. Exp., 2016)

A complete refinement procedure for regular separability of context-free languages. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theor. Comput. Sci., 2016)

Minimizing Landscape Resistance for Habitat Conservation. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (CPAIOR, 2017)

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAT, 2017)

Combining String Abstract Domains for JavaScript Analysis: An Evaluation. - Roberto Amadini; Alexander Jordan; Graeme Gange; François Gauthier 001; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (TACAS (1), 2017)

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. - Diego de Uña; Nataliia Rümmele; Graeme Gange; Peter Schachte; Peter J. Stuckey (IJCAI, 2018)

Precondition Inference via Partitioning of Initial States. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CoRR, 2018)

Reference Abstract Domains and Applications to String Analysis. - Roberto Amadini; Graeme Gange; François Gauthier 001; Alexander Jordan; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (Fundam. Informaticae, 2018)

An iterative approach to precondition inference using constrained Horn clauses. - Bishoksan Kafle; John P. Gallagher; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2018)

Dissecting Widening: Separating Termination from Information. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (APLAS, 2019)

Optimal Bounds for Floating-Point Addition in Constant Time. - Mak Andrlon; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ARITH, 2019)

Constraint Programming for Dynamic Symbolic Execution of JavaScript. - Roberto Amadini; Mak Andrlon; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CPAIOR, 2019)

Compiling CP subproblems to MDDs and d-DNNFs. - Diego de Uña; Graeme Gange; Peter Schachte; Peter J. Stuckey (Constraints An Int. J., 2019)

Abstract Interpretation, Symbolic Execution and Constraints. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Gabbrielli's Festschrift, 2020)

String Constraint Solving: Past, Present and Future. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ECAI, 2020)

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2020)

Disjunctive Interval Analysis. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2021)

Lightweight Nontermination Inference with CHCs. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SEFM, 2021)

A Fresh Look at Zones and Octagons. - Graeme Gange; Zequn Ma; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2021)

Transformation-Enabled Precondition Inference. - Bishoksan Kafle; Graeme Gange; Peter J. Stuckey; Peter Schachte; Harald Søndergaard (Theory Pract. Log. Program., 2021)

A lightweight approach to nontermination inference using Constrained Horn Clauses. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Softw. Syst. Model., 2024)