[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] current Citeseer
Hello,
Some time ago there was a posting on mizar-forum related to a scientific
literature digital library maintained by NEC Research Institute. Automatic
web search produced a collection of documents in the ResearchIndex database
(http://citeseer.nj.nec.com/cs). As a result, 602300 authors of papers in
the field of Computer Science were identified. You can find the extracted
list of 10000 most cited authors at:
http://citeseer.nj.nec.com/mostcited.html .
I think, it may be of some interest to observe the current position of
mizar-forum members:
Name: Position: Home page:
R. Boyer 593 http://www.cs.utexas.edu/users/boyer/
A. Trybulec 1294 http://math.uwb.edu.pl/~trybulec/
B. Buchberger 1707 http://www.risc.uni-linz.ac.at/people/buchberg/
N. de Bruijn 1849 N/A
G. Bancerek 2144 http://math.uwb.edu.pl/~bancerek/
W. McCune 2908 http://www-unix.mcs.anl.gov/~mccune/
J. Siekmann 4248 http://www.dfki.de/~siekmann/
H. Herbelin 5072 http://coq.inria.fr/~herbelin/
A. Asperti 6153 http://www.cs.unibo.it/~asperti/
M. Kohlhase 8390 http://www.ags.uni-sb.de/~kohlhase/miko.html
R. Solovay 9131 http://math.berkeley.edu/~solovay/
Some members of mizar-forum are classified as database entries corresponding
to multiple authors (sharing the same name and initials):
J. Harrison 872 http://www.abo.fi/~jharriso/
Z. Luo 1248 http://www.dur.ac.uk/~dcs0zl/
Y. Nakamura 1976 http://markun.cs.shinshu-u.ac.jp/kiso/staff/nakamura/index-e.html
At the moment, mizar-forum has 100 subscribers. The only way to identify them
is through their e-mail addresses - in some cases it is not suitable to make
out the person correctly. Still, I hope I didn't overlook anyone from the
list.
Best regards,
Adam Naumowicz