Old Web
English
Sign In
Acemap
>
authorDetail
>
Maja Hanne Kirkeby
Maja Hanne Kirkeby
Computer science
Theoretical computer science
Software
Programmer
Real-time computing
5
Papers
17
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Confluence of CHR revisited: invariants and modulo equivalence
2018
arXiv: Programming Languages
Henning Christiansen
Maja Hanne Kirkeby
Show All
Source
Cite
Save
Citations (0)
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
2018
arXiv: Programming Languages
Henning Christiansen
Maja Hanne Kirkeby
Show All
Source
Cite
Save
Citations (0)
ENTRA: Whole-Systems Energy Transparency
2016
arXiv: Hardware Architecture
Kerstin Eder
John P. Gallagher
Pedro López García
Henk L. Muller
Zorana Bankovic
Kyriakos Georgiou
Rémy Haemmerlé
Manuel V. Hermenegildo
Bishoksan Kafle
Steve Kerrison
Maja Hanne Kirkeby
Maximiliano Klemen
Xueliang Li
Umer Liqat
Jeremy Morse
Morten Rhiger
Mads Rosendahl
Show All
Source
Cite
Save
Citations (0)
ENTRA: Whole-systems energy transparency
2016
Microprocessors and Microsystems
Kerstin Eder
John P. Gallagher
Pedro López García
Henk L. Muller
Zorana Bankovic
Kyriakos Georgiou
Rémy Haemmerlé
Manuel V. Hermenegildo
Bishoksan Kafle
Steve Kerrison
Maja Hanne Kirkeby
Maximiliano Klemen
Xueliang Li
Umer Liqat
Jeremy Morse
Morten Rhiger
Mads Rosendahl
Show All
Source
Cite
Save
Citations (17)
Probabilistic Resource Analysis by Program Transformation
2016
arXiv: Programming Languages
Maja Hanne Kirkeby
Mads Rosendahl
Show All
Source
Cite
Save
Citations (0)
1