The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Peter Schachte" ( http://dblp.L3S.de/Authors/Peter_Schachte )

URL (Homepage):  http://people.eng.unimelb.edu.au/schachte  Author page on DBLP  Author page in RDF  Community of Peter Schachte in ASPL-2

Publication years (Num. hits)
1994-2007 (19) 2008-2013 (16) 2014-2016 (15) 2017-2019 (11)
Publication types (Num. hits)
article(22) incollection(1) inproceedings(38)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 62 publication records. Showing 61 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Compiling CP subproblems to MDDs and d-DNNFs. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Constraint Programming for Dynamic Symbolic Execution of JavaScript. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Optimal Bounds for Floating-Point Addition in Constant Time. Search on Bibsonomy ARITH The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Reference Abstract Domains and Applications to String Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Precondition Inference via Partitioning of Initial States. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Minimizing Landscape Resistance for Habitat Conservation. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A complete refinement procedure for regular separability of context-free languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lee Naish, Peter Schachte, Aleck M. MacNally Adtpp: lightweight efficient safe polymorphic algebraic data types for C. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Weighted Spanning Tree Constraint with Explanations. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey Steiner Tree Problems with Side Constraints Using Constraint Programming. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Exploiting Sparsity in Difference-Bound Matrices. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey A Bounded Path Propagator on Directed Graphs. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An Abstract Domain of Uninterpreted Functions. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn clauses as an intermediate representation for program analysis and transformation. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Tool for Intersecting Context-Free Grammars and Its Applications. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ross Kyprianou, Peter Schachte, Bill Moran Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy. Search on Bibsonomy DICTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Complete Refinement Procedure for Regular Separability of Context-Free Languages. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Partial-Order Approach to Array Content Analysis. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Analyzing Array Manipulating Programs by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Failure tabled constraint logic programming by interpolation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte Solving Difference Constraints over Modular Arithmetic. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthew Davis 0001, Peter Schachte, Zoltan Somogyi, Harald Søndergaard A low overhead method for recovering unused memory inside regions. Search on Bibsonomy MSPC@PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Abstract Interpretation over Non-lattice Abstract Domains. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte Unbounded Model-Checking with Interpolation for Regular Language Constraints. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul Bone, Zoltan Somogyi, Peter Schachte Controlling loops in parallel mercury code. Search on Bibsonomy DAMP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. Search on Bibsonomy APLAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew Davis 0001, Peter Schachte, Zoltan Somogyi, Harald Søndergaard Towards region-based memory management for Go. Search on Bibsonomy MSPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Bone, Zoltan Somogyi, Peter Schachte Estimating the overlap between dependent computations for automatic parallelization Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Bone, Zoltan Somogyi, Peter Schachte Estimating the overlap between dependent computations for automatic parallelization. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting An Algorithm for Affine Approximation of Binary Decision Diagrams. Search on Bibsonomy Chicago J. Theor. Comput. Sci. The full citation details ... 2010 DBLP  BibTeX  RDF
1Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall Information loss in knowledge compilation: A comparison of Boolean envelopes. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Trevor Hansen, Peter Schachte, Harald Søndergaard State Joining and Splitting for the Symbolic Execution of Binaries. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Khalid Al-Jasser, Peter Schachte ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs. Search on Bibsonomy ACSC The full citation details ... 2009 DBLP  BibTeX  RDF
1Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting Boolean Affine Approximation with Binary Decision Diagrams. Search on Bibsonomy CATS The full citation details ... 2009 DBLP  BibTeX  RDF
1Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting Binary Decision Diagrams for Affine Approximation Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Brian Herlihy, Peter Schachte, Harald Søndergaard Un-Kleene Boolean equation Solving. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Khalid Al-Jasser, Peter Schachte, Edmund Kazmierczak Suitability of Object and Aspect Oriented Languages for Software Maintenance. Search on Bibsonomy ASWEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Amy Beth Corman, Peter Schachte, Vanessa Teague QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. Search on Bibsonomy ACSC The full citation details ... 2007 DBLP  BibTeX  RDF
1Amy Beth Corman, Peter Schachte, Vanessa Teague Secure random number agreement for peer-to-peer applications. Search on Bibsonomy ICPADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Amy Beth Corman, Peter Schachte, Vanessa Teague A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. Search on Bibsonomy AINA Workshops (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Schachte, Harald Søndergaard Boolean Approximation Revisited. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague A Secure Event Agreement (SEA) protocol for peer-to-peer games. Search on Bibsonomy ARES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey Size-Change Termination Analysis in k-Bits. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brian Herlihy, Peter Schachte, Harald Søndergaard Boolean equation solving as graph traversal. Search on Bibsonomy CATS The full citation details ... 2006 DBLP  BibTeX  RDF
1Peter Schachte, Harald Søndergaard Closure Operators for ROBDDs. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Schachte Precise goal-independent abstract interpretation of constraint logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Peter Schachte Sequence Quantification. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Peter Schachte Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard Two Classes of Boolean Functions for Dependency Analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Bagnara, Peter Schachte Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Roberto Bagnara, Peter Schachte Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Schachte Global Variables in Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Peter Schachte, Georges Saab Efficient Object-Oriented Programming in Prolog. Search on Bibsonomy Logic Programming: Formal Methods and Practical Applications The full citation details ... 1995 DBLP  BibTeX  RDF
1Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. Search on Bibsonomy SAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #61 of 61 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license