| Two classes of Boolean functions for dependency analysis T Armstrong, K Marriott, P Schachte, H Søndergaard Science of Computer Programming 31 (1), 3-45, 1998 | 127 | 1998 |
| State joining and splitting for the symbolic execution of binaries T Hansen, P Schachte, H Søndergaard International Workshop on Runtime Verification, 76-92, 2009 | 98 | 2009 |
| Boolean functions for dependency analysis: Algebraic properties and efficient representation T Armstrong, K Marriott, P Schachte, H Søndergaard Static Analysis: First International Static Analysis Symposium, SAS'94 Namur …, 1994 | 90 | 1994 |
| The Mercury language reference manual F Henderson, T Conway, Z Somogyi, D Jeffery, P Schachte, S Taylor, ... URL: http://www. cs. mu. oz. au/research/mercury/information/doc/reference …, 1996 | 81* | 1996 |
| A secure event agreement (SEA) protocol for peer-to-peer games AB Corman, S Douglas, P Schachte, V Teague First International Conference on Availability, Reliability and Security …, 2006 | 52 | 2006 |
| A Secure Group Agreement (SGA) protocol for peer-to-peer applications AB Corman, P Schachte, V Teague 21st International Conference on Advanced Information Networking and …, 2007 | 45 | 2007 |
| An abstract domain of uninterpreted functions G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 43 | 2016 |
| Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos R Bagnara, P Schachte International Conference on Algebraic Methodology and Software Technology …, 1999 | 41 | 1999 |
| Combining string abstract domains for JavaScript analysis: An evaluation R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 39 | 2017 |
| Signedness-agnostic program analysis: Precise integer bounds for low-level code JA Navas, P Schachte, H Søndergaard, PJ Stuckey Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012 | 37 | 2012 |
| Abstract interpretation over non-lattice abstract domains G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 34 | 2013 |
| Machine learning and constraint programming for relational-to-ontology schema mapping D De Uña, N Rümmele, G Gange, P Schachte, PJ Stuckey International Joint Conference on Artificial Intelligence 2018, 1277-1283, 2018 | 33 | 2018 |
| Horn clauses as an intermediate representation for program analysis and transformation G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Theory and Practice of Logic Programming 15 (4-5), 526-542, 2015 | 29 | 2015 |
| Interval analysis and machine arithmetic: Why signedness ignorance is bliss G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (1), 1-35, 2015 | 29 | 2015 |
| Unbounded model-checking with interpolation for regular language constraints G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 28 | 2013 |
| Exploiting sparsity in difference-bound matrices G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 26 | 2016 |
| An iterative approach to precondition inference using constrained Horn clauses B Kafle, JP Gallagher, G Gange, P Schachte, H Søndergaard, PJ Stuckey Theory and Practice of Logic Programming 18 (3-4), 553-570, 2018 | 23 | 2018 |
| Failure tabled constraint logic programming by interpolation G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Theory and Practice of Logic Programming 13 (4-5), 593-607, 2013 | 23 | 2013 |
| Compiling CP subproblems to MDDs and d-DNNFs D De Uña, G Gange, P Schachte, PJ Stuckey Constraints 24, 56-93, 2019 | 20 | 2019 |
| Precise and efficient static analysis of logic programs P Schachte University of Melbourne, Department of Computer Science, 1999 | 17 | 1999 |
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
