Old Web
English
Sign In
Acemap
>
authorDetail
>
Harald Sondergaard
Harald Sondergaard
Computer science
Algorithm
Theoretical computer science
Telecommunications
Media studies
4
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Dissecting widening: Separating termination from information
2019
Graeme Gange
Jorge A. Navas
Peter Schachte
Harald Sondergaard
Peter J. Stuckey
Show All
Source
Cite
Save
Citations (0)
An iterative approach to precondition inference using constrained Horn clauses.
2018
arXiv: Logic in Computer Science
Bishoksan Kafle
John P. Gallagher
Graeme Gange
Peter Schachte
Harald Sondergaard
Peter J. Stuckey
Show All
Source
Cite
Save
Citations (0)
Call for papers S t a t i c A n a l y s i s S y m p o s i u m - S A S 2 0 0 8
2008
Roberto Giacobazzi
Ben Liblit
Roberto Bagnara
U. Parma
Maurice Bruynooghe
Javier Esparza
Stephen Fink
Manuel V. Hermenegildo
Julia Lawall
U. Copenhagen
Hanne Riis Nielson
David Schmidt
Harald Sondergaard
U Melbourne
Ji Wang
Alicia Villanueva
Show All
Source
Cite
Save
Citations (0)
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, ACSE 1997, Melbourne, Victoria, Australia, 1997
1997
Harald Sondergaard
A. John Hurst
Show All
Source
Cite
Save
Citations (0)
1