Edit Profile Søndergaard, Harald Compute Distance To: Compute Author ID: sondergaard.harald Published as: Søndergaard, Harald Documents Indexed: 34 Publications since 1986 all top 5 Co-Authors 1 single-authored 18 Stuckey, Peter James 17 Schachte, Peter 12 Gange, Graeme 7 Navas, Jorge A. 4 Marriott, Kim 3 Codish, Michael 3 Glynn, Kevin 2 Amadini, Roberto 2 Henshall, Kevin 2 Kafle, Bishoksan 2 King, Andy 2 Sestoft, Peter 2 Sulzmann, Martin 2 Wang, Wenxi 2 Whiting, Leigh 1 Andrlon, Mak 1 Armstrong, Tania 1 Cornish, J. Robert M. 1 Gallagher, John P. 1 Garcia de la Banda, Maria 1 Gauthier, Francois 1 Genaim, Samir 1 Herlihy, Brian 1 Jones, Neil D. 1 Jordan, Alexander 1 Naish, Lee 1 Zhang, Chenyi all top 5 Serials 4 Theory and Practice of Logic Programming 2 The Journal of Logic Programming 1 Acta Informatica 1 Artificial Intelligence 1 Theoretical Computer Science 1 Science of Computer Programming 1 New Generation Computing 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Chicago Journal of Theoretical Computer Science 1 Fundamenta Informaticae Fields 34 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 20 Publications have been cited 63 times in 52 Documents Cited by ▼ Year ▼ Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 An application of abstract interpretation of logic programs: Occur check reduction. Zbl 0605.68090Søndergaard, Harald 10 1986 Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025Marriott, Kim; Søndergaard, Harald 5 1992 Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald 5 1988 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2015 Referential transparency, definiteness and unfoldability. Zbl 0679.68150Søndergaard, Harald; Sestoft, Peter 4 1990 Automatic abstraction for congruences. Zbl 1273.68085King, Andy; Søndergaard, Harald 3 2010 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2018 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 A bit-vector solver with word-level propagation. Zbl 06598678Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2013 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 2 2013 Inferring congruence equations using SAT. Zbl 1155.68441King, Andy; Søndergaard, Harald 2 2008 A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 Truth versus information in logic programming. Zbl 1302.68053Naish, Lee; Søndergaard, Harald 1 2014 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh 1 2010 Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin 1 2010 Meta-circular abstract interpretation in Prolog. Zbl 1026.68505Codish, Michael; Søndergaard, Harald 1 2002 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2018 A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 A bit-vector solver with word-level propagation. Zbl 06598678Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2015 Truth versus information in logic programming. Zbl 1302.68053Naish, Lee; Søndergaard, Harald 1 2014 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2013 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 2 2013 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 Automatic abstraction for congruences. Zbl 1273.68085King, Andy; Søndergaard, Harald 3 2010 An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh 1 2010 Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin 1 2010 Inferring congruence equations using SAT. Zbl 1155.68441King, Andy; Søndergaard, Harald 2 2008 Meta-circular abstract interpretation in Prolog. Zbl 1026.68505Codish, Michael; Søndergaard, Harald 1 2002 Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Bottom-up dataflow analysis of normal logic programs. Zbl 0776.68025Marriott, Kim; Søndergaard, Harald 5 1992 Referential transparency, definiteness and unfoldability. Zbl 0679.68150Søndergaard, Harald; Sestoft, Peter 4 1990 Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald 5 1988 An application of abstract interpretation of logic programs: Occur check reduction. Zbl 0605.68090Søndergaard, Harald 10 1986 all cited Publications top 5 cited Publications all top 5 Cited by 91 Authors 6 Søndergaard, Harald 5 King, Andy 4 Schachte, Peter 3 Brauer, Jörg 3 Gallagher, John P. 3 Hill, Patricia M. 3 Spoto, Fausto 3 Vidal, Germán 2 Albert, Elvira 2 Bagnara, Roberto 2 Hermenegildo, Manuel V. 2 Howe, Jacob M. 2 Kowalewski, Stefan 2 Marriott, Kim 2 Navas, Jorge A. 2 Payet, Étienne 2 Ranzato, Francesco 2 Stuckey, Peter James 2 Zaffanella, Enea 1 Achten, Peter 1 Ackley, Elena S. 1 Amato, Gianluca 1 Arias, Joaquin 1 Bardin, Sébastien 1 Bobot, François 1 Bofill, Miquel 1 Borralleras, Cristina 1 Bossi, Annalisa 1 Burton, F. Warren 1 Carro, Manuel 1 Chakraborty, Supratik 1 Chawdhary, Aziem 1 Chihani, Zakaria 1 Christiansen, Henning 1 Codish, Michael 1 Dams, Dennis René 1 Denvy, Olivier 1 Doménech, Jesús J. 1 Drabent, Włodzimierz 1 Falaschi, Moreno 1 Filé, Gilberto 1 Flener, Pierre 1 Forrest, Stephanie 1 Futamura, Yoshihiko 1 Gange, Graeme 1 Genaim, Samir 1 Giacobazzi, Roberto 1 Gori, Roberta 1 Gras, Daniel Cabeza 1 Hansen, Bo Stig 1 Henshall, Kevin 1 Herlihy, Brian 1 Hooker, John N. jun. 1 John, Ajith K. 1 Jones, Neil D. 1 Kafle, Bishoksan 1 Koopman, Pieter 1 Larsen, Peter Gorm 1 Levi, Giorgio 1 Lisper, Björn 1 Marchiori, Elena 1 Marques-Silva, João P. 1 Marre, Bruno 1 Martin-Martin, Enrique 1 Mencía, Carlos 1 Mesnard, Fred 1 Morazán, Marco T. 1 Naish, Lee 1 Nogi, Kenroku 1 Olarte, Carlos 1 Page, Rex L. 1 Palamidessi, Catuscia 1 Pearson, Justin 1 Previti, Alessandro 1 Reeves, A. C. 1 Robbins, Edward L. 1 Rubio, Albert 1 Schlich, Bastian 1 Schulte, Christian 1 Scott, Joseph D. 1 Scozzari, Francesca 1 Simon, Axel 1 Takano, Akihiko 1 Trias, Eric 1 van Eekelen, Marko 1 Vanhoof, Wim 1 Wang, Wenxi 1 Whiting, Leigh 1 Yamasaki, Susumu 1 Yardeni, Eyal 1 Yernaux, Gonzague all top 5 Cited in 17 Serials 14 Theoretical Computer Science 9 Theory and Practice of Logic Programming 3 Higher-Order and Symbolic Computation 2 Information Processing Letters 2 Science of Computer Programming 2 New Generation Computing 2 Information and Computation 2 Formal Methods in System Design 1 Acta Informatica 1 Artificial Intelligence 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 International Journal of Foundations of Computer Science 1 Diagrammes 1 Journal of Functional Programming 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic all top 5 Cited in 8 Fields 50 Computer science (68-XX) 4 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) Citations by Year