57 lines
2.5 KiB
BibTeX
57 lines
2.5 KiB
BibTeX
@misc{Kohlhase:pdpl10,
|
|
author = {Michael Kohlhase},
|
|
title = {Preparing {DFG} Proposals in {\LaTeX} with \texttt{dfgproposal.cls}},
|
|
institution = {KWARC Group, FAU Erlangen-N\"urnberg},
|
|
howpublished = {Self-documenting {\LaTeX} package, \url{https://github.com/KWARC/LaTeX-proposal/tree/master/dfg/dfgproposal.pdf}; ask the author for access},
|
|
year = 2010}
|
|
@misc{providemore,title={\ldots should provide more high-class references \ldots},author = {the proposal authors}}
|
|
@BOOK{Lamport:ladps94,
|
|
title = {LaTeX: A Document Preparation System, 2/e},
|
|
publisher = {Addison Wesley},
|
|
year = {1994},
|
|
author = {Leslie Lamport}}
|
|
@BOOK{Knuth:ttb84,
|
|
title = {The {\TeX}book},
|
|
publisher = {Addison Wesley},
|
|
year = {1984},
|
|
author = {Donald E. Knuth}}
|
|
@BOOK{DK:LP,
|
|
title = {{Literate Programming}},
|
|
publisher = {The University of Chicago Press},
|
|
year = 1992,
|
|
author = {Donald E. Knuth}}
|
|
@article{KohDavGin:psewads11,
|
|
journal = {Procedia Computer Science},
|
|
author = {Michael Kohlhase and Joe Corneli and Catalin David and Deyan Ginev and Constantin Jucovschi and Andrea Kohlhase and Christoph Lange and Bogdan Matican and Stefan Mirea and Vyacheslav Zholudev},
|
|
title = {The Planetary System: Web 3.0 \& Active Documents for STEM},
|
|
issuetitle = {Special issue: Proceedings of the International Conference on Computational Science (ICCS)},
|
|
editor = {Mitsuhisa Sato and Satoshi Matsuoka and Peter M. Sloot and G. Dick van Albada and Jack Dongarra},
|
|
pages = {598--607},
|
|
venue = {Nanyang Technological University, Singapore},
|
|
eventdate = {2011-06-01/2011-06-03},
|
|
note = {Finalist at the Executable Paper Grand Challenge},
|
|
year = 2011,
|
|
volume = 4,
|
|
url = {http://kwarc.info/kohlhase/papers/epc11.pdf},
|
|
publisher = {Elsevier},
|
|
doi = {10.1016/j.procs.2011.04.063},
|
|
keywords = {conference},
|
|
pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev,projects/planetary,projects/ikyda2012},
|
|
acceptancerate = {14},
|
|
acceptancerateCOMMENT = {10/70 accepted into the finals}}
|
|
@InProceedings{Lange:OpenMathCDLinkedData10,
|
|
author = {Christoph Lange},
|
|
title = {Towards {OpenMath} Content Dictionaries as Linked Data},
|
|
crossref = {OM10},
|
|
eprint = {1006.4057v1},
|
|
eprinttype = {arxiv},
|
|
eprintclass = {cs.DL},
|
|
pubs = {clange,projects/ikyda2012}}
|
|
@PROCEEDINGS{OM10,
|
|
editor = {Michael Kohlhase and Christoph Lange},
|
|
title = {23\textsuperscript{rd} OpenMath Workshop},
|
|
booktitle = {23\textsuperscript{rd} OpenMath Workshop},
|
|
url = {http://cicm2010.cnam.fr/om/},
|
|
year = {2010},
|
|
month = jul}
|