Harald Søndergaard

Cited by

	All	Since 2018
Citations	3847	682
h-index	30	16
i10-index	61	23

160

120

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 43 50 66 106 153 142 150 130 126 119 134 141 97 144 120 74 78 113 63 91 94 91 92 79 90 92 99 94 90 100 101 128 111 138 102 102

Public access

View all

25 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Peter SchachteSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Graeme GangeMonash UniversityVerified email at monash.edu
Peter SestoftProfessor, IT University of CopenhagenVerified email at itu.dk
Neil JonesVerified email at diku.dk
Jorge A NavasCertoraVerified email at certora.com
Roberto AmadiniUniversity of BolognaVerified email at unibo.it
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandVerified email at uq.edu.au
Alistair MoffatSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaVerified email at unimelb.edu.au
Eman AlatawiAssistant Professor in Software Engineering at Taibah UniversityVerified email at taibahu.edu.sa
Andy KingKent PortcullisVerified email at kent.ac.uk
François GauthierConsulting Researcher, Oracle LabsVerified email at oracle.com
Alexander JordanOracle LabsVerified email at oracle.com
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Raoul A MulderProfessor of Evolutionary Ecology, Professor of Higher Education, University of MelbourneVerified email at unimelb.edu.au
Justin ZobelComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de

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	425	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	361	1985
An application of abstract interpretation of logic programs: Occur check reduction H Søndergaard ESOP 86, 327-338, 1986	178	1986
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	176	1987
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	158	1993
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27, 505-517, 1990	133	1990
Non-determinism in functional languages H Søndergaard, P Sestoft The Computer Journal 35 (5), 514-523, 1992	131	1992
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	127	1994
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
Collaborative learning through formative peer review: Pedagogy, programs and potential H Søndergaard, RA Mulder Computer Science Education 22 (4), 343-367, 2012	107	2012
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	98	1994
Bottom-up abstract interpretation of logic programs K Marriott, H Søndergaard ICLP/SLP, 733-748, 1988	97	1988
State joining and splitting for the symbolic execution of binaries T Hansen, P Schachte, H Søndergaard RV 9, 76-92, 2009	92	2009
Semantics-based dataflow analysis of logic programs K Marriott, H Søndergaard IFIP Congress, 601-606, 1989	83	1989
What drives curriculum change? P Gruba, A Moffat, H Søndergaard, J Zobel Proceedings of the Sixth Conference on Australasian Computing Education …, 2004	82	2004
Analysis of constraint logic programs K Marriott, H Søndergaard Proceedings of the 1990 North American Conference on Logic Programing, 531-547, 1990	78	1990
Termination analysis for Mercury C Speirs, Z Somogyi, H Søndergaard Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997	68	1997
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	60	1999
A strategy for managing content complexity in algorithm animation L Stern, H Søndergaard, L Naish ACM SIGCSE Bulletin 31 (3), 127-130, 1999	60	1999
Learning from and with peers: The different roles of student peer reviewing H Søndergaard ACM SIGCSE Bulletin 41 (3), 31-35, 2009	55	2009

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

Follow

Cited by

Co-authors