Search filters

List of works by Peter J Stuckey

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

A Bit-Vector Solver with Word-Level Propagation

article

A Fresh Look at Zones and Octagons

scientific article published on 04 September 2021

A Tool for Intersecting Context-Free Grammars and Its Applications

A complete refinement procedure for regular separability of context-free languages

A complete solution to the Maximum Density Still Life Problem

scientific article (publication date: June 2012)

A practical object-oriented analysis engine for CLP

Abstract Interpretation over Non-lattice Abstract Domains

article

An Abstract Domain of Uninterpreted Functions

An optimizing compiler for CLP(ℛ)

Analyzing Array Manipulating Programs by Program Transformation

Automatic generation of protein structure cartoons with Pro-origami ⬇️

scientific article published on October 12, 2011

Boolean Constraints for Binding-Time Analysis

Breaking Symmetries with Lex Implications

Comparing usability of one-way and multi-way constraints for diagram editing

scientific article published in January 2008

Computer modelling of a potential agent against SARS-Cov-2 (COVID-19) protease

scientific article published on 14 July 2020

Differential methods in logic program analysis

Discovery and analysis of consistent active sub-networks in cancers

scientific article

Dominance breaking constraints

Exception analysis for non-strict languages

Exception analysis for non-strict languages

Exploration of networks using overview+detail with constraint-based cooperative layout

scientific article published in November 2008

Fast and accurate protein substructure searching with simulated annealing and GPUs

scientific article

Fast optimal and bounded suboptimal Euclidean pathfinding

scientific article published in 2022

Higher-Precision Groundness Analysis

How precise are reported protein coordinate data?

scientific article

Incremental Connector Routing

scientific article published in 2006

Information-Theoretic Inference of an Optimal Dictionary of Protein Supersecondary Structures

scientific article published on 01 January 2019

Interval Analysis and Machine Arithmetic

Just enough tabling

scholarly article published 2004

Low-contact learning in a first year programming course

MIRAGAA--a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer

scientific article

MUSTANG-MR structural sieving server: applications in protein structural analysis and crystallography

scientific article

MUSTANG: a multiple structural alignment algorithm

scientific article published in August 2006

Optimal Sankey Diagrams Via Integer Programming

scholarly article by D. C. Zarate et al., published in April 2018

Optimal sum-of-pairs multiple sequence alignment using incremental Carrillo and Lipman bounds

scientific article published in April 2006

Orthogonal Connector Routing

scientific article published in 2010

Orthogonal Hyperedge Routing

scientific article published in 2012

Piecewise linear approximation of protein structures using the principle of minimum message length

scientific article

Progressive multiple alignment using sequence triplet optimizations and three-residue exchange costs

scientific article published in December 2004

Propagation = Lazy Clause Generation

Reference Abstract Domains and Applications to String Analysis

Seeing Around Corners: Fast Orthogonal Connector Routing

scientific article published in 2014

Semantics of infinite tree logic programming

Sharing and groundness dependencies in logic programs

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

Solving Difference Constraints over Modular Arithmetic

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Statistical Inference of Protein "LEGO Bricks"

Statistical inference of protein structural alignments using information and compression

scientific article published on 8 January 2017

Structural search and retrieval using a tableau representation of protein folding patterns

scientific article published on 05 January 2008

SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques

scientific article published on 20 June 2024

Synthesizing Optimal Switching Lattices

Tableau-based protein substructure search using quadratic programming.

scientific article

Two applications of an incremental analysis engine for (constraint) logic programs

article

Unbounded Model-Checking with Interpolation for Regular Language Constraints

Paulina is supported by:

About Paulina

Help