Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rasmussen, Ulrik
456  Ergebnisse:
Personensuche X
?
1

Trading Green Bonds Using Distributed Ledger Technology:

Axelsen, Henrik ; Rasmussen, Ulrik ; Jensen, Johannes Rude.. , 2023
Link: https://ssrn.com/abstrac..
 
?
2

Structural logical relations with case analysis and equalit..:

, In: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice,
Rasmussen, Ulrik ; Filinski, Andrzej - p. 43-54 , 2013
Link: https://dl.acm.org/doi/1..
 
?
3

Carillon Music - MELIN, H. / NORDHEIM, A. / NIELSEN, E.B. /.. 

Naxos Music Library
Traditional ; Langberg, Peter ; Nordheim, Arne... ,
Link: http://suub.naxosmusicli..
 
?
4

PEG parsing in less space using progressive tabling and dyn..:

, In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
Henglein, Fritz ; Rasmussen, Ulrik Terp - p. 35-46 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

Kleenex: compiling nondeterministic transducers to determin..:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Grathwohl, Bjørn Bugge ; Henglein, Fritz ; Rasmussen, Ulrik Terp.. - p. 284-297 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Kleenex: compiling nondeterministic transducers to determin..:

Grathwohl, Bjørn Bugge ; Henglein, Fritz ; Rasmussen, Ulrik Terp..
ACM SIGPLAN Notices.  51 (2016)  1 - p. 284-297 , 2016
Link: https://doi.org/10.1145/..
 
?
7

Evaluation of AIS reception in Arctic regions from space by..:

Larsen, Jesper Abildgaard ; Nielsen, Jens Dalsgaard ; Mortensen, Hans Peter...
Polar Record.  48 (2011)  1 - p. 39-47 , 2011
Link: https://doi.org/10.1017/..
 
?
8

Trading green bonds using distributed ledger technology:

Axelsen, Henrik ; Rasmussen, Ulrik ; Jensen, Johannes Rude..
http://arxiv.org/abs/2304.08154.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Ord skaber virkelighed – så hvordan taler vi om overvægt?:E..:

Andersson, Jan ; Lisager, Charlotte ; Hansen, Gitte...
https://portal.findresearcher.sdu.dk/da/publications/8e761b57-33d0-42c1-bcb8-ffe5b692d536.  , 2023
Link: https://portal.findresea..
 
?
10

Narkosegase in Krankenhäusern 

Belastungen, Massnahmen  Schriftenreihe der Bundesanstalt für Arbeitsschutz, Gefährliche Arbeitsstoffe ; GA 40
Bohne-Matusall, Reinhard ; Rasmussen, Hans U. ; Rasmussen, Hans-Ulrik , 1991
Exemplar:  Zentrale:Magazinturm E01 tp 2137
 
?
11

Stream Processing using Grammars and Regular Expressions:

Rasmussen, Ulrik Terp
http://arxiv.org/abs/1704.08820.  , 2017
Link: http://arxiv.org/abs/170..
 
?
12

Evaluation of AIS Reception in Arctic Regions From Space by..:

Larsen, Jesper Abildgaard ; Nielsen, Jens Frederik Dalsgaard ; Mortensen, Hans Peter...
https://vbn.aau.dk/da/publications/41c21e10-89c7-4c4b-beeb-9be01b0b67d4.  , 2012
Link: https://vbn.aau.dk/da/pu..
 
?
13

Creations. Medieval Rituals, the Arts, and the Concept of C..:

Rasmussen, Ulrik Houlind
https://tidsskrift.dk/dtt/article/view/106456/155416.  , 2009
Link: https://tidsskrift.dk/dt..
 
?
14

Historiske perspektiver på videnskab og religion:

Rasmussen, Ulrik Houlind
https://tidsskrift.dk/slagmark/article/view/105215/154025.  , 2007
Link: https://tidsskrift.dk/sl..
 
?
15

Metaforiseret kosmologi - eller hvordan Kopernikus stillede..:

Rasmussen, Ulrik Houlind
https://tidsskrift.dk/slagmark/article/view/279/231.  , 2006
Link: https://tidsskrift.dk/sl..
 
1-15