The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Harald Søndergaard" ( http://dblp.L3S.de/Authors/Harald_Søndergaard )

URL (Homepage):  http://findanexpert.unimelb.edu.au/display/person13416  Author page on DBLP  Author page in RDF  Community of Harald Søndergaard in ASPL-2

Publication years (Num. hits)
1985-1993 (16) 1994-1998 (15) 1999-2008 (16) 2009-2013 (16) 2014-2016 (20) 2017-2019 (11)
Publication types (Num. hits)
article(36) inproceedings(57) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 17 keywords

Results
Found 95 publication records. Showing 94 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wenxi Wang, Harald Søndergaard, Peter J. Stuckey Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. Search on Bibsonomy J. Autom. Reasoning 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
1Eman Alatawi, Tim Miller 0001, Harald Søndergaard Symbolic Execution with Invariant Inlay: Evaluating the Potential. Search on Bibsonomy ASWEC The full citation details ... 2018 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
1Eman Alatawi, Harald Søndergaard, Tim Miller 0001 Leveraging abstract interpretation for efficient dynamic symbolic execution. Search on Bibsonomy ASE 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
1Wenxi Wang, Harald Søndergaard, Peter J. Stuckey A Bit-Vector Solver with Word-Level Propagation. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yude Lin, Tim Miller 0001, Harald Søndergaard Compositional Symbolic Execution: Incremental Solving Revisited. Search on Bibsonomy APSEC The full citation details ... 2016 DBLP  DOI  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
1Eman Alatawi, Tim Miller 0001, Harald Søndergaard Generating source inputs for metamorphic testing using dynamic symbolic execution. Search on Bibsonomy MET@ICSE 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
1Eman Alatawi, Tim Miller 0001, Harald Søndergaard Using Metamorphic Testing to Improve Dynamic Symbolic Execution. Search on Bibsonomy ASWEC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yude Lin, Tim Miller 0001, Harald Søndergaard Compositional Symbolic Execution Using Fine-Grained Summaries. Search on Bibsonomy ASWEC 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
1Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard Four-Valued Reasoning and Cyclic Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Harald Søndergaard, Peter J. Stuckey Synthesizing Optimal Switching Lattices. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2014 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
1Lee Naish, Harald Søndergaard Truth versus information in logic programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  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
1Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard Fragment-Based Planning Using Column Generation. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  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
1Lee Naish, Harald Søndergaard Truth versus information in logic programming Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  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
1Harald Søndergaard, Raoul A. Mulder Collaborative learning through formative peer review: pedagogy, programs and potential. Search on Bibsonomy Computer Science Education 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
1Lee Naish, Harald Søndergaard, Benjamin Horsfall Logic Programming: From Underspecification to Undefinedness. Search on Bibsonomy CATS The full citation details ... 2012 DBLP  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
1Andy King, Harald Søndergaard Automatic Abstraction for Congruences. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard Learning from and with peers: the different roles of student peer reviewing. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF praze, staged assessment, student peer reviewing, code reviews
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
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
1Andy King, Harald Søndergaard Inferring Congruence Equations Using SAT. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  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
1Peter Schachte, Harald Søndergaard Boolean Approximation Revisited. Search on Bibsonomy SARA The full citation details ... 2007 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
1Alistair Moffat, Baden Hughes, Harald Søndergaard, Paul Gruba Making Connections: First Year Transition for Computer Science and Software Engineering Students. Search on Bibsonomy ACE The full citation details ... 2005 DBLP  BibTeX  RDF
1Paul Gruba, Alistair Moffat, Harald Søndergaard, Justin Zobel What Drives Curriculum Change? Search on Bibsonomy ACE The full citation details ... 2004 DBLP  BibTeX  RDF
1Michael Codish, Harald Søndergaard Meta-circular Abstract Interpretation in Prolog. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard Exception analysis for non-strict languages. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems
1Paul Gruba, Harald Søndergaard A Constructivist Approach to Communication Skills Instruction in Computer Science. Search on Bibsonomy Computer Science Education The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey Higher-Precision Groundness Analysis. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard Boolean Constraints for Binding-Time Analysis. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul Gruba, Harald Søndergaard Transforming Communication Skills Instruction: The Conference Approach. Search on Bibsonomy ACSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF student conferences, Computer science education, constructivism, communication skills
1Michael Codish, Harald Søndergaard, Peter J. Stuckey Sharing and groundness dependencies in logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Boolean functions, program analysis, abstract interpretation, dataflow analysis, global analysis, groundness analysis, sharing analysis
1Linda Stern, Harald Søndergaard, Lee Naish A strategy for managing content complexity in algorithm animation. Search on Bibsonomy ITiCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard Differential Methods in Logic Program Analysis. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 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
1Kim Marriott, Harald Søndergaard, Peter J. Stuckey A Practical Object-Oriented Analysis Engine for CLP. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Codish, Harald Søndergaard The Boolean Logic of Set Sharing Analysis. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Tihomir Gabric, Kevin Glynn, Harald Søndergaard Strictness Analysis as Finite-Domain Constraint Solving. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard, A. John Hurst (eds.) Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, ACSE 1997, Melbourne, Victoria, Australia, 1997 Search on Bibsonomy ACSE The full citation details ... 1997 DBLP  BibTeX  RDF
1Chris Speirs, Zoltan Somogyi, Harald Søndergaard Termination Analysis for Mercury. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1James Bailey 0001, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard Abstract Interpretation of Active Rules and its Use in Termination Analysis. Search on Bibsonomy ICDT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey Low-contact learning in a first year programming course. Search on Bibsonomy ACSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Lobel Crnogorac, Andrew D. Kelly, Harald Søndergaard A Comparison of Three Occur-Check Analysers. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard Immediate Fixpoints and Their Use in Groundness Analysis. Search on Bibsonomy FSTTCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap An Optimizing Compiler for CLP(R). Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kim Marriott, Harald Søndergaard, Neil D. Jones Denotational Abstract Interpretation of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
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
1Kim Marriott, Harald Søndergaard Difference-List Transformation for Prolog. Search on Bibsonomy New Generation Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kim Marriott, Harald Søndergaard Precise and Efficient Groundness Analysis for Logic Programs. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF abstract interpretation, propositional logic, condensation, groundness analysis
1Kim Marriott, Harald Søndergaard Bottom-Up Dataflow Analysis of Normal Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard, Peter Sestoft Non-Determinism in Functional Languages. Search on Bibsonomy Comput. J. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard, Peter Sestoft Referential Transparency, Definiteness and Unfoldability. Search on Bibsonomy Acta Inf. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Kim Marriott, Harald Søndergaard Analysis of Constraint Logic Programs. Search on Bibsonomy NACLP The full citation details ... 1990 DBLP  BibTeX  RDF
1Kim Marriott, Harald Søndergaard, Philip W. Dart A Characterization of Non-Floundering Logic Programs. Search on Bibsonomy NACLP The full citation details ... 1990 DBLP  BibTeX  RDF
1Kim Marriott, Harald Søndergaard On prolog and the occur check problem. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog
1Neil D. Jones, Peter Sestoft, Harald Søndergaard Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1989 DBLP  BibTeX  RDF
1Kim Marriott, Harald Søndergaard Semantics-Based Dataflow Analysis of Logic Programs. Search on Bibsonomy IFIP Congress The full citation details ... 1989 DBLP  BibTeX  RDF
1Peter Sestoft, Harald Søndergaard A bibliography on partial evaluation. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Kim Marriott, Harald Søndergaard Bottom-up Abstract Interpretation of Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Neil D. Jones, Peter Sestoft, Harald Søndergaard MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Peter Sestoft, Harald Søndergaard An experiment in partial evaluation: the generation of a compiler generator. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Peter Sestoft, Harald Søndergaard An Experiment in Partial Evaluation: The Generation of a Compiler Generator. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #94 of 94 (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