DBLPifying and adding the html pages

pcminer-tools · Sep 24, 2023 · 0f0842c · 0f0842c
1 parent 1494b43
commit 0f0842c
Show file tree

Hide file tree

Showing 10 changed files with 105 additions and 9 deletions.
diff --git a/data/TFP/2004/tfp2004-pc.txt b/data/TFP/2004/tfp2004-pc.txt
@@ -6,7 +6,7 @@ John Hughes
 Rita Loogen
 Greg Michaelson
 John O'Donnell
-Ricardo Pena
+Ricardo Pe&ntilde;a
 Philip W. Trinder
 Marko van Eekelen
 Philip Wadler
diff --git a/data/TFP/2007/tfp2007-pc.txt b/data/TFP/2007/tfp2007-pc.txt
@@ -10,7 +10,7 @@ Greg Michaelson
 Henrik Nilsson
 Chris Okasaki
 Rex Page
-Ricardo Pena
+Ricardo Pe&ntilde;a
 Benjamin C. Pierce
 John Reppy
 Ulrik P. Schultz

diff --git a/data/TFP/2009/tfp2009-pc.txt b/data/TFP/2009/tfp2009-pc.txt
@@ -1,4 +1,4 @@
-P:Zolt&aacute;n Horvath
+P:Zolt&aacute;n Horv&aacute;th
 P:Vikt&oacute;ria Zs&oacute;k
 Peter Achten
 John Clements

diff --git a/data/TFP/2010/tfp2010-pc.txt b/data/TFP/2010/tfp2010-pc.txt
@@ -1,5 +1,5 @@
 P:Rex Page
-Zolt&aacute;n Horvath
+Zolt&aacute;n Horv&aacute;th
 Vikt&oacute;ria Zs&oacute;k
 Peter Achten
 Emil Axelsson

diff --git a/data/TFP/2014/tfp2014-pc.txt b/data/TFP/2014/tfp2014-pc.txt
@@ -3,7 +3,7 @@ P:Jay McCarthy
 Peter Achten
 Emil Axelsson
 Lucilia Camarao de Figueiredo
-Laura Castro
+Laura M. Castro
 Frank Huch
 Matthew Fluet
 Yukiyoshi Kameyama
@@ -12,12 +12,12 @@ Tamas Kozsik
 Ben Lippmeier
 Luc Maranget
 Marco T. Moraz&aacute;n
-Ricardo Pena
+Ricardo Pe&ntilde;a
 Alexey Rodriguez
 Sven-Bodo Scholz
 Manuel Serrano
 Simon Thompson
 Tarmo Uustalu
 David Van Horn
-Janis Voigtlaender
+Janis Voigtl&auml;nder
 
diff --git a/data/TFP/2016/tfp2016-pc.txt b/data/TFP/2016/tfp2016-pc.txt
@@ -3,7 +3,7 @@ Amal Ahmed
 Nada Amin
 Kenichi Asai
 Malgorzata Biernacka
-Laura Castro
+Laura M. Castro
 Ravi Chugh
 Silvia Ghilezan
 Clemens Grelck

diff --git a/data/TFP/2017/tfp2017-pc.txt b/data/TFP/2017/tfp2017-pc.txt
@@ -2,7 +2,7 @@ P:Meng Wang
 P:Scott Owens
 Jeremy Yallop
 Nicolas Wu
-Laura Castro
+Laura M. Castro
 Gabriel Scherer
 Edwin Brady
 Janis Voigtl&auml;nder

diff --git a/data/TFP/2021/tfp2021.html b/data/TFP/2021/tfp2021.html
diff --git a/data/TFP/2022/tfp2022.html b/data/TFP/2022/tfp2022.html
diff --git a/data/TFP/2023/tfp2023.html b/data/TFP/2023/tfp2023.html