1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DC2023
Trading green bonds using distributed ledger technology
Henrik Axelsen, Ulrik Rasmussen, Johannes Rude Jensen +2
The promising markets for voluntary carbon credits are faced with crippling challenges to the certification of carbon sequestration and the lack of scalable market infrastructure i…
cs.FL2017★ 1 cited
Stream Processing using Grammars and Regular Expressions
Ulrik Terp Rasmussen
In this dissertation we study regular expression based parsing and the use of grammatical specifications for the synthesis of fast, streaming string-processing programs. In the fir…