Harald Søndergaard

2.4k total citations
62 papers, 866 citations indexed

About

Harald Søndergaard is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Harald Søndergaard has authored 62 papers receiving a total of 866 indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Artificial Intelligence, 29 papers in Computational Theory and Mathematics and 18 papers in Software. Recurrent topics in Harald Søndergaard's work include Logic, programming, and type systems (32 papers), Formal Methods in Verification (26 papers) and Software Testing and Debugging Techniques (14 papers). Harald Søndergaard is often cited by papers focused on Logic, programming, and type systems (32 papers), Formal Methods in Verification (26 papers) and Software Testing and Debugging Techniques (14 papers). Harald Søndergaard collaborates with scholars based in Australia, Denmark and United States. Harald Søndergaard's co-authors include Kim Marriott, Peter Sestoft, Neil D. Jones, Raoul A. Mulder, Peter J. Stuckey, Peter Schachte, Linda Stern, Graeme Gange, Lee Naish and Alistair Moffat and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Harald Søndergaard

58 papers receiving 754 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Harald Søndergaard Australia	16	579	475	230	159	106	62	866
Murali Sitaraman United States	15	537 0.9×	208 0.4×	266 1.2×	436 2.7×	16 0.2×	83	834
Roger Duke Australia	13	296 0.5×	188 0.4×	261 1.1×	226 1.4×	16 0.2×	40	546
Bastiaan Heeren Netherlands	14	309 0.5×	60 0.1×	298 1.3×	339 2.1×	56 0.5×	42	777
Faron Moller United Kingdom	12	231 0.4×	314 0.7×	89 0.4×	40 0.3×	29 0.3×	48	479
David Ginat Israel	16	148 0.3×	53 0.1×	67 0.3×	183 1.2×	82 0.8×	98	689
Nahia Delgado Spain	6	130 0.2×	36 0.1×	80 0.3×	144 0.9×	49 0.5×	12	360
William F. Atchison United States	5	74 0.1×	66 0.1×	57 0.2×	99 0.6×	24 0.2×	11	363
Silvio O. Navarro United States	4	86 0.1×	82 0.2×	61 0.3×	107 0.7×	15 0.1×	7	372
Earl J. Schweppe United States	5	82 0.1×	72 0.2×	57 0.2×	101 0.6×	14 0.1×	12	344
Viraj Kumar India	8	141 0.2×	29 0.1×	60 0.3×	116 0.7×	43 0.4×	45	397

Countries citing papers authored by Harald Søndergaard

Since Specialization

Citations

This map shows the geographic impact of Harald Søndergaard's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Harald Søndergaard with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Harald Søndergaard more than expected).

Fields of papers citing papers by Harald Søndergaard

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Harald Søndergaard. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Harald Søndergaard. The network helps show where Harald Søndergaard may publish in the future.

Co-authorship network of co-authors of Harald Søndergaard

This figure shows the co-authorship network connecting the top 25 collaborators of Harald Søndergaard. A scholar is included among the top collaborators of Harald Søndergaard based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Harald Søndergaard. Harald Søndergaard is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Gange, Graeme, Zequn Ma, Jorge A. Navas, et al.. (2021). A Fresh Look at Zones and Octagons. ACM Transactions on Programming Languages and Systems. 43(3). 1–51. 1 indexed citations

Søndergaard, Harald, et al.. (2017). Leveraging abstract interpretation for efficient dynamic symbolic execution. Minerva Access (University of Melbourne). 619–624. 3 indexed citations

Gange, Graeme, Jorge A. Navas, Peter Schachte, Harald Søndergaard, & Peter J. Stuckey. (2016). A complete refinement procedure for regular separability of context-free languages. Theoretical Computer Science. 625. 1–24. 1 indexed citations

Gange, Graeme, Harald Søndergaard, & Peter J. Stuckey. (2014). Synthesizing Optimal Switching Lattices. ACM Transactions on Design Automation of Electronic Systems. 20(1). 1–14. 20 indexed citations

Schachte, Peter, et al.. (2010). An algorithm for affine approximation of binary decision diagrams. Minerva Access (University of Melbourne). 2010(11).

Søndergaard, Harald. (2009). Learning from and with peers. 41(3). 1 indexed citations

Moffat, Alistair, Baden Hughes, Harald Søndergaard, & Paul Gruba. (2005). Making connections: first year transition for computer science and software engineering students. Minerva Access (University of Melbourne). 42. 229–238. 2 indexed citations

Gruba, Paul, Alistair Moffat, Harald Søndergaard, & Justin Zobel. (2004). What drives curriculum change. RMIT Research Repository (RMIT University Library). 31 indexed citations

Nicola, Rocco De & Harald Søndergaard. (2001). Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. 1 indexed citations

10.

Banda, María García de la, Kim Marriott, Peter J. Stuckey, & Harald Søndergaard. (1998). Differential methods in logic program analysis. The Journal of Logic Programming. 35(1). 1–37. 5 indexed citations

11.

Marriott, Kim, et al.. (1998). Two classes of Boolean functions for dependency analysis. Science of Computer Programming. 31(1). 3–45. 32 indexed citations

12.

Søndergaard, Harald. (1996). Immediate fixpoints and their use in groundness analysis. Lecture notes in computer science. 1180. 2 indexed citations

13.

Marriott, Kim, et al.. (1995). An optimizing compiler for CLP(R). Lecture notes in computer science. 976. 6 indexed citations

14.

Søndergaard, Harald, et al.. (1992). NONDETERMINISM IN FUNCTIONAL LANGUAGES. The Computer Journal. 35(5). 1 indexed citations

15.

Marriott, Kim & Harald Søndergaard. (1992). Bottom-up dataflow analysis of normal logic programs. The Journal of Logic Programming. 13(2-3). 181–204. 17 indexed citations

16.

Marriott, Kim, Harald Søndergaard, & Philip Dart. (1990). A characterization of non-floundering logic programs. 661–680. 13 indexed citations

17.

Marriott, Kim & Harald Søndergaard. (1990). Analysis of constraint logic programs. 3(4). 531–547. 25 indexed citations

18.

Marriott, Kim & Harald Søndergaard. (1989). Semantics-Based Dataflow Analysis of Logic Programs.. IFIP Congress. 601–606. 41 indexed citations

19.

Marriott, Kim & Harald Søndergaard. (1989). Notes for a Tutorial on Abstract Interpretation of Logic Programs. 25 indexed citations

20.

Marriott, Kim & Harald Søndergaard. (1988). Bottom-up Abstract Interpretation of Logic Programs.. International Conference on Lightning Protection. 733–748. 43 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact