Index of /static/pubs

	Name	Last modified	Size	Description
	Parent Directory		-
	pubs.html	2025-09-23 16:33	9.1K
	pubs.bib	2025-09-23 16:33	142K
	genpubs.sh	2025-09-23 16:33	107