| 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 | 126 | 1998 |
| Boolean functions for dependency analysis: Algebraic properties and efficient representation T Armstrong, K Marriott, P Schachte, H Søndergaard International Static Analysis Symposium, 266-280, 1994 | 88 | 1994 |
| 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 | 77 | 2009 |
| 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 | 76* | 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 | 51 | 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 |
| Factorizing equivalent variable pairs in ROBDD-based implementations of Pos R Bagnara, P Schachte International Conference on Algebraic Methodology and Software Technology …, 1999 | 42 | 1999 |
| Combining string abstract domains for JavaScript analysis: An evaluation R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 35 | 2017 |
| Abstract interpretation over non-lattice abstract domains G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey International Static Analysis Symposium, 6-24, 2013 | 31 | 2013 |
| Signedness-agnostic program analysis: Precise integer bounds for low-level code JA Navas, P Schachte, H Søndergaard, PJ Stuckey Asian Symposium on Programming Languages and Systems, 115-130, 2012 | 31 | 2012 |
| An abstract domain of uninterpreted functions G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey International Conference on Verification, Model Checking, and Abstract …, 2016 | 30 | 2016 |
| 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 | 24 | 2015 |
| Exploiting sparsity in difference-bound matrices G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey International Static Analysis Symposium, 189-211, 2016 | 23 | 2016 |
| 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 | 22 | 2013 |
| Unbounded model-checking with interpolation for regular language constraints G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte International Conference on Tools and Algorithms for the Construction and …, 2013 | 22 | 2013 |
| 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 | 21 | 2015 |
| Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. D De Una, N Rümmele, G Gange, P Schachte, PJ Stuckey IJCAI 2018, 27th, 2018 | 20 | 2018 |
| 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 | 17 | 2018 |
| Precise and efficient static analysis of logic programs P Schachte University of Melbourne, Department of Computer Science, 1999 | 16 | 1999 |
| Compiling CP subproblems to MDDs and d-DNNFs D de Una, G Gange, P Schachte, PJ Stuckey Constraints 24 (1), 56-93, 2019 | 15 | 2019 |
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
