git.ralfj.de Git - web.git/history - research/thesis.html

2022-10-07	Ralf Jung	syntax	blob \| commitdiff \| raw
2022-10-07	Ralf Jung	but still make it bold	blob \| commitdiff \| raw \| diff to current
2022-10-07	Ralf Jung	no need to still make this red	blob \| commitdiff \| raw \| diff to current
2021-10-26	Ralf Jung	add Eduard Martin Preis	blob \| commitdiff \| raw \| diff to current
2021-09-16	Ralf Jung	be less redundant about the year of my thesis	blob \| commitdiff \| raw \| diff to current
2021-09-16	Ralf Jung	add SIGPLAN award	blob \| commitdiff \| raw \| diff to current
2021-07-14	Ralf Jung	the ACM news is out :)	blob \| commitdiff \| raw \| diff to current
2021-05-02	Ralf Jung	add Otto Hahn medal	blob \| commitdiff \| raw \| diff to current
2021-03-16	Ralf Jung	win -> receive	blob \| commitdiff \| raw \| diff to current
2021-03-11	Ralf Jung	add ETAPS award :)	blob \| commitdiff \| raw \| diff to current
2020-12-08	Ralf Jung	update screen render of thesis	blob \| commitdiff \| raw \| diff to current
2020-09-10	Ralf Jung	add thesis DOI	blob \| commitdiff \| raw \| diff to current
2020-09-01	Ralf Jung	fix HTML	blob \| commitdiff \| raw \| diff to current
2020-09-01	Ralf Jung	add my PhD thesis	blob \| commitdiff \| raw \| diff to current
2020-08-30	Ralf Jung	add thesis page stub	blob \| commitdiff \| raw \| diff to current

sources for my website