Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Kazunori Uchida
Hao Mao
m haloua
Peter Malec
Hengyang Wei
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ANDREAS ENGELBREDT DALSGAARD
Author Info
Open Visualization
Name
Papers
Collaborators
ANDREAS ENGELBREDT DALSGAARD
8
35
Citations
PageRank
Referers
71
4.25
173
Referees
References
202
134
Search Limit
100
202
Publications (8 rows)
Collaborators (35 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.
0
0.34
2018
Safety-critical Java for embedded systems.
1
0.43
2017
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.
3
0.40
2017
Certifiable Java for Embedded Systems
1
0.36
2014
Multi-core emptiness checking of timed Büchi automata using inclusion abstraction
14
0.62
2013
Worst-case memory consumption analysis for SCJ.
7
0.44
2013
opaal: a lattice model checker
7
0.46
2011
METAMOC: Modular Execution Time Analysis using Model Checking
38
1.20
2010
1
