E-LIB Suche - Ergebnisse für: Jensen, Casper Svenning

1

Towards harnessing theories through tool support for hard r..:

Bøgholm, Thomas ; Frost, Christian ; Hansen, René Rydhof...
Innovations in Systems and Software Engineering. 9 (2012) 1 - p. 17-28 , 2012

Link: https://doi.org/10.1007/..

2

WCET analysis of Java bytecode featuring common execution e..:

, In: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems,

Frost, Christian ; Jensen, Casper Svenning ; Luckow, Kasper Søe. - p. 30-39 , 2011

Link: https://dl.acm.org/doi/1..

3

Stateless Model Checking of Event-Driven Applications:

Jensen, Casper Svenning ; Møller, Anders ; Raychev, Veselin..
Jensen , C S , Møller , A , Raychev , V , Dimitrov , D & Vechev , M 2015 , Stateless Model Checking of Event-Driven Applications . in OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery , ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications , pp. 57-73 , ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications , United States , 21/10/2015 . https://doi.org/10.1145/2814270.2814282. , 2015

Link: https://pure.au.dk/porta..

4

What to listen for in the consultation. Breast cancer patie..:

Jensen, Christian Gaden ; Elsass, Peter ; Neustrup, Line...
Patient Education and Counseling. 97 (2014) 2 - p. 165-172 , 2014

Link: https://doi.org/10.1016/..

5

Abdim's Stork Ciconia abdimii in Niger: population size, br..:

Christensen, Kim Diget ; Falk, Knud ; Jensen, Flemming Pagh.
Ostrich. 79 (2008) 2 - p. 177-185 , 2008

Link: https://doi.org/10.2989/..

6

Abdim's Stork Ciconia abdimii Exploitation of Senegalese Gr..:

Petersen, Bo Svenning ; Christensen, Kim Diget ; Falk, Knud..
Waterbirds: The International Journal of Waterbird Biology. 31 (2008) 2 - p. 159-168 , 2008

Link: https://www.jstor.org/st..

7

Migration routes and staging areas of Abdim's Storks Ciconi..:

Jensen, Flemming Pagh ; Falk, Knud ; Petersen, Bo Svenning
Ostrich. 77 (2006) 3-4 - p. 210-219 , 2006

Link: https://doi.org/10.2989/..

8

Abdim’s Stork Ciconia abdimii Exploitation of Senegalese Gr..:

Bo Svenning Petersen ; Kim Diget Christensen ; Knud Falk.. , 2008

Link: https://bioone.org/doi/1..

9

The Diet of Nestling Abdim's Stork Ciconia abdimii in Niger:

Falk, Knud ; Flemming Pagh Jensen ; Kim Diget Christensen.
Waterbirds: The International Journal of Waterbird Biology. 29 (2006) 2 - p. 215-220 , 2006

Link: https://www.jstor.org/st..

10