Contact information
Denmark
Publications
(514)- Published
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Cyclic executive for safety-critical Java on chip-multiprocessors
Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
- Published
Synthetic Aperture Sequential Beamforming
Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
Most frequent journals
Analog Integrated Circuits and Signal Processing
ISSNs: 0925-1030
Springer New York LLC, United States
FI (2012): 1, ISI indexed (2012): yes
Central database
Journal
Physical Review B Condensed Matter
ISSNs: 0163-1829
FI (2012): 2, ISI indexed (2012): no
Central database
Journal
Ultrasonics
ISSNs: 0041-624X
Elsevier BV, Netherlands
FI (2012): 1, ISI indexed (2012): yes
Central database
Journal
Projects
(99)- Completed
- Completed
- Completed
Automatisk Verifikation af store systemer
Project: PhD
Most frequent publishers
Most downloaded publications
- 989
Bootstrapped Low-Voltage Analog Switches
Publication: Research - peer-review › Article in proceedings – Annual report year: 1999
downloads - 972
Linearisation of RF Power Amplifiers
Publication: Research › Ph.d. thesis – Annual report year: 2001
downloads - 868
Dynamic range of low-voltage cascode current mirrors
Publication: Research - peer-review › Article in proceedings – Annual report year: 1995
downloads - 703
A Spur-free Fractional-N Sigma-Delta PLL for GSM Applications: Linear Model and Simulations
Publication: Research - peer-review › Article in proceedings – Annual report year: 2003
downloads - 668
Specifying and verifying requirements of real-time systems
Publication: Research - peer-review › Journal article – Annual report year: 1993
downloads
Latest activities and conferences
ID: 2053