Rene Rydhof Hansen
Associate Professor
Selma Lagerløfs Vej 300
Building: 1-2-12
9220 Aalborg Ø
Denmark
Research (51)
- Published
Walking the line: The everyday security ties that bind
Publication: Research - peer-review › Article in proceeding
- Published
An Automata-Based Approach to Trace Partitioned Abstract Interpretation
Publication: Research - peer-review › Book chapter
- Published
Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model
Publication: Research - peer-review › Article in proceeding
Research projects (5)
Self Energy-Supporting Autonomous Computation
Project: Research
Certifiable Java for Embedded Systems
Project: Research
Most frequent journals
Science of Computer Programming
ISSNs: 0167-6423
Additional searchable ISSN (Electronic): 1872-7964
Elsevier BV, Netherlands
Journal
ERCIM News
ISSNs: 0926-4981
Additional searchable ISSN (Electronic): 1564-0094
European Research Consortium for Informatics and Mathematics, France
Journal
Software: Practice & Experience
ISSNs: 0038-0644
Additional searchable ISSN (Electronic): 1097-024X
JohnWiley & Sons Ltd., United Kingdom
Journal
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Additional searchable ISSN (Electronic): 1611-3349, 1865-0937
Springer, Germany
Journal: Book series
Information and Computation
ISSNs: 0890-5401
Additional searchable ISSN (Electronic): 1090-2651
Academic Press, United States
Journal