Harald Søndergaard - Google Scholar

Cited by

	All	Since 2015
Citations	3302	550
h-index	26	14
i10-index	53	21

160

120

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202014 12 43 40 58 104 144 136 149 132 130 113 117 145 103 131 116 77 76 86 61 86 88 78 88 88 86 101 94 96 84 94 93 112 70

Co-authors

Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Peter SchachteSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Peter SestoftProfessor, IT University of CopenhagenVerified email at itu.dk
Graeme GangeMonash UniversityVerified email at monash.edu
Neil JonesVerified email at diku.dk
Jorge A NavasSRI InternationalVerified email at sri.com
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Lee NaishComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Paul GrubaThe University of MelbourneVerified email at unimelb.edu.au
Tim MillerSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Alistair MoffatSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Roberto AmadiniUniversity of BolognaVerified email at unibo.it
Andy KingKent PortcullisVerified email at kent.ac.uk
Eman AlatawiAssistant Professor in Software Engineering at Taibah UniversityVerified email at taibahu.edu.sa
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Justin ZobelComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Raoul A MulderProfessor, School of BioSciences, University of MelbourneVerified email at unimelb.edu.au
François GauthierOracle Labs AustraliaVerified email at oracle.com

Harald Søndergaard

Computing and Information Systems, The University of Melbourne

Verified email at unimelb.edu.au - Homepage

Program analysis Software verification Computer security Artificial intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Mix: A self-applicable partial evaluator for experiments in compiler generation ND Jones, P Sestoft, H Søndergaard Lisp and Symbolic Computation 2 (1), 9-50, 1989	385	1989
An experiment in partial evaluation: The generation of a compiler generator N Jones, P Sestoft, H Søndergaard Rewriting techniques and applications, 124-140, 1985	338	1985
A semantics-based framework for the abstract interpretation of Prolog ND Jones, H Søndergaard S. Abramsky and C. Hankin (eds), Abstract Interpretation of Declarative …, 1987	166	1987
An application of abstract interpretation of logic programs: Occur check reduction H Søndergaard ESOP 86, 327-338, 1986	163	1986
Precise and efficient groundness analysis for logic programs K Marriott, H Søndergaard ACM Letters on Programming Languages and Systems 2 (1-4), 181-196, 1993	149	1993
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	122	1998
Non-determinism in functional languages H Søndergaard, P Sestoft The Computer Journal 35 (5), 514-523, 1992	117	1992
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27 (6), 505-517, 1990	117	1990
Denotational abstract interpretation of logic programs K Marriott, H Søndergaard, ND Jones ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 607-648, 1994	112	1994
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	89	1994
Bottom-up abstract interpretation of logic programs K Marriott, H Søndergaard ICLP/SLP, 733-748, 1988	89	1988
Analysis of constraint logic programs K Marriott, H Søndergaard Proceedings of the 1990 North American Conference on Logic Programing, 531-547, 1990	76	1990
Semantics-based dataflow analysis of logic programs K Marriott, H Søndergaard IFIP Congress, 601-606, 1989	76	1989
What drives curriculum change? P Gruba, A Moffat, H Søndergaard, J Zobel Proceedings of the Sixth Conference on Australasian Computing Education …, 2004	71	2004
Collaborative learning through formative peer review: Pedagogy, programs and potential H Søndergaard, RA Mulder Computer Science Education 22 (4), 343-367, 2012	67	2012
Termination analysis for Mercury C Speirs, Z Somogyi, H Søndergaard International Static Analysis Symposium, 157-171, 1997	62	1997
A strategy for managing content complexity in algorithm animation L Stern, H Søndergaard, L Naish ACM SIGCSE Bulletin 31 (3), 127-130, 1999	56	1999
Sharing and groundness dependencies in logic programs M Codish, H Søndergaard, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 948-976, 1999	52	1999
Notes for a tutorial on abstract interpretation of logic programs K Marriott, H Søndergaard North American Conference on Logic Programming, 1989	52	1989
Automatic abstraction for congruences A King, H Søndergaard VMCAI 10, 197-213, 2010	51	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors