text:
{17\textsuperscript{th} Workshop on Unification},
  year = {2003},
  address = {Valencia, Spain},
  booktitle = {17\textsuperscript{th} Workshop on Unification},
  key = {UNIF2003}}

@PROCEEDINGS{WADT03,
  title = {Recent Trends in Algebraic Development Techniques},
  year = {2003},
  number = {2755},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Recent Trends in Algebraic Development Techniques},
  keywords = {conference},
  key = {WADT03}}

@PROCEEDINGS{WADT06,
  booktitle = {WADT 2006},
  title = {WADT 2006},
  year = {2007},
  editor = {J. Fiadeiro},
  series = {LNCS},
  number = {4409},
  keywords = {conference},
  publisher = {Springer}}

@PROCEEDINGS{WADT10,
  booktitle = "Recent Trends in Algebraic Development Techniques",
  editor = "H. Kreowski and T. Mossakowski",
  number = 7137,
  year = "2011",
  publisher = "{Springer}",
  keywords = {conference},
  series    = {LNCS}}

@PROCEEDINGS{WADT12,
  year = 2013,
  booktitle = {Recent Trends in Algebraic Development Techniques},
  editor = {Till Mossakowski and Narciso Mart{\'i}-Oliet and Palomino Tarjuelo, Miguel},
  eventtitle = {WADT 2012, 21\textsuperscript{st} International Workshop on Algebraic Development Techniques},
  venue = {Salamanca, Spain},
  eventdate = {2012-06-07/2012-06-10},
  series = {LNCS},
  number = 7841,
  publisher = {Springer},
  keywords = {conference}}

@PROCEEDINGS{MathML02,
  key = {MathML02},
  title = {Second International Conference on MathML and Technologies for Math
    on the Web},
  year = {2002},
  address = {Chicago, USA},
  keywords = {conference},
  booktitle = {Second International Conference on MathML and Technologies for Math
    on the Web}}

@PROCEEDINGS{ACL00,
  year = {2000},
  address = {Hongkong},
  keywords = {conference},
  booktitle = {Proceedings of the 38\textsuperscript{th} Annual Meeting of the Association for Computational
    Linguistics}}

@PROCEEDINGS{MathML00,
  title = {MathML and Math on the Web: MathML International Conference},
  booktitle = {MathML and Math on the Web: MathML International Conference},
  year = {2000},
  keywords = {conference},
  address = {Urbana Champaign, USA},
  month = oct}

@PROCEEDINGS{TACAS00,
  title = {Proceedings of the Sixth International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems TACAS-2000},
  year = {2000},
  series = {LNCS},
  address = {Berlin, Germany},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the Sixth International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems, TACAS-2000},
  keywords = {conference},
  key = {TACAS2000}}

@PROCEEDINGS{TACAS07,
  title = {Proceedings of the 13\textsuperscript{th} International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems TACAS-2007},
  year = {2007},
  series = {LNCS},
  number = 4424,
  address = {Berlin, Germany},
  editor = {Orna Grumberg and Michael Huth},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 13\textsuperscript{th} International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems TACAS-2007},
  keywords = {conference},
  key = {TACAS2007}}

@Proceedings{AAAI92,
  Key = "AAAI-92",
  title = 	"Proceedings of the 10th National Conference of the
                  American Association for Artificial Intelligence (AAAI'92)",
  booktitle = 	"Proceedings of the 10th National Conference of the
                  American Association for Artificial Intelligence (AAAI'92)",
  year = 	1992,
  publisher = "MIT Press",
  address = 	"San Jose, CA"
}

@PROCEEDINGS{AAAI99,
  title = {Proceedings of the {Sixteenth National Conference on Artificial Intelligence
    ({AAAI-99})} and {Eleventh Innovative Application of Artificial Intelligence
    Conference ({IAAI-99})}},
  year = {1999},
  publisher = {{AAAI} Press},
  keywords = {conference},
  booktitle = {Proceedings of the {Sixteenth National Conference on Artificial Intelligence
    ({AAAI-99})} and {Eleventh Innovative Application of Artificial Intelligence
    Conference ({IAAI-99})}}}

@PROCEEDINGS{EWNLG99,
  title = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation},
  year = {1999},
  address = {Toulouse France },
  booktitle = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation}}

@PROCEEDINGS{ISSAC99,
  title = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'99})},
  year = {1999},
  publisher = {ACM Press},
  keywords = {conference},
  booktitle = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'99})},
  key = {ISSAC1999}}

@PROCEEDINGS{AAAI96,
  title = {Proceedings of the {Thirteenth National Conference on Artificial
    Intelligence AAAI-96}},
  year = {1998},
  publisher = {{MIT} Press},
  keywords = {conference},
  booktitle = {Proceedings of the {Thirteenth National Conference on Artificial
    Intelligence AAAI-96}}}

@PROCEEDINGS{AAAI98,
  title = {Proceedings of the {Fifteenth National Conference on Artificial Intelligence
    AAAI-98} and {Tenth Conference on Innovative Application of Artificial
    Intelligence IAAI-98}},
  year = {1998},
  publisher = {{MIT} Press},
  keywords = {conference},
  booktitle = {Proceedings of the {Fifteenth National Conference on Artificial Intelligence
    AAAI-98} and {Tenth Conference on Innovative Application of Artificial
    Intelligence IAAI-98}}}

@PROCEEDINGS{INLG98,
  title = {Proceedings of the 9\textsuperscript{th} {International} {Workshop} on {Natural} {Language}
    {Generation}},
  year = {1998},
  address = {Niagara-on-the-Lake, Ontario, \CANADA},
  organization = {INLG},
  booktitle = {Proceedings of the 9\textsuperscript{th} {International} {Workshop} on {Natural} {Language}
    {Generation}},
  key = {INLG1998}}

@PROCEEDINGS{JELIA98,
  year = {1998},
  number = {1489},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {Logics in Artificial Intelligence. European Workshop JELIA '98},
  journal = {LNCS}}

@PROCEEDINGS{AAAI97,
  title = {Proceedings of the {Fourteenth National Conference on Artificial
    Intelligence AAAI-97}},
  year = {1997},
  publisher = {{MIT} Press},
  booktitle = {Proceedings of the {Fourteenth National Conference on Artificial
    Intelligence AAAI-97}},
  venue = {Stanford, USA},
  keywords = {conference},
  eventdate = {1997-03}}

@PROCEEDINGS{ACL97,
  year = {1997},
  address = {Madrid, \SPAIN},
  keywords = {conference},
  booktitle = {Proceedings of the 35\textsuperscript{th} Annual Meeting of the Association for Computational
    Linguistics and the 8\textsuperscript{th} Conference of the European Chapter of the
    Association for Computational Linguistics}}

@PROCEEDINGS{ISSAC97,
  title = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'97})},
  year = {1997},
  address = {Hawaii},
  publisher = {ACM Press},
  keywords = {conference},
  booktitle = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'97})},
  key = {ISSAC1997}}

@PROCEEDINGS{INLG96,
  title = {Proceedings of the 8\textsuperscript{th} International Natural Language Generation
    Workshop},
  year = {1996},
  address = {Herstmonceux Castle, Sussex, UK},
  booktitle = {Proceedings of the 8\textsuperscript{th} International Natural Language Generation
    Workshop},
  key = {INLG1996}}

@PROCEEDINGS{JELIA96,
  year = {1996},
  number = {1126},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {Logics in Artificial Intelligence. European Workshop JELIA '96},
  title = {Logics in Artificial Intelligence. European Workshop JELIA '96},
  key = {JELIA1996}}

@PROCEEDINGS{EWNLG95,
  title = {\PROC of the 5\textsuperscript{th} European Workshop on Natural Language Generation},
  year = {1995},
  address = {Leiden, \NETHERLANDS},
  publisher = {Rijks University Leiden},
  booktitle = {Proceedings of the 5\textsuperscript{th} European Workshop on Natural Language Generation}}

@PROCEEDINGS{ISSAC95,
  title = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'95})},
  year = {1995},
  publisher = {ACM Press},
  keywords = {conference},
  booktitle = {Proceedings of International Symposium on Symbolic and Algebraic
    Computation ({ISSAC'95})},
  key = {ISSAC1995}}

@PROCEEDINGS{UITP95,
  title = {{International Workshop on User Interface Design for Theorem Proving
    Systems}},
  year = {1995},
  address = {Glasgow},
  booktitle = {{International Workshop on User Interface Design for Theorem Proving
    Systems}},
  key = {UITP1995}}

@PROCEEDINGS{WSMTG-IJCAI95,
  title = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation},
  year = {1995},
  address = {Montreal, \CANADA},
  booktitle = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation}}

@PROCEEDINGS{COGSCI94,
  title = {Proceedings of the 16\textsuperscript{th} Annual Conference of the Cognitive Science
    Society},
  keywords = {conference},
  year = {1994}}

@PROCEEDINGS{COLING94,
  title = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational}
    {Linguistics}},
  year = {1994},
  address = {Kyoto, Japan},
  publisher = {Morgan Kaufmann},
  keywords = {conference},
  booktitle = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational}
    {Linguistics}}}

@proceedings{COLING00,
  title     = {{COLING 2000,} 18\textsuperscript{th} {International} {Conference} on {Computational} {Linguistics}},
  booktitle     = {COLING 2000, 18\textsuperscript{th} {International} {Conference} on {Computational} {Linguistics}},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  keywords = {conference},
  ee        = {http://aclweb.org/anthology/C/C00/}
}

@PROCEEDINGS{INLG94,
  title = {Proceedings of the 7\textsuperscript{th} {International} {Workshop} on {Natural} {Language}
    {Generation}},
  year = {1994},
  address = {Kennebunkport, ME},
  organization = {INLG},
  booktitle = {Proceedings of the 7\textsuperscript{th} {International} {Workshop} on {Natural} {Language}
    {Generation}},
  key = {INLG1994}}

@PROCEEDINGS{LICS94,
  title = {Proceedings of the 9\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-9})},
  year = {1994},
  address = {Paris, France},
  publisher = { {IEEE} Computer Society Press},
  booktitle = {Proceedings of the 9\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-9})},
  keywords = {conference},
  key = {LICS1994}}

@PROCEEDINGS{POPL94,
  title = {Proceedings of the 21\textsuperscript{st} {ACM} Symposium on Principles of Programming
    Languages},
  year = {1994},
  address = {New York, NY},
  publisher = {ACM},
  month = jan,
  organization = {ACM},
  booktitle = {Proceedings of the 21\textsuperscript{st} {ACM} Symposium on Principles of Programming
    Languages},
  keywords = {conference},
  key = {POPL1994}}

@PROCEEDINGS{WGENERATION94,
  title = {Proceedings of 7\textsuperscript{th} International Workshop on Generation},
  year = {1994},
  address = {Kennebunkport, Maine, USA},
  booktitle = {Proceedings of 7\textsuperscript{th} International Workshop on Generation}}

@PROCEEDINGS{HOA93,
  year = {1993},
  number = {816},
  series = {LNCS},
  address = {Amsterdam, The Netherlands},
  publisher = {Springer Verlag},
  booktitle = {HOA'93, an International Workshop on Higher-order Algebra, Logic
    and Term Rewriting},
  keywords = {conference},
  key = {HOA1993}}

@PROCEEDINGS{IAAI93,
  title = {Proceedings of the 5\textsuperscript{th} Innovative Applications of Artificial Intelligence
    Conference},
  keywords = {conference},
  year = {1993}}

@PROCEEDINGS{ISMVL93,
  year = {1993},
  address = {Sacramento, CA},
  publisher = {IEEE Press},
  booktitle = {Proceedings of the 23\textsuperscript{rd} Intrenational Symposium on Multiple Valued
    Logic},
  key = {ISMVL1993}}

@PROCEEDINGS{LICS93,
  title = {Proceedings of the 8\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-8})},
  year = {1993},
  address = {Montreal, Canada},
  publisher = { {IEEE} Computer Society Press},
  booktitle = {Proceedings of the 8\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-8})},
  keywords = {conference},
  key = {LICS1993}}

@PROCEEDINGS{PACL93,
  title = {Proceedings of the 1\textsuperscript{st} Conference of the Pacific Association for
    Computational Linguistics},
  year = {1993},
  address = {Vancouver, \CANADA},
  publisher = {Centre for Systems Science, Simon Fraser University}}

@PROCEEDINGS{CTRS92,
  year = {1992},
  number = {656},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the third International Workshop on Conditional Term
    Rewriting Systems, Pont-a-Mousson, France},
  key = {CTRS1992}}

@PROCEEDINGS{LICS91,
  title = {Proceedings of the 6\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-6})},
  year = {1992},
  address = {Amsterdam, NL},
  publisher = { {IEEE} Computer Society Press},
  keywords = {conference},
  booktitle = {Proceedings of the 6\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-6})},
  key = {LICS1991}}

@PROCEEDINGS{LICS92,
  title = {Proceedings of the 7\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-7})},
  year = {1992},
  address = {Santa Cruz, CA, USA},
  publisher = { {IEEE} Computer Society Press},
  keywords = {conference},
  booktitle = {Proceedings of the 7\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-7})},
  key = {LICS1992}}

@PROCEEDINGS{AAAI91,
  title = {Proceedings of AAAI-91},
  year = {1991},
  publisher = {Morgan Kaufman},
  keywords = {conference}}

@PROCEEDINGS{AAAI05,
  title = { Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005)},
  year = {2005},
  publisher = {MIT Press},
  keywords = {conference}}

@PROCEEDINGS{SLDI91,
  title = {Proceedings of the SIGPLAN '91 Symposion on Language Design and Implementation,
    Toronto, Canada},
  year = {1991},
  publisher = {ACM Press},
  booktitle = {Proceedings of the SIGPLAN '91 Symposion on Language Design and Implementation,
    Toronto, Canada}}

@PROCEEDINGS{ACL89,
  title = {Proceedings of the 27\textsuperscript{th} Annual Meeting of the Association for Computational
    Linguistics},
  year = {1989},
  keywords = {conference},
  address = {Vancouver, British Columbia}}

@PROCEEDINGS{LICS89,
  title = {Proceedings of the 4\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-4})},
  year = {1989},
  address = {Pacific Grove, CA, USA},
  publisher = {IEEE Computer Society Press},
  booktitle = {Proceedings of the 4\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-4})},
  keywords = {conference},
  key = {LICS1989}}

@PROCEEDINGS{LICS90,
  title = {Proceedings of the 5\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-5})},
  year = {1989},
  address = {Philadelphia, PA, USA},
  publisher = {IEEE Computer Society Press},
  booktitle = {Proceedings of the 5\textsuperscript{th} Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-5})},
  keywords = {conference},
  key = {LICS1990}}

@PROCEEDINGS{STACS89,
  year = {1989},
  number = {349},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Proceedings STACS'89}}

@PROCEEDINGS{LICS88,
  title = {Proceedings of the third Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-3})},
  year = {1988},
  address = {Edinburgh, Great Britain},
  publisher = {IEEE Computer Society Press},
  booktitle = {Proceedings of the third Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-3})},
  keywords = {conference},
  key = {LICS1988}}

@PROCEEDINGS{ILPS87,
  title = {IEEE Symposium on Logic Programming},
  year = {1987},
  address = {Salt Lake City},
  keywords = {conference},
  booktitle = {IEEE Symposium on Logic Programming}}

@PROCEEDINGS{LICS87,
  title = {Proceedings of the second Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-2})},
  year = {1987},
  address = {Ithaca, NY, USA},
  publisher = {IEEE Computer Society Press},
  booktitle = {Proceedings of the second Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-2})},
  keywords = {conference},
  key = {LICS1987}}

@PROCEEDINGS{LFP86,
  title = {Proceedings {ACM} Conference on {LISP} and Functional Programming},
  year = {1986},
  keywords = {conference},
  booktitle = {Proceedings {ACM} Conference on {LISP} and Functional Programming}}

@PROCEEDINGS{LICS86,
  title = {Proceedings of the first Annual {IEEE} Symposium on Logic in Computer
    Science ({LICS-1})},
  year = {1986},
  address = {Cambridge, MA, USA},
  publisher = {IEEE Computer Society Press},
  keywords = {conference},
  booktitle = {Proceedings of the first Annual {IEEE} Symposium on Logic in Computer

    Science ({LICS-1})},
  key = {LICS1986}}

@PROCEEDINGS{POPL84,
  title = {Proc of the 11\textsuperscript{th} {ACM} Symposium on Principles of Programming Languages},
  year = {1984},
  address = {New York},
  organization = {ACM},
  keywords = {conference},
  booktitle = {Proc of the 11\textsuperscript{th} {ACM} Symposium on Principles of Programming Languages}}

@PROCEEDINGS{LFP82,
  title = {Proceedings {ACM} Conference on {LISP} and Functional Programming},
  year = {1982},
  keywords = {conference},
  booktitle = {Proceedings {ACM} Conference on {LISP} and Functional Programming}}

@PROCEEDINGS{CADE80,
  title = {Proceedings of the 5\textsuperscript{th} International Conference on Automated Deduction},
  year = {1980},
  publisher = {Springer Verlag},
  booktitle = {Proceedings of the 5\textsuperscript{th} International Conference on Automated Deduction},
  keywords = {conference},
  key = {CADE1980}}

@PROCEEDINGS{IJCAI77,
  year = {1977},
  publisher = {Morgan Kaufmann, San Mateo, California, USA},
  booktitle = {Proceedings of the 5\textsuperscript{th} International Joint Conference on Artificial
    Intelligence ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1977}}

@PROCEEDINGS{EUROSAM79,
  title = {Proceedings of the International Symposion on Symbolic and Algebraic
    Manipulation EUROSAM+79},
  year = {1976},
  number = {72},
  series = {LNCS},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Proceedings of the International Symposion on Symbolic and Algebraic
    Manipulation EUROSAM+79}}

@PROCEEDINGS{ACM72,
  title = {Proceedings of the {ACM} annual Conference 1972},
  year = {1972},
  keywords = {conference},
  booktitle = {Proceedings of the {ACM} annual Conference }}

@PROCEEDINGS{SAD70,
  title = {Symposium on Automatic Demonstration},
  year = {1970},
  number = {125},
  keywords = {conference},
  series = {LNM},
  publisher = {Springer Verlag}}

@PROCEEDINGS{IFIP68,
  title = {Proceedings of IFIP Congress in Information Processing},
  year = {1968},
  volume = {68},
  keywords = {conference},
  publisher = {North Holland, Amsterdam},
  booktitle = {Proceedings of IFIP Congress in Information Processing}}

@PROCEEDINGS{MKM01,
  title = {Electronic Proceedings of the First International Workshop on Mathematical
    Knowledge Management: {MKM'2001}},
  year = {2001},
  editor = {Bruno Buchberger and Olga Caprotti},
  url = {http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/},
  keywords = {conference},
  booktitle = {Electronic Proceedings of the First International Workshop on Mathematical
    Knowledge Management: {MKM'2001}}}

@proceedings{ekaw2002,
  editor    = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and
               V. Richard Benjamins},
  title     = {Knowledge Engineering and Knowledge Management. Ontologies
               and the Semantic Web},
  booktitle     = {Knowledge Engineering and Knowledge Management. Ontologies
               and the Semantic Web},
  eventtitle = {13\textsuperscript{th} International Conference, EKAW},
  venue = {Sig{\"u}enza, Spain},
  eventdate = {2002-10-01/2002-10-04},
  publisher = {Springer},
  series    = {LNCS},
  number    = {2473},
  year      = {2002},
  isbn      = {3-540-44268-5}}

@proceedings{ekaw2008,
  editor    = {Aldo Gangemi and J{\'e}r{\^o}me Euzenat},
  title     = {Knowledge Engineering: Practice and Patterns},
  booktitle     = {Knowledge Engineering: Practice and Patterns},
  eventtitle = {16\textsuperscript{th} International Conference, {EKAW}},
  venue = {Acitrezza, Italy},
  eventdate = {2008-09-29/2008-10-02},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number    = {5268},
  year      = {2008},
  keywords = {conference},
  isbn      = {978-3-540-87695-3}}

@Proceedings{WebALT2006,
  title =    {Proceedings of WebALT 2006, First WebALT Conference and Exhibition},
  year =     2006,
  editor =   {Mika Sepp{\"a}l{\"a} and Sebastian Xamb{\'o} and Olga Caprotti},
  isbn =     {952-99666-0-1},
  venue =  {Eindhoven, Netherlands},
  eventdate =    {2006-01-05/2006-01-06},
  publisher =    {Oy WebALT Inc}}

@Proceedings{EdMedia2008,
  title = 	 {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2008 ({ED-MEDIA'08})},
  booktitle = 	 {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2008 ({ED-MEDIA'08})},
  year = 	 2008,
  key = 	 {EdMedia2008},
  venue = { Vienna, Austria },
  eventdate = {2008-06},
  month = 	 jun,
  keywords = {conference},
  publisher = {AACE}}

@Proceedings{EdMedia2007,
  title = 	 {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2007 ({ED-MEDIA'07})},
  booktitle = 	 {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2007 ({ED-MEDIA'07})},
  editor = {Craig Montgomerie and Jane Seale},
  year = 	 2007,
  key = 	 {EdMedia2007},
  annote = 	 {Vancouver, Canada},
  month = 	 jun,
  keywords = {conference},
  publisher = {AACE}}

@Proceedings{MuC2007,
  title = 	 {{Mensch \& Computer 2007: Interaktion im Plural}},
  year = 	 2007,
  key = 	 {MuC2007},
  editor =       {Tom Gross},
  series = 	 {{Konferenzreihe Mensch und Computer}},
  number =       {7},
  address = 	 {Bauhaus-Universit{\"a}t Weimar, Germany},
  month = 	 sep,
  keywords = {conference},
  publisher = {Oldenbourg Verlag},
  annote = 	 {7.te Fach{\"u}bergreifende Konferenz}}

@Proceedings{MathUI04,
  editor =   {Paul Libbrecht},
  title =    {Mathematical User Interfaces Workshop 2004},
  booktitle =    {Mathematical User Interfaces},
  howpublished = {online at {\url{http://www.activemath.org/~paul/MathUI04}}},
  url = {http://www.activemath.org/~paul/MathUI04},
  year =     2004}

@Proceedings{MathUI06,
  editor =   {Paul Libbrecht},
  title =    {Mathematical User-Interfaces Workshop 2006},
  booktitle =    {Mathematical User Interfaces Workshop 2006},
  url = {http://www.activemath.org/~paul/MathUI06},
  year =     2006}

@Proceedings{MathUI07,
  editor =   {Paul Libbrecht},
  title =    {Mathematical User-Interfaces Workshop 2007 at {MKM}},
  booktitle =    {Mathematical User Interfaces Workshop 2007},
  howpublished = {online at {\url{http://www.activemath.org/~paul/MathUI07}}},
  url = {http://www.activemath.org/~paul/MathUI07},
  year =     2007,
  month = jun}

@Proceedings{MathUI12,
  editor =   {Paul Libbrecht},
  title =    {Mathematical User-Interfaces Workshop 2012 at {CICM}},
  booktitle =    {Mathematical User Interfaces Workshop 2012},
  howpublished = {online at {\url{http://www.cermat.org/events/MathUI/12/}}},
  url = {http://www.cermat.org/events/MathUI/12/},
  year =     2012,
  month = jun}

@Proceedings{SCOOP07,
  editor =   {Christine M{\"u}ller},
  title =    {{1\textsuperscript{st} Workshop on Scientific COmmunities Of Practice}},
  booktitle =    {{Proceedings of the 1\textsuperscript{st} SCooP Workshop}},
  howpublished = {online at {\url{http://kwarc.info/events/scoop/scoop1.html}}},
  url = {http://kwarc.info/events/scoop/scoop1.html},
  year =     2007}

@Proceedings{MC07,
  editor =   {Tom Gross},
  title =    {7. Konferenz f{\"u}r interaktive und kooperative Medien},
  booktitle =    {Mensch und Computer 2007},
  publisher =    {Oldenburg},
  keywords = {conference},
  year =     2007}

@Proceedings{LWA07,
  editor =   {Alexander Hinneburg},
  title =    {{Wissens- und Erfahrungsmanagement {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) conference proceedings}},
  booktitle =    {{Wissens- und Erfahrungsmanagement {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) conference proceedings}},
  institution = {Martin-Luther University Halle-Wittenberg},
  publisher = {Martin-Luther-University Halle-Wittenberg},
  year =     {2007}}

@PROCEEDINGS{DeLFI06,
  title = {Proceedings of the 4\textsuperscript{th} eLearning Fachtagung Informatik --- DeLFI 2006},
  year = {2006},
  editor = {Max M{\"u}hlh{\"a}user and Guido R{\"o}ssling and Ralf Steinmetz},
  booktitle = {Proceedings of the 4\textsuperscript{th} eLearning Fachtagung Informatik --- DeLFI 2006},
  volume = {P-87},
  publisher = {K{\"o}llen Druck Verlag GmbH, Bonn}}

@PROCEEDINGS{CSCL05,
  title = {Proceedings of the CSCL 2005},
  year = {2005},
  place = {Taipei, Taiwan},
  editor = {...},
  booktitle = {Proceedings of the CSCL 2005},
  volume = {...},
  publisher = {...}}

@PROCEEDINGS{LC87,
  booktitle = {Logic Colloquium '87},
  title = {Logic Colloquium '87},
  place = {Taipei, Taiwan},
  editor = {H. J. Ebbinghaus},
  publisher = {North Holland}}

@Book{MatZal:fip07,
    title = {From Insight to Proof: Festschrift in Honour of {Andrzej Trybulec}},
    booktitle = {From Insight to Proof: Festschrift in Honour of {Andrzej Trybulec}},
    series = {Studies in Logic, Grammar and Rhetoric},
    editor = {Matuszewski, R. and Zalewska, A.},
    publisher = {University of Bia{\l}ystok},
    year = {2007},
    volume = {10:23},
    url={http://mizar.org/trybulec65/}}

@Proceedings{ICSE04,
  booktitle = {26\textsuperscript{th} {IEEE} International Conference on Software Engineering},
  title = {26\textsuperscript{th} {IEEE} International Conference on Software Engineering},
  keywords = {conference},
  year = 	 2004}

@proceedings{ICSE06,
 title = {ICSE '06: Proceedings of the 28\textsuperscript{th} international conference on Software engineering},
 booktitle = {ICSE '06: Proceedings of the 28\textsuperscript{th} international conference on Software engineering},
 year = {2006},
 isbn = {1-59593-375-1},
 location = {Shanghai, China},
 doi = {10.1145/1134285.1134312},
 url = {http://doi.acm.org/10.1145/1134285.1134312},
 publisher = {ACM},
 address = {New York, NY, USA},
  keywords = {conference}}

@proceedings{eswc2005,
  editor    = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and
               J{\'e}r{\^o}me Euzenat},
  title     = {The Semantic Web: Research and Applications},
  booktitle     = {The Semantic Web: Research and Applications},
  eventtitle = {2\textsuperscript{nd} European
               Semantic Web Conference ({ESWC})},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2005-05-29/2005-06-01},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number    = {3532},
  year      = {2005},
  keywords = {conference},
  isbn      = {3-540-26124-9}}

@proceedings{eswc2007,
  editor    = {Enrico Franconi and
               Michael Kifer and
               Wolfgang May},
  title     = {The Semantic Web: Research and Applications},
  booktitle     = {The Semantic Web: Research and Applications},
  eventtitle = {4\textsuperscript{th} European Semantic Web Conference ({ESWC})},
  venue = {Innsbruck, Austria},
  eventdate = {2007-06-03/2007-06-07},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number    = {4519},
  year      = {2007},
  keywords = {conference},
  isbn      = {978-3-540-72666-1}}

@proceedings{eswc2008,
  editor    = {Sean Bechhofer and Manfred Hauswirth and J{\"o}rg Hoffmann and
                  Manolis Koubarakis},
  title     = {The Semantic Web: Research and Applications},
  booktitle     = {The Semantic Web: Research and Applications},
  keywords = {conference},
  eventtitle = {5\textsuperscript{th} European Semantic Web Conference ({ESWC})},
  venue = {Tenerife, Spain},
  eventdate = {2008-06-01/2008-06-05},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number    = {5021},
  keywords = {conference},
  year      = {2008}}

@proceedings{eswc2009,
  editor    = {Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyv{\"o}nen and Riichiro Mizoguchi and Eyal Oren and Marta Sabou and Paslaru Bontas Simperl, Elena},
  title     = {The Semantic Web: Research and Applications},
  eventtitle = {6\textsuperscript{th} European Semantic Web Conference ({ESWC})},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2009-05-31/2009-06-04},
  booktitle = {ESWC},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number = {5554},
  keywords = {conference},
  year      = {2009}}

@comment{Note: part=1 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct}
@proceedings{eswc2010-1,
  editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache},
  year = {2010},
  title     = {The Semantic Web: Research and Applications (Part {I})},
  booktitle     = {The Semantic Web: Research and Applications (Part {I})},
  eventtitle = {7\textsuperscript{th} Extended Semantic Web Conference ({ESWC})},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2010-05-30/2010-06-03},
  publisher = {Springer Verlag},
  series    = {LNCS},
  keywords = {conference},
  number = {6088}}

@comment{Note: part=2 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct}
@proceedings{eswc2010-2,
  editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache},
  year = {2010},
  title     = {The Semantic Web: Research and Applications (Part {II})},
  booktitle     = {The Semantic Web: Research and Applications (Part {II})},
  keywords = {conference},
  eventtitle = {7\textsuperscript{th} Extended Semantic Web Conference ({ESWC})},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2010-05-30/2010-06-03},
  publisher = {Springer Verlag},
  series    = {LNCS},
  number = {6089}}

@proceedings{swui2008,
  editor = {Duane Degler and schraefel, mc and Jennifer Golbeck and Abraham Bernstein and Lloyd Rutledge},
  title     = {Semantic Web User Interaction ({SWUI}), {CHI}},
  subtitle = {Exploring HCI Challenges},
  eventdate = {2008-04-05},
  venue = {Florence, Italy},
  booktitle     = {Semantic Web User Interaction ({SWUI}), {CHI}},
  year      = {2008},
  number =	 543,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  url = {http://CEUR-WS.org/Vol-543},
  issn = {1613-0073}}

@proceedings{chi2008,
  title     = {Proceedings of the 2008 Conference on Human Factors in Computing
               Systems ({CHI})},
  eventdate = {2008-04-05/2008-04-10},
  venue = {Florence, Italy},
  booktitle = {CHI},
  publisher = {ACM},
  keywords = {conference},
  year      = {2008}}

@proceedings{chi2007,
  editor    = {Mary Beth Rosson and David J. Gilmore},
  title     = {Proceedings of the 2007 Conference on Human Factors in Computing
               Systems, CHI 2007, San Jose, California, USA, April 28 -
               May 3, 2007},
  booktitle = {CHI},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-593-9},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@proceedings{chi1990,
  editor    = {Jane Carrasco Chew and John Whiteside},
  title     = {Conference on Human Factors in Computing Systems ({CHI})},
  booktitle = {Conference on Human Factors in Computing Systems ({CHI})},
  publisher = {ACM},
  address   = {New York, NY, USA},
  year      = {1990},
  eventdate = {1990},
  venue     = {Seattle, WA, USA},
  keywords = {conference},
  isbn      = {0-201-50932-6}}

@Proceedings{LWA08,
  editor = {Joachim Baumeister and Martin Atzm{\"u}ller},
  title =    {{Wissens- und Er\-fah\-rungs\-ma\-nage\-ment {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}},
  booktitle =    {{Wissens- und Erfahrungsmanagement {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}},
  type = {Technical Report},
  volume = {448},
  institution = {Universit{\"a}t W{\"u}rzburg},
  year = {2008},
  month = oct}

@techreport{LWA09,
  author = {Melanie Hartmann and Frederik Janssen},
  title =    {{LWA 2009; Workshop-Woche: Lernen -- Wissen -- Adaptivit{\"a}t}},
  volume = {TUD-KE-2009-04},
  institution = {Universit{\"a}t Darmstadt},
  year = 2009,
  month = sep,}

@PROCEEDINGS{LWA15,
  title = {Proceedings of the {LWA} 2015 Workshops: {KDML, FGWM, IR, and FGDB}},
  booktitle = {Proceedings of the {LWA} 2015 Workshops: {KDML, FGWM, IR, and FGDB}},
  editor = {Ralph Bergmann and  Sebastian G{\"o}rg and Gilbert M{\"u}ller},
  institution = {FGDB. Trier, Germany},
  year = 2015,
  month = oct}

@PROCEEDINGS{LWA13,
  title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings},
booktitle = {LWA 2013 - Lernen, Wissen & Adaptivit{\"a}t, Workshop Proceedings, Bamberg, 7.-9. October 2013},
  editor = {Henrich, Andreas and Sperker, Hans-Christian},
  institution = {Universit{\"a}t Bamberg},
  year = 2013,
  month = oct,
}

@PROCEEDINGS{LWA11,
  title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings},
  booktitle = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment {LWA} (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings},
  institution = {Otto-von-Guericke-Universit{\"a}t Magdeburg},
  year = 2011,
  month = sep,
}

@Proceedings{SCOOP08,
  editor =   {Christine M{\"u}ller},
  title =    {2\textsuperscript{nd} Workshop on Scientific Communities of Practice ({SCooP-2008})},
  booktitle =    {Proceedings of the 2\textsuperscript{nd} SCooP Workshop},
  howpublished = {online at {\url{http://kwarc.info/events/scoop/scoop2.html}}},
  url = {http://kwarc.info/events/scoop/scoop2.html},
  year =     2008,
  month = jun}

@comment{DBLP:conf/wcce/2001}
@proceedings{WCCE01,
  editor    = {Deryn Watson and Jane Andersen},
  title     = {Networking the Learner: Computers in Education, IFIP TC3 Seventh
               IFIP World Conference on Computers in Education, WCCE 2001, July
               29 -- August 3, 2001, Copenhagen, Denmark},
  booktitle = {WCCE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {217},
  year      = {2002},
  isbn      = {1-4020-7133-7},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@Proceedings{ComTech2005,
  year =    2005,
  booktitle = {{Communities and Technologies}},
  editor =   {Peter van den Besselaar and Giorgio de Michelis and Jenny Preece and Carla Simone},
  publisher = {Springer Verlag}}

@Proceedings{SemNet2007,
    booktitle = {Bridging the Gap between Semantic Web and Web 2.0 ({SemNet})},
    editor =     {Andreas Hotho and Bettina Hoser},
    year =   {2007},
    month = jun}

@PROCEEDINGS{KWEPSY2007,
  booktitle = {Proceedings of the KWEPSY (Knowledge Web PhD Symposium)},
  venue = {Innsbruck, Austria},
  eventdate = {2007-06},
  year = 2007,
  editor = {Elena Simperl and J{\"o}rg Diederich and Guus Schreiber},
  number = {275},
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-275}}

@proceedings{DL-handbook03,
  editor    = {Franz Baader and
               Diego Calvanese and
               Deborah L. McGuinness and
               Daniele Nardi and
               Peter F. Patel-Schneider},
  title     = {The Description Logic Handbook: Theory, Implementation,
               and Applications},
  booktitle = {Description Logic Handbook},
  publisher = {Cambridge University Press},
  year      = {2003},
  isbn      = {0-521-78176-0}}

@PROCEEDINGS{MKM04,
  title = {Mathematical Knowledge Management, {MKM'04}},
  year = {2004},
  editor = {Andrea Asperti and Grzegorz Bancerek and Andrej Trybulec},
  number = {3119},
  series = {LNAI},
  publisher = {Springer Verlag},
  keywords = {conference},
  booktitle = {Mathematical Knowledge Management, {MKM'04}}}

@PROCEEDINGS{IJCAI99,
  year = {1999},
  editor = {Thomas Dean},
  address = {Stockholm},
  publisher = {Morgan Kaufmann},
  booktitle = {Proceedings of the 16\textsuperscript{th} {International} {Joint} {Conference} on {Artificial}
    {Intelligence} ({IJCAI})},
  keywords = {conference},
  key = {IJCAI1999}}

@proceedings{CADE07,
  editor    = {Frank Pfenning},
  title     = {Automated Deduction -- CADE-21, 21\textsuperscript{st} International Conference on Automated
                  Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {LNCS},
  number    = {4603},
  year      = {2007},
  keywords = {conference},
  isbn      = {978-3-540-73594-6}}

@proceedings{CADE11,
  editor={Bj{\o}rner, Nikolaj and Sofronie-Stokkermans, Viorica},
  title = {Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction},
  booktitle = {CADE-23},
  publisher = {Springer},
  series    = {LNAI},
  number    = {6803},
  year      = {2011},
  keywords = {conference},
 isbn = {978-3-642-22438-6}}

@proceedings{CADE05,
  editor        = {Nieuwenhuis, Robert},
  title     = {Proceedings of the 20\textsuperscript{th} International Conference on Automated Deduction (CADE-20)},
  booktitle = {CADE-20},
  number        = {3632},
  series        = {LNAI},
  publisher     = {Springer},
  address       = {Tallinn, Estonia},
  month         = jul,
  year          = {2005},
  keywords = {conference}}

@proceedings{CADE03,
  editor= {Baader, Franz},
  title="Automated Deduction -- CADE-19: 19th International Conference on Automated Deduction",
  booktitle = {CADE-19},
  number        = {2741},
  series        = {LNAI},
  publisher     = {Springer},
  year          = {2003},
  keywords = {conference}}

@proceedings{CADE01,
  editor= {Baader, Franz},
  title="Automated Deduction -- CADE-19: 19th International Conference on Automated Deduction",
  booktitle = {CADE-19},
  number        = {2741},
  series        = {LNAI},
  publisher     = {Springer},
  year          = {2001},
  keywords = {conference}}

@PROCEEDINGS{LACL96,
  booktitle = {Logical Aspects of Computational Linguistics},
  title = {Logical Aspects of Computational Linguistics},
  year = {1996},
  editor = {Christian Retor{\'e}},
  keywords = {conference},
  publisher = {Springer-Verlag}}

@PROCEEDINGS{LINEAR96,
  booktitle = {Linear Logic 96 Tokyo Meeting},
  title = {Linear Logic 96 Tokyo Meeting},
  year = {1996},
  volume = {3},
  series = {Electronic Notes in Theoretical Computer Science},
  editor = {Jean-Yves Girard and Mitsuhiro Okada and Andre Scedrov},
  publisher = {Elsevier}}

@Proceedings{iswc2008,
  title = 	 {The Semantic Web},
  booktitle = 	 {The Semantic Web},
  eventtitle = {7\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  year = 	 2008,
  editor =	 {Amit P. Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy W. Finin and Krishnaprasad Thirunarayan},
  number =	 {5318},
  series =	 {LNCS},
  month =	 oct,
  keywords = {conference},
  publisher =	 {Springer Verlag}}

@Proceedings{SWASD09,
  title =        {Semantic Web Applications in Scientific Discourse ({SWASD})},
  booktitle =    {Semantic Web Applications in Scientific Discourse ({SWASD})},
  year =         {2009},
  editor =       {Tim Clark and Joanne S. Luciano and M. Scott Marshall and Eric Prud'hommeaux and Susie Stephens},
  series       = "CEUR Workshop Proceedings",
  address = {Aachen},
  issn = {1613-0073},
  number       = 523,
  url = {http://CEUR-WS.org/Vol-523}}

@Proceedings{SDoW2008,
  title = 	 {Social Data on the Web ({SDoW}), Workshop at the 7\textsuperscript{th} International Semantic Web Conference},
  year = 	 {2008},
  eventdate = {2008-10-27},
  venue = {Karlsruhe, Germany},
  booktitle = 	 {Social Data on the Web ({SDoW}), Workshop at the 7\textsuperscript{th} International Semantic Web Conference},
  editor =	 {John Breslin and Uldis Boj{\=a}rs and Alexandre Passant and Sergio Fern{\'a}ndez},
  series       = "CEUR Workshop Proceedings",
  address = {Aachen},
  issn = {1613-0073},
  number       = 405,
  url = {http://sdow.semanticweb.org/2008/}}

@Proceedings{SDoW2009,
  title = 	 {Social Data on the Web ({SDoW}), Workshop at the 8\textsuperscript{th} International Semantic Web Conference},
  year = 	 2009,
  eventdate = {2009-10-25},
  venue = {Washington DC, USA},
  booktitle = 	 {Social Data on the Web ({SDoW}), Workshop at the 8\textsuperscript{th} International Semantic Web Conference},
  editor =	 {John Breslin and Uldis Boj{\=a}rs and Alexandre Passant and Sergio Fern{\'a}ndez},
  series       = "CEUR Workshop Proceedings",
  address = {Aachen},
  issn = {1613-0073},
  number       = 520,
  url = {http://sdow.semanticweb.org/2009/}}

@Proceedings{MathUI08,
  editor =   {Paul Libbrecht},
  title =    {Mathematical User Interfaces Workshop at {MKM}},
  booktitle =    {Mathematical User Interfaces Workshop},
  url = {http://www.activemath.org/~paul/MathUI08},
  year =     2008,
  month = jul}

@Proceedings{www2003,
  title = {Proceedings of the 12\textsuperscript{th} international {World} {Wide} {Web} conference, ({WWW})},
  venue = {Budapest, Hungary},
  eventdate = {2003-05-20/2003-05-24},
  booktitle = {Proceedings of the 12\textsuperscript{th} {WWW} conference},
  publisher =	 {ACM Press},
  keywords = {conference},
  year = 	 {2003}}

@PROCEEDINGS{www2005,
  title = {Proceedings of the 14\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})},
  venue = {Chiba, Japan},
  eventdate = {2005-05-10/2005-05-14},
  booktitle = {Proceedings of the 14\textsuperscript{th} {WWW} conference},
  publisher = {ACM Press},
  year = {2005},
  editor = {Allan Ellis and Tatsuya Hagino},
  keywords = {conference},
  isbn = {1-59593-046-9}}

@PROCEEDINGS{www2006,
  title = {Proceedings of the 15\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})},
  venue = {Edinburgh, Scotland},
  evendate = {2006-05-23/2006-05-26},
  booktitle = {Proceedings of the 15\textsuperscript{th} {WWW} conference},
  publisher = {ACM Press},
  keywords = {conference},
  year = {2006}}

@PROCEEDINGS{www2007,
  title     = {Proceedings of the 16\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})},
  venue = {Banff, Alberta, Canada},
  eventdate = {2007-05-08/2007-05-12},
  booktitle = {Proceedings of the 16\textsuperscript{th} {WWW} conference},
  publisher = {ACM Press},
  editor    = {Carey L. Williamson and
               Mary Ellen Zurko and
               Peter F. Patel-Schneider and
               Prashant J. Shenoy},
  year      = {2007},
  isbn      = {978-1-59593-654-7},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@PROCEEDINGS{www2008,
  title     = {Proceedings of the 17\textsuperscript{th} international
                  {World} {Wide} {Web} conference ({WWW})},
  venue = {Beijing, China},
  eventdate = {2008-04-21/2008-04-25},
  booktitle = {Proceedings of the 17\textsuperscript{th} {WWW} conference},
  publisher = {ACM Press},
  editor    = {Jinpeng Huai and Robin Chen and Hsiao-Wuen Hon and Yunhao Liu and Wei-Ying Ma and Andrew Tomkins and Xiaodong Zhang},
  year      = {2008},
  isbn      = {978-1-60558-085-2},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@PROCEEDINGS{www2009,
  title     = {Proceedings of the 18\textsuperscript{th} international
                  {World} {Wide} {Web} conference ({WWW})},
  venue = {Madrid, Spain},
  eventdate = {2009-04-20/2009-04-24},
  booktitle = {Proceedings of the 17\textsuperscript{th} {WWW} conference},
  publisher = {ACM Press},
  editor    = {Juan Quemada and Gonzalo Le{\'o}n and Yo{\"e}lle S. Maarek and Wolfgang Nejdl},
  year      = {2009},
  isbn      = {978-1-60558-487-4},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@PROCEEDINGS{er2006,
  title = {25\textsuperscript{th} International Conference on Conceptual Modeling ({ER2006})},
  year = 2006,
  editor = {D. W. Embley and A. Olive and S. Ram},
  number = 4215,
  series = {LNCS},
  venue = {Tucson, USA},
  eventdate = 2006,
  keywords = {conference},
  booktitle = {Proceedings of the 25\textsuperscript{th} International Conference on Conceptual Modeling ({ER2006})}}

@Proceedings{semantics2006,
    title = {Semantics: From Visions to Applications},
    subtitle = {Semantics -- The New Paradigm Shift in {IT}},
    venue = {Vienna, Austria},
    eventdate = {2006-11},
    booktitle = {Proceedings of Semantics: From Visions to Applications},
    booksubtitle = {Semantics -- The New Paradigm Shift in {IT}},
    editor = {York Sure and Sebastian Schaffert},
    year = 2006}

@Proceedings{Wissenstransform05,
 year =      {2005},
 booktitle = {{Wissenstransform. Wissensmanagement in gleichstellungsorientierten Netzwerken}},
 editor =    {Sylke Ernst and Jasmin Warwas and Edit Kirsch-Auwaerter},
 publisher = {LIT Verlag}}

@Proceedings{ComTech2003,
  year =    2003,
  booktitle = {{Communities and Technologies}},
  editor =   {Marleen Huysmann and Etienne Wenger and Volker Wulf},
  publisher = {Kluwer Academic Publishers}}

@Proceedings{OSEE2005,
  title = {Open Source for Education in Europe: Research and Practise},
  booktitle = {Open Source for Education in Europe: Research and Practise},
  year = {2005},
  editor = {Fred de Vries and Graham Attwell and Raymond Elferink and Alexandra T{\"o}dt},
  address = {Heerlen, The Netherlands},
  month = nov,
  organization = {Open Universiteit Nederland},
  publisher = {Open Universiteit Nederland},
  url = {http://hdl.handle.net/1820/483},
  note = {Proceedings at \url{http://hdl.handle.net/1820/483}}}
@Proceedings{LOKMOL2006,
  title = {{2\textsuperscript{nd} Workshop on Learner Oriented Knowledge Management \& {KM} Oriented
                  e-Learning}},
  year = 2006,
  booktitle = {{Joint International Workshop on Professional Learning, Competence
                  Development and Knowledge Management -- LOKMOL and L3NCD}},
  editor = {Martin Memmel and Eric Ras and Stephan Weibelzahl},
  note = {Online Proceedings at
                  {\url{http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf}}},
  url = {http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf}}

@Proceedings{Pre-ConferenceWorkshopsDeLFI2006,
  title = {{Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung
                  Informatik DeLFI 2006}},
  year = 2006,
  editor = {Christoph Rensing},
  publisher = {Logos Verlag},
  note = {ISBN 3-8325-1330-2}}

@proceedings{SIGIR93,
  editor = {Robert Korfhage and Edie M. Rasmussen and Peter Willett},
  title = {Proceedings of the 16\textsuperscript{th} Annual International {ACM-SIGIR} Conference
               on Research and Development in Information Retrieval. Pittsburgh,
               PA, USA, June 27 -- July 1, 1993},
  booktitle = {Proceedings of the 16\textsuperscript{th} Annual International {ACM-SIGIR} Conference
               on Research and Development in Information Retrieval},
  publisher = {ACM},
  keywords = {conference},
  year = {1993}}

@PROCEEDINGS{wikisym06,
  title = {International Symposium on Wikis ({WikiSym})},
  year = 2006,
  eventdate = {2006-08-21/2006-08-23},
  venue = {Odense, Denmark},
  editor =   {Dirk Riehle and James Noble},
  series = {ACM Press},
  booktitle = {Proceedings of the International Symposium on Wikis ({WikiSym})},
  url = {http://www.wikisym.org/ws2006/proceedings/}}

@PROCEEDINGS{wikisym07,
  title = {International Symposium on Wikis ({WikiSym})},
  year = 2007,
  eventdate = {2007-10-21/2007-10-25},
  venue = {Montreal, Quebec, Canada},
  editor = {Alain D{\'e}silets and Robert Biddle},
  series = {ACM Press},
  booktitle = {Proceedings of the International Symposium on Wikis ({WikiSym})},
  url = {http://www.wikisym.org/ws2007/proceedings/}}

@PROCEEDINGS{wikisym08,
  title = {4\textsuperscript{th} International Symposium on Wikis ({WikiSym})},
  year = 2008,
  eventdate = {2008-09-08/2008-09-10},
  venue = {Porto, Portugal},
  editor = {Ademar Aguiar and Mark Bernstein},
  series = {ACM Press},
  booktitle = {Proceedings of the 4\textsuperscript{th} International Symposium on Wikis ({WikiSym})},
  url = {http://www.wikisym.org/ws2008/proceedings/}}

@PROCEEDINGS{wikisym09,
  title = {5\textsuperscript{th} International Symposium on Wikis and Open Collaboration ({WikiSym})},
  year = 2009,
  eventdate = {2009-10-25/2009-10-27},
  venue = {Orlando, Florida},
  editor = {Dirk Riehle and Amy Bruckman},
  series = {ACM Press},
  booktitle = {Proceedings of the 5\textsuperscript{th} International Symposium on Wikis and Open Collaboration ({WikiSym})},
  url = {http://www.wikisym.org/ws2009/proceedings/}}

@PROCEEDINGS{wikisym10,
  title = {6\textsuperscript{th} International Symposium on Wikis and Open Collaboration ({WikiSym})},
  year = 2010,
  eventdate = {2010-07-07/2010-07-09},
  venue = {Gdansk, Poland},
  editor = {Phoebe Ayers and Felipe Ortega},
  series = {ACM Press},
  booktitle = {Proceedings of the 6\textsuperscript{th} International Symposium on Wikis and Open Collaboration ({WikiSym})},
  url = {http://www.wikisym.org/ws2010/Proceedings/}}

@PROCEEDINGS{TLCA97,
  title = {Proceedings of the 3\textsuperscript{rd} International Conference on Typed Lambda Calculus  and Applications},
  booktitle = {Proceedings of the 3\textsuperscript{rd} International Conference on Typed Lambda Calculus  and Applications},
  year = {1997},
  editor = {P. {de Groote} and J. R. Hindley},
  number = {1210},
  series = {LNCS},
  venue = {Nancy, France},
  eventdate = 1997,
  keywords = {conference},
  publisher = {Springer Verlag}}

@PROCEEDINGS{OM09,
  editor = {James H. Davenport},
  title = {22\textsuperscript{nd} OpenMath Workshop},
  booktitle = {22\textsuperscript{nd} OpenMath Workshop},
  url = {http://staff.bath.ac.uk/masjhd/OM2009.html},
  year = {2009},
  month = jul}

@Proceedings{DML08,
  title = 	 {Towards Digital Mathematics Library, Proceedings of the DML 2008 workshop},
  booktitle = 	 {Towards Digital Mathematics Library, Proceedings of the DML 2008 workshop},
  year = 	 2008,
  editor = 	 {Petr Sojka},
  publisher = {Masaryk University, Brno}}

@Proceedings{DML09:biblatex,
  title = 	 {Towards Digital Mathematics Library},
  booktitle = 	 {Towards Digital Mathematics Library},
  eventtitle = {DML 2009 workshop},
  eventdate = {2009-07-08/2009-07-09},
  venue = {Grand Bend, Ontario, Canada},
  year = 	 2009,
  editor = 	 {Petr Sojka},
  publisher = {Masaryk University Press, Brno}}

@Proceedings{DML09,
  title = 	 {Towards Digital Mathematics Library, DML 2009 workshop},
  booktitle = 	 {Towards Digital Mathematics Library, DML 2009 workshop},
  year = 	 2009,
  editor = 	 {Petr Sojka},
  publisher = {Masaryk University, Brno}}

@Proceedings{DML10,
  title = 	 {Towards Digital Mathematics Library, DML workshop},
  booktitle = 	 {Towards Digital Mathematics Library, DML workshop},
  year = 	 2010,
  editor = 	 {Petr Sojka},
  publisher = {Masaryk University, Brno}}

@Proceedings{DML11,
  title = 	 {Towards Digital Mathematics Library, DML workshop},
  booktitle = 	 {Towards Digital Mathematics Library, DML workshop},
  year = 	 2011,
  editor = 	 {Petr Sojka},
  publisher = {Masaryk University, Brno}}

@Proceedings{SIGDoc08,
  title = 	 {Proceedings of the 26\textsuperscript{th} annual {ACM} international conference on Design of communication},
  booktitle = 	 {Proceedings of the 26\textsuperscript{th} annual {ACM} international conference on Design of communication},
  year = 	 2008,
  editor = 	 {Carlos J. Costa  and Aristidis Protopsaltis and  Manuela Aparicio and Henrique O'Neill},
  organization = {ACM Special Interest Group for Design of Communication},
  publisher = {ACM Press}}

@Proceedings{SIGDOC11,
  title = 	 {Proceedings of the 29\textsuperscript{th} annual {ACM} international conference on Design of communication ({SIGDOC})},
  booktitle = 	 {Proceedings of the 29\textsuperscript{th} annual {ACM} international conference on Design of communication ({SIGDOC})},
  year = 	 2011,
  FINDOUTeditor = 	 {Brad Mehlenbacher and Aristidis Protopsaltis and Ashley Williams and Shaun Slatterey},
  organization = {ACM Special Interest Group for Design of Communication},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  FINDOUTdoi = {10.1145/1621995.1622013},
  venue = {Pisa, Italy},
  keywords = {conference},
  CHANGEeventdate = 2011}

@Proceedings{SIGDOC10,
 title = {Proceedings of the 28th {ACM} International Conference on Design of Communication},
 booktitle = {Proceedings of the 28th {ACM} International Conference on Design of Communication},
 series = {SIGDOC '10},
 year = {2010},
 isbn = {978-1-4503-0403-0},
 location = {S\~ao Carlos, S\~ao Paulo, Brazil},
  organization = {ACM Special Interest Group for Design of Communication},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  doi = {10.1145/1621995.1622013},
  venue = {Bloomington, Indiana, USA},
  keywords = {conference},
  eventdate = 2009}

@Proceedings{SIGDOC09,
  title = 	 {Proceedings of the 27\textsuperscript{th} annual {ACM} international conference on Design of communication ({SIGDOC})},
  booktitle = 	 {Proceedings of the 27\textsuperscript{th} annual {ACM} international conference on Design of communication ({SIGDOC})},
  year = 	 2009,
  editor = 	 {Brad Mehlenbacher and Aristidis Protopsaltis and Ashley Williams and Shaun Slatterey},
  organization = {ACM Special Interest Group for Design of Communication},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  doi = {10.1145/1621995.1622013},
  venue = {Bloomington, Indiana, USA},
  keywords = {conference},
  eventdate = 2009}

@Proceedings{FM09,
  title = 	 {16\textsuperscript{th} International Symposium on Formal Methods ({FM 2009})},
  booktitle = 	 {16\textsuperscript{th} International Symposium on Formal Methods ({FM 2009})},
  editor = {Ana Cavalcanti and Dennis Dams},
  publisher = {Springer Verlag},
  series = {LNCS},
  number = {5850},
  keywords = {conference},
  year = {2009}}

@Proceedings{BALISAGE09:biblatex,
  title = 	 {Proceedings of Balisage: The Markup Conference},
  booktitle = 	 {Proceedings of Balisage: The Markup Conference},
  volume = 3,
  publisher = {Mulberry Technologies, Inc.},
  series = {Balisage Series on Markup Technologies},
  year = {2009}}

@Proceedings{BALISAGE09,
  title = 	 {Proceedings of Balisage: The Markup Conference 2009},
  booktitle = 	 {Proceedings of Balisage: The Markup Conference 2009},
  url  = {http://www.balisage.net/Proceedings/vol3/cover.html},
  note = {available at \url{http://www.balisage.net/Proceedings/vol3/}},
  publisher = {Mulberry Technologies, Inc.},
  series = {Balisage Series on Markup Technologies},
  year = {2009}}

@Proceedings{BALISAGE10:biblatex,
  title = 	 {Proceedings of Balisage: The Markup Conference},
  booktitle = 	 {Proceedings of Balisage: The Markup Conference},
  url  = {http://www.balisage.net/Proceedings/vol5/cover.html},
  volume = 5,
  publisher = {Mulberry Technologies, Inc.},
  series = {Balisage Series on Markup Technologies},
  year = {2010}}

@Proceedings{BALISAGE11:biblatex,
  title = 	 {Proceedings of Balisage: The Markup Conference},
  booktitle = 	 {Proceedings of Balisage: The Markup Conference},
  url  = {http://www.balisage.net/Proceedings/vol7/cover.html},
  volume = 7,
  publisher = {Mulberry Technologies, Inc.},
  series = {Balisage Series on Markup Technologies},
  year = {2011}}

@Proceedings{BALISAGE10,
  title = 	 {Proceedings of Balisage: The Markup Conference 2010},
  booktitle = 	 {Proceedings of Balisage: The Markup Conference 2010},
  url  = {http://www.balisage.net/Proceedings/vol3/},
  note = {available at \url{http://www.balisage.net/Proceedings/vol3/}},
  publisher = {Mulberry Technologies, Inc.},
  series = {Balisage Series on Markup Technologies},
  year = {2010}}

@Book{BKB60,
  editor = 	 {Berthold Hoffmann and Bernd Gersdorf and Christoph L{\"u}th and Till Mossakowski and Thomas R{\"o}fer and
Lutz Schr{\"o}der and Shi Hui and Mattias Werner},
  publisher = 	 {DFKI},
  year = 	 2009,
  title = 	 {Festschrift in Honour of {Bernd Krieg-Br{\"u}ckner}'s 60\textsuperscript{th} Birthday},
  booktitle = 	 {Festschrift in Honour of {Bernd Krieg-Br{\"u}ckner}'s 60\textsuperscript{th} Birthday}}

@Proceedings{IWCS99,
  year = {1999},
  booktitle = {Proceedings of {IWCS} {III} (Third International Workshop on Computational
                  Semantics)},
  title = {Proceedings of {IWCS} {III} (Third International Workshop on Computational
                  Semantics)},
  editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet},
  address = {Tilburg}}

@Proceedings{iwcs2,crossref={IWCS97}}
@Proceedings{IWCS97,
  booktitle = {Proceedings of {IWCS} {II} (Second International Workshop on Computational
                  Semantics)},
  title = {Proceedings of {IWCS} {II} (Second International Workshop on Computational
                  Semantics)},
  year = {1997},
  editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet},
  address = {Tilburg}}

@Proceedings{iwcs1,crossref={IWCS94}}
@Proceedings{IWCS94,
  booktitle = {International {Workshop} on {Computational} {Semantics}},
  title = {International {Workshop} on {Computational} {Semantics}},
  year = {1994},
  editor = {Harry Bunt and Reinhard Muskens and Gerrit Rentier},
  address = {Tilburg}}

@proceedings{DBLP:conf/icsoc/2005,
  editor    = {Boualem Benatallah and
               Fabio Casati and
               Paolo Traverso},
  title     = {Service-Oriented Computing -- ICSOC 2005, Third International
               Conference, Amsterdam, The Netherlands, December 12-15,
               2005, Proceedings},
  booktitle = {ICSOC},
  publisher = {Springer},
  series    = {LNCS},
  number    = {3826},
  year      = {2005},
  isbn      = {3-540-30817-2},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@proceedings{DBLP:conf/vl/2005,
  title     = {2005 {IEEE} Symposium on Visual Languages and Human-Centric
               Computing ({VL/HCC 2005}), 21-24 September 2005, Dallas, TX,
               USA},
  booktitle = {VL/HCC},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2443-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@Proceedings{EUSPRIG13,
  title = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2013})},
  booktitle = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2013})},
  CHANGEeditor={Simon Thorne},
  CHANGEpublisher = {European Spreadsheet Risk Interest Group},
  CHANGEisbn = {978-1-905404-50-6},
  keywords = {conference},
  year = 2013}

@Proceedings{EUSPRIG10,
  title = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2010})},
  booktitle = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2010})},
  editor={Simon Thorne},
  publisher = {European Spreadsheet Risk Interest Group},
  isbn = {978-1-905404-50-6},
  keywords = {conference},
  year = 2010}

@Proceedings{EUSPRIG07,
  title = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2007})},
  booktitle = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2007})},
  keywords = {conference},
  year = 2007}

@Proceedings{EUSPRIG05,
  title = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2005})},
  booktitle = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2005})},
  keywords = {conference},
  year = 2005}

@Proceedings{EUSPRIG01,
  title = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2001})},
  booktitle = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2001})},
  keywords = {conference},
  year = 2001}

@Proceedings{EUSPRIG00,
  title = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2000})},
  booktitle = {Symp. of the European Spreadsheet Risks Interest Group ({EuSpRIG 2000})},
  keywords = {conference},
  year = 2000}

@Proceedings{LinkedAI2010,
  year =         {2010},
  editor =       {Dan Brickley and Vinay K. Chaudhri and Harry Halpin and Deborah L. McGuinness},
  booktitle =    {Proceedings of the AAAI Spring Symposium on Linked Data Meets Artificial Intelligence},
  title =    {Proceedings of the AAAI Spring Symposium on Linked Data Meets Artificial Intelligence}}

@proceedings{DBLP:conf/kcap/2007womo,
  editor    = {Bernardo Cuenca Grau and
               Vasant Honavar and
               Anne Schlicht and
               Frank Wolter},
  title     = {Proceedings of the 2\textsuperscript{nd} International Workshop on Modular
               Ontologies ({WoMO}) 2007},
  venue = {Whistler, Canada},
  eventdate = {2007-10-28},
  booktitle = {WoMO},
  url       = {http://ceur-ws.org/Vol-315},
  publisher = {CEUR-WS.org},
  address = {Aachen},
  series    = {CEUR Workshop Proceedings},
  number    = {315},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

@proceedings{SOFSEM2010,
  editor    = {Jan van Leeuwen and
               Anca Muscholl and
               David Peleg and
               Jaroslav Pokorn{\'y} and
               Bernhard Rumpe},
  title     = {{SOFSEM}: Theory and Practice of Computer Science},
  booktitle     = {{SOFSEM}: Theory and Practice of Computer Science},
  eventtitle = {36\textsuperscript{th} Conference on Current Trends in Theory and Practice of Computer Science},
  venue = {{\v S}pindler{\r u}v Ml{\'y}n, Czech Republic},
  eventdate = {2010-01-23/2010-01-29},
  publisher = {Springer},
  series    = {LNCS},
  number    = 5901,
  year      = 2010,
  isbn      = {978-3-642-11265-2},
  doi        = {10.1007/978-3-642-11266-9}}

@Proceedings{ICM2002,
  title =    {Electronic Information and Communication in Mathematics},
  booktitle =    {Electronic Information and Communication in Mathematics},
  eventtitle = {ICM International Satellite Conference},
  venue = {Beijing, China},
  eventdate = {2002-08-29/2002-08-31},
  year =         2003,
  editor =       {Fengshan Bai and Bernd Wegner},
  number =       2730,
  series =       {LNCS},
  keywords = {conference},
  publisher =    {Springer}}

@proceedings{eunis2001,
  editor    = {Jan von Knop and
               Peter Schirmbacher and
               Viljan Mahnic},
  title     = {The Changing Universities -- The Role of Technology},
  eventtitle = {7\textsuperscript{th} International Conference of European University Information
               Systems},
  eventdate = {2001-03-28/2001-03-30},
  venue = {Berlin, Germany},
  booktitle = {EUNIS},
  publisher = {GI},
  series    = {LNI},
  number    = 13,
  year      = 2002,
  isbn      = {3-88579-339-3},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{ACA2008,
  title =        {Applications for Computer Algebra},
  year =         2008,
  booktitle =    {Applications for Computer Algebra},
  editor =       {Elena Smirnova and Stephen M. Watt},
  eventdate =    {2008-07-27/2008-07-30},
  venue =        {RISC, Linz, Austria}}

@PROCEEDINGS{KI10,
  title = {Proceedings of the 33.rd Annual German Conference on Artificial Intelligence
    KI'10},
  year = {2010},
  editor = {R{\"u}diger Dillmann and J{\"u}rgen Beyerer and Uwe D. Hanebeck and Tanja Schultz},
  number = {6359},
  series = {LNAI},
  address = {Karlsruhe, Germany},
  keywords = {conference},
  booktitle = {KI 2010: Advances in Artificial Intelligence},
}

@Proceedings{MALOG10,
  booktitle =    {1\textsuperscript{st} International Workshop on Mathematics and ICT: Education, Research and Applications},
  venue = {Bucharest, Romania},
  eventdate = {2010-11-03},
  year =         {2010},
  editor =       {Ion Mierlus-Mazilu},
  url = {http://civile.utcb.ro/malog/}}

@Proceedings{iswc2009,
  title = 	 {The Semantic Web -- ISWC 2009},
  booktitle = 	 {The Semantic Web -- ISWC 2009},
  eventtitle = {8\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  year = 	 2009,
  editor =	 {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan},
  number =	 {5823},
  series =	 {LNCS},
  month =	 oct,
  keywords = {conference},
  publisher =	 {Springer Verlag}}

@proceedings{iswc2011-1,
  editor    = {Lora Aroyo and
               Chris Welty and
               Harith Alani and
               Jamie Taylor and
               Abraham Bernstein and
               Lalana Kagal and
               Natasha Fridman Noy and
               Eva Blomqvist},
  title     = {The Semantic Web (Part {I})},
  booktitle     = {The Semantic Web (Part {I})},
  eventtitle = {10\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  venue = {Bonn, Germany},
  eventdate = {2011-10-23/2011-10-27},
  publisher = {Springer},
  series    = {LNCS},
  number    = {7031},
  year      = {2011},
  keywords = {conference},
  isbn      = {978-3-642-25072-9},
}

@proceedings{DOCENG10,
  editor    = {Michael Gormish and Rolf Ingold},
  title = {Proceedings of the 10\textsuperscript{th} {ACM} symposium on Document engineering},
  booktitle = {Proceedings of the 10\textsuperscript{th} {ACM} symposium on Document engineering},
  series    = {DocEng '10},
  year      = {2010},
  isbn      = {978-1-4503-0231-9},
  location  = {Manchester, United Kingdom},
  publisher = {ACM},
  keywords = {conference},
  address   = {New York, NY, USA}}

@proceedings{Wiedijk2006provers,
  editor    = {Freek Wiedijk},
  title     = {The Seventeen Provers of the World, Foreword by Dana S.
               Scott},
  booktitle = {The Seventeen Provers of the World},
  publisher = {Springer},
  series    = {LNCS},
  number    = {3600},
  year      = {2006},
  isbn      = {3-540-30704-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{cnl2009,
  editor    = {Norbert E. Fuchs},
  booktitle     = {Controlled Natural Language, Workshop on Controlled Natural Language,
                  CNL 2009. Revised Papers},
  title     = {Controlled Natural Language, Workshop on Controlled Natural Language,
                  CNL 2009. Revised Papers},
  publisher = {Springer},
  series    = {LNCS},
  number    = {5972},
  year      = {2010},
  isbn      = {978-3-642-14417-2},
  doi       = {10.1007/978-3-642-14418-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{EduMedia2007,
  title = 	 {EduMedia},
  year = 	 2007,
  booktitle = {Offene Bildung im/mit dem Web 2.0!?!},
  editor = 	 {Veronika Hornung-Pr{\"a}hauser},
  publisher = {Salzburg Research},
  url = {http://edumedia.salzburgresearch.at},
  note = 	 {3. Interdisziplin{\"a}re EduMedia Tagung, 16.-17. April 2007, Salzburg}}

@collection{RDFaWiki,
  title = {{RDFa} wiki},
  key = {RDFa Wiki},
  url = {http://rdfa.info/wiki/}}

@book{LNCS:OCaSC,
 title = {{LNCS: Online Communities and Social Computing}},
 year = {2007},
 isbn = {978-3-540-73256-3},
 doi = {10.1007/978-3-540-73257-0},
 url = {http://doi.acm.org/10.1007/978-3-540-73257-0},
 number = {4564},
 publisher = {Springer Berlin/ Heidelberg}}

@Proceedings{ISWC2011PD,
  title =        {Posters and Demos at the 10\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  booktitle =        {Posters and Demos at the 10\textsuperscript{th} International Semantic Web Conference ({ISWC})},
  year =         2011,
  editor =       {Marta Sabou and Guilin Qi},
  url =          {http://iswc2011.semanticweb.org/program/posters-and-demos/}
}

@Proceedings{ASE00,
   booktitle = {Proceedings 15\textsuperscript{th} {IEEE} International Conference on Automated Software Engineering, ASE-2000},
   publisher = {IEEE Computer Society},
  keywords = {conference},
   year      = {2000}}

@Proceedings{ASE01,
   title = {Proceedings 16\textsuperscript{th} {IEEE} International Conference on Automated Software Engineering, ASE-2001},
   booktitle = {Proceedings 16\textsuperscript{th} {IEEE} International Conference on Automated Software Engineering, ASE-2001},
   address   = {San Diego, USA},
   publisher = {IEEE Computer Society},
  keywords = {conference},
   year      = 2001}

@Proceedings{ASE05,
  booktitle = {20\textsuperscript{th} {IEEE/ACM} International Conference on Automated Seofware Engineering},
  title = {20\textsuperscript{th} {IEEE/ACM} International Conference on Automated Seofware Engineering},
  publisher = {IEEE Computer Society},
  keywords = {conference},
  year = 	 2005}

@PROCEEDINGS{CALCULEMUS02-wip,
  title = {Calculemus 2002 --- 10\textsuperscript{th} Symposium on the Integration of Symbolic
    Computation and Mechanized Reasoning --- Work in Progress Papers},
  year = {2002},
  editor = {Olga Caprotti and Volker Sorge},
  number = {SR--02--04},
  address = {Marseille, France},
  publisher = {Dept. of Computer Science, Saarland University, Saarbr{\"u}cken, Germany},
  booktitle = {Calculemus 2002 --- 10\textsuperscript{th} Symposium on the Integration of Symbolic
    Computation and Mechanized Reasoning --- Work in Progress Papers},
  type = {Seki Report}}

@PROCEEDINGS{ECAI02-CMNLA,
  title = {Proceedings of the ECAI 2002 Workshop on Computational Models of
    Natural Argument},
  year = {2002},
  editor = {Giuseppe Carenini and Floriana Grasso and Chris Reed},
  address = {Lyon France }}

@PROCEEDINGS{CALCULEMUS98,
  title = {6\textsuperscript{th} CALCULEMUS and TYPES Workshop},
  year = {1998},
  editor = {Arjeh Cohen and Henk Barendregt},
  address = {Eindhoven, The Netherlands},
  url = {http://www.win.tue.nl/math/dw/pp/calc/proceedings.html},
  month = jul,
  booktitle = {6\textsuperscript{th} CALCULEMUS and TYPES Workshop}}

@Book{ReDeRa:SWE07,
 year = 2008,
 month = apr,
 editor = {J{\"o}rg Rech and Bj{\"o}rn Decker and Eric Ras},
 title = {Emerging Technologies for Semantic Work Environments: Techniques,
                  Methods, and Applications},
 booktitle = {Emerging Technologies for Semantic Work Environments: Techniques,
                  Methods, and Applications},
 publisher = {IGI Global},
 doi = {10.4018/978-1-59904-877-2},
 url = {http://www.igi-global.com/reference/details.asp?ID=7543}}

@collection{wikipedia,
  title = {Wikipedia, the free encyclopedia},
  howpublished = {\url{http://www.wikipedia.org}},
  editor = {{Wikimedia Foundation}},
  key = {Wikipedia},
  url = {http://www.wikipedia.org}}

@proceedings{geos2011,
  editor    = {Christophe Claramunt and Sergei Levashkin and Michela Bertolotto},
  eventtitle     = {GeoSpatial Semantics ({GeoS}) -- 4th International Conference},
  title     = {GeoSpatial Semantics ({GeoS}) -- 4th International Conference},
  venue = {Brest, France},
  eventdate = {2011-05-12/2011-05-13},
  booktitle = {GeoS},
  publisher = {Springer},
  series    = {LNCS},
  number    = 6631,
  year      = 2011,
  isbn      = {978-3-642-20629-0}}

@collection{HorLucKal:sli08,
 title = {{Selbstorganisiertes Lernen im Internet}},
 booktitle = {{Selbstorganisiertes Lernen im Internet}},
 year = {2008},
 editor = {Veronika Hornung-Pr{\"a}hauser and Michaela Luckmann and Marco Kalz},
 publisher = {Studienverlag}}

@Book{BenBroSieSta:fhpab08,
  editor =       {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg Siekmann and Rick Statman},
  bookitle = 	 {Festschrift in honour of {Peter B.~Andrews} On his 70\textsuperscript{th} Birthday},
  title = 	 {Festschrift in honour of {Peter B.~Andrews} On his 70\textsuperscript{th} Birthday},
  publisher = 	 {College Publications},
  year = 	 2008}

@Book{BunKieMus:cmii01,
  year = {2001},
  booktitle = {Computing Meaning (Volume 2)},
  title = {Computing Meaning (Volume 2)},
  editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet},
  publisher = {Kluwer Academic Publishers}
}

@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and Harald Gall and Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software  Engineering, ICSE 2011},
  booktitle = {ICSE},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{SYNASC03,
  booktitle = {5\textsuperscript{th} International Workshop on Symbolic and Numeric Algorithms for
    Scientific Computing ({SYNASC 03})},
  title = {5\textsuperscript{th} International Workshop on Symbolic and Numeric Algorithms for
    Scientific Computing ({SYNASC 03})},
  year = {2003},
  editor = {D. Petcu and D. Zaharie and V. Negru and T. Jebelean},
  address = {Timisoara, Romania},
  publisher = {Mirton Publishing Company}}

@PROCEEDINGS{SYNASC13,
  booktitle = {14th International Workshop on Symbolic and Numeric Algorithms for
    Scientific Computing ({SYNASC 2012})},
  title = {International Workshop on Symbolic and Numeric Algorithms for
    Scientific Computing ({SYNASC 2012})},
  year = {2013},
  editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
  publisher = {IEEE Press},
  isbn      = {978-1-4673-5026-6},
  keywords = {conference},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6480928},
  address = {Timisoara, Romania}}

@PROCEEDINGS{OSEMA2011,
  booktitle = {1\textsuperscript{st} Workshop on Ontology and Semantic Web for Manufacturing},
  year = 2011,
  editor = {Garc{\'i}a Castro, Alexander and Carlos Toro and Luis Ramos and Lutz Schr{\"o}der},
  number = 748,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-748},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2011-05-29},
  title = {Proceedings of the 1\textsuperscript{st} Workshop on Ontology and Semantic Web for Manufacturing, {Extended} {Semantic} {Web} {Conference}},
}

@Proceedings{ACL10,
  title = 	 {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
  booktitle = 	 {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
  year = 	 2010,
  month = {July},
  keywords = {conference},
  publisher = {Association for Computational Linguistics}}

@Proceedings{ACL11,
  title = 	 {Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics},
  booktitle = 	 {Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics},
  year = 	 2011,
  month = {June},
  keywords = {conference},
  publisher = {Association for Computational Linguistics}}

@Proceedings{ACL08,
  title = 	 {Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics},
  booktitle = 	 {Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics},
  year = 	 2008,
  month = {June},
  keywords = {conference},
  publisher = {Association for Computational Linguistics}}

@Proceedings{CEMNLP08,
 title = 	 {Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing},
 booktitle = 	 {Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing},
 year = 	 2008,
 month = 	 {October},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{CEMNLP09,
 title = 	 {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing},
 booktitle = 	 {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing},
 year = 	 2009,
 month = 	 {August},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{CEMNLP10,
 title = 	 {Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing},
 booktitle = 	 {Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing},
 year = 	 2010,
 month = 	 {October},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{CEMNLP11,
 title = 	 {Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing},
 booktitle = 	 {Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing},
 year = 	 2011,
 month = 	 {July},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{CEMNLP-CNLL12,
 title = 	 {Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning},
 booktitle = 	 {Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning},
 year = 	 2012,
 month = 	 {July},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{SIGKDD01,
 title = 	 {Proceedings of the seventh {ACM SIGKDD} international conference on Knowledge discovery and data mining},
 booktitle = 	 {Proceedings of the seventh {ACM SIGKDD} international conference on Knowledge discovery and data mining},
 year = 	 2001,
 month = 	 {August},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{HLT-NAACL10,
 title = 	 {Human language technologies: The 2010 annual conference of the North American chapter of the association for computational linguistics},
 booktitle = 	 {Human language technologies: The 2010 annual conference of the North American chapter of the association for computational linguistics},
 year = 	 2010,
 month = 	 {June},
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{HLT-NAACL08,
 title = 	 {Human language technologies: The 2008 annual conference of the North American chapter of the association for computational linguistics},
 booktitle = 	 {Human language technologies: The 2008 annual conference of the North American chapter of the association for computational linguistics},
 year = 	 2008,
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@Proceedings{HLT-NAACL07,
 title = 	 {Human language technologies: The 2007 annual conference of the North American chapter of the association for computational linguistics},
 booktitle = 	 {Human language technologies: The 2007 annual conference of the North American chapter of the association for computational linguistics},
 year = 	 2007,
  keywords = {conference},
 publisher = {Association for Computational Linguistics}}

@proceedings{INTERACT13a,
   editor    = {Paula Kotz\'{e} and Gary Marsden and Gitte Lindgaard and Janet Wesson and Marco Winckler},
   booktitle = {Human-Computer Interaction -- INTERACT 2013},
   title = {Human-Computer Interaction -- INTERACT 2013},
   publisher = {Springer},
   location  = {Heidelberg},
   series    = {LNCS},
   number    = {8119},
   year      = {2013},
  keywords = {conference},
   isbn      = {978-3-642-40476-4}
}

@proceedings{INTERACT13b,
   editor    = {Paula Kotz\'{e} and Gary Marsden and Gitte Lindgaard and Janet Wesson and Marco Winckler},
   booktitle = {Human-Computer Interaction -- INTERACT 2013},
   title = {Human-Computer Interaction -- INTERACT 2013},
   publisher = {Springer},
   location  = {Heidelberg},
   series    = {LNCS},
   number    = {8120},
   year      = {2013},
  keywords = {conference},
   isbn      = {978-3-642-40497-9}
}

@proceedings{IWSECO12,
  editor    = {Slinger Jansen and Jan Bosch and Carina Frota Alves},
  title     = {Proceedings of the Forth International Workshop on Software Ecosystems, Cambridge, MA, USA, June 18th, 2012},
  booktitle = {IWSECO@ICSOB},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  number    = {879},
  year      = {2012},
  ee        = {http://ceur-ws.org/Vol-879},
}

@proceedings{DBLP:conf/mc/2007,
  editor    = {Tom Gross},
  title     = {Mensch {\&} Computer 2007: Konferenz f{\"u}r interaktive
               und kooperative Medien, Bauhaus-Universit{\"a}t Weimar,
               Weimar, Germany, 2-5 September 2007},
  booktitle = {Mensch {\&} Computer},
  publisher = {Oldenbourg Verlag},
  year      = {2007},
  keywords = {conference},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{ecp97,
  title = 	 {Proceedings of the 4th European
                  Conference on Planning (ECP'97)},
  booktitle = 	 {Proceedings of the 4th European
                  Conference on Planning (ECP'97)},
  year = 	 {1997},
  editor =	 {S. Steel and R. Alami},
  publisher =	 spring,
}

@Book{ArgHandbook,
  editor =       {Baroni, Pietro and Gabbay, Dov and Giacomin, Massimiliano and van der Torre, Leendert},
  bookitle = 	 {Handbook of Formal Argumentation},
  title = 	 {Handbook of Formal Argumentation},
  publisher = 	 {College Publications},
  year = 	 2018}

license_type: permissive

branch_name: refs/heads/master

gha_language: TeX

extension: bib


text:
require wpewebkit.inc
require conf/include/devupstream.inc

FILESEXTRAPATHS:prepend := "${THISDIR}/${PN}:"

SRC_URI = "https://wpewebkit.org/releases/${BPN}-${PV}.tar.xz;name=tarball \
           file://0001-FELightningNEON.cpp-fails-to-build-NEON-fast-path-se.patch \
          "

SRC_URI[tarball.sha256sum] = "05b6a9cb1d7d03485e0dc41b2a8e6f99a36aea23d32ba3ecb38d0d6860747ada"

DEPENDS += " libwpe"
RCONFLICTS:${PN} = "libwpe (< 1.12)"

SRC_URI:class-devupstream = "\
    git://github.com/WebKit/WebKit.git;protocol=https;branch=main \
"

# WPE 2.40.X branch was forked from the main branch in this commit
SRCREV:class-devupstream = "5b60400f474f318e45cd713638e365366b98dd87"

# documentation: Needed from 2.38
PACKAGECONFIG[documentation] = "-DENABLE_DOCUMENTATION=ON,-DENABLE_DOCUMENTATION=OFF, gi-docgen-native gi-docgen"

# introspection: Needed from 2.38
PACKAGECONFIG[introspection] = "-DENABLE_INTROSPECTION=ON,-DENABLE_INTROSPECTION=OFF, gobject-introspection-native"

# webgl2: Activated by default from >2.38
PACKAGECONFIG:append = " webgl2"

# TODO: documentation and introspection are disabled by default because the are
# causing cross-compiling build errors
# PACKAGECONFIG:append = " ${@bb.utils.contains('DISTRO_FEATURES', 'api-documentation', 'documentation', '' ,d)} introspection"

# Layer-Based SVG Engine
PACKAGECONFIG[lbse] = "-DENABLE_LAYER_BASED_SVG_ENGINE=ON,-DENABLE_LAYER_BASED_SVG_ENGINE=OFF, "

# Build option for WPE API 1.1
PACKAGECONFIG[wpe-1-1-api] = "-DENABLE_WPE_1_1_API:BOOL=ON,-DENABLE_WPE_1_1_API:BOOL=OFF,"
# temporarily enable WPE API 1.1 for cog 0.16
PACKAGECONFIG:append = " wpe-1-1-api"

# unifdef-native: Needed since >2.38.
DEPENDS:append = " unifdef-native"

# Since 2.40.X
PACKAGECONFIG[gbm] = "-DUSE_GBM=ON,-DUSE_GBM=OFF,libdrm"
PACKAGECONFIG:append = " gbm"

license: MIT

repository: YoeDistro/meta-webkit

repo_name: YoeDistro/meta-webkit

gha_license_id: MIT

extension: bb


text:
@InProceedings{jreddi13,
  pdf = {http://jmlr.org/proceedings/papers/v28/jreddi13.pdf},
  supplementary = {Supplementary:jreddi13-supp.pdf},
  number = {3},
  section = {cycle-3},
  title = {Scale Invariant Conditional Dependence Measures},
  author = {J Reddi, Sashank and Poczos, Barnabas},
  pages = {1355-1363},
  abstract = {In this paper we develop new dependence and conditional dependence measures and provide their estimators. An attractive property of these measures and estimators is that they are invariant to any monotone increasing transformations of the random variables, which is important in many applications including feature selection. Under certain conditions we show the consistency of these estimators, derive upper bounds on their convergence rates, and show that the estimators do not suffer from the curse of dimensionality. However, when the conditions are less restrictive, we derive a lower bound which proves that in the worst case the convergence can be arbitrarily slow similarly to some other estimators. Numerical illustrations demonstrate the applicability of our method.},
}

repository: mreid/papersite

repo_name: mreid/papersite


text:
/* Scroll  le button UP */

.arrow{
  position: fixed;
  bottom: 30px;
  right: 30px;
  z-index: 9;
}
.arrow a{
  height: 39px;
  width: 37px;
  text-align: center;
  background: #1b1b1b;
  display: block;
  border-radius: 3px;
}
.arrow a span{
  color: #f2f2f2;
  font-size: 25px;
  line-height: 39px;
  cursor: pointer;
}

repository: MedAnisse/vovinamVietVoDao

repo_name: MedAnisse/vovinamVietVoDao

branch_name: refs/heads/main

extension: css

filename: BUTTON RETOUR.css


text:
DESCRIPTION = "Various tools relating to the Simple Network Management Protocol"
HOMEPAGE = "http://www.net-snmp.org/"
LICENSE = "BSD"
DEPENDS = "openssl"
PR = "r3"

SRC_URI = "${SOURCEFORGE_MIRROR}/net-snmp/net-snmp-${PV}.tar.gz \
	file://uclibc-fix.patch;patch=1 \
	file://init \
	file://snmpd.conf \
	file://snmptrapd.conf"

inherit autotools

PARALLEL_MAKE = ""
EXTRA_OECONF = "--enable-shared --disable-manuals --with-defaults"
EXTRA_OEMAKE = "INSTALL_PREFIX=${D}"

do_configure() {
	# Additional flag based on target endiness (see siteinfo.bbclass)
	ENDIANESS="${@base_conditional('SITEINFO_ENDIANESS', 'le', '--with-endianness=little', '--with-endianness=big', d)}"
	oenote Determined endianess as: $ENDIANESS
	oe_runconf $ENDIANESS
}

do_install_append() {
	install -d ${D}${sysconfdir}/snmp
	install -d ${D}${sysconfdir}/init.d
	install -m 755 ${WORKDIR}/init ${D}${sysconfdir}/init.d/snmpd
	install -m 644 ${WORKDIR}/snmpd.conf ${D}${sysconfdir}/snmp/
	install -m 644 ${WORKDIR}/snmptrapd.conf ${D}${sysconfdir}/snmp/
}

PACKAGES = "net-snmp-dbg net-snmp-doc net-snmp-dev net-snmp-libs net-snmp-mibs net-snmp-server net-snmp-client"
FILES_net-snmp-libs = "${libdir}/*"
FILES_net-snmp-mibs = "${datadir}/snmp/mibs"
FILES_net-snmp-server = "${sbindir}/* ${sysconfdir}"
FILES_net-snmp-client = "${bindir}/* ${datadir}/snmp/"
FILES_net-snmp-dbg += "${libdir}/.debug/ ${sbindir}/.debug/ ${bindir}/.debug/"
RDEPENDS_net-snmp-server += "net-snmp-mibs"
RDEPENDS_net-snmp-client += "net-snmp-mibs"

pkg_postinst_net-snmp-server() {
if test "x$D" != "x"; then
	D="-r $D"
else
	D="-s"
fi
update-rc.d $D snmpd defaults
}

pkg_postrm_net-snmp-server() {
if test "x$D" != "x"; then
	D="-r $D"
else
	/etc/init.d/snmpd stop
fi
update-rc.d $D snmpd remove
}

CONFFILES_${PN}_nylon = "${sysconfdir}/snmp/snmpd.conf ${sysconfdir}/snmp/snmptrapd.conf"

repository: jdegges/gumstix-pip-oe

repo_name: jdegges/gumstix-pip-oe


text:
package boolgebra

import "testing"

//TestReduce check that we get the prime correctly using the wikipedia examples
func TestReduce(t *testing.T) {
	/*
		Number
		of 1s	Minterm	Binary
		Representation
		1	m4	0100
			m8	1000
		2	(m9)	1001
			m10	1010
			m12	1100
		3	m11	1011
			(m14)	1110
		4	m15	1111

	*/

	m4 := m("a'bc'd'")
	m8 := m("ab'c'd'")
	m9 := m("ab'c'd")
	m10 := m("ab'cd'")
	m12 := m("abc'd'")
	m11 := m("ab'cd")
	m14 := m("abcd'")
	m15 := m("abcd")
	x := expression{m4, m8, m9, m10, m12, m11, m14, m15}
	//primes are
	//m4_12 := m("bc'd'")
	//m8_9_10_11 := m("ab'")
	//m8_10_12_14 := m("ad'")
	//m10_11_14_15 := m("ac")
	y := reduce(x)
	t.Logf("reduced = %v", y)

}

//newminterm creates a new minterm using ' at the end of the string to find out that its a neg
func m(x string) minterm {
	res := make(minterm)

	for i, id := range x {
		nextisquote := i+1 < len(x) && x[i+1] == '\''
		if id != '\'' {
			res[string(id)] = !nextisquote
		}
	}
	return res
}

// TestPosLen make sure that we count the number of true correctly
func TestPositives(t *testing.T) {
	x := minterm{"A": true, "B": true, "C": false, "E": true}
	if positives(x) != 3 {
		t.Errorf("invalid minterm %v PosLen attribute got %v want 3", x, positives(x))
	}
}

// TestMinterm_combine gold test some minterm combinations
func TestCombine(t *testing.T) {

	x := minterm{"A": true, "B": true, "C": false, "E": true}
	var y, r, c minterm
	var ok bool

	// 1,0 -> _
	y = minterm{"A": true, "B": true, "C": false, "E": false}
	r = minterm{"A": true, "B": true, "C": false}
	c, ok = combine(x, y)
	if !ok {
		t.Errorf("failed to combine(%v,%v)", x, y)
	} else if !equals(c, r) {
		t.Errorf("combine(%v,%v) got %v expected %v", x, y, c, r)
	}

	// 1,_ -> _
	y = minterm{"A": true, "B": true, "C": false}
	r = minterm{"A": true, "B": true, "C": false}
	c, ok = combine(x, y)
	if !ok {
		t.Errorf("failed to combine(%v,%v)", x, y)
	} else if !equals(c, r) {
		t.Errorf("combine(%v,%v) got %v expected %v", x, y, c, r)
	}

	// 0,1 -> _
	y = minterm{"A": true, "B": true, "C": true, "E": true}
	r = minterm{"A": true, "B": true, "E": true}
	c, ok = combine(x, y)
	if !ok {
		t.Errorf("failed to combine(%v,%v)", x, y)
	} else if !equals(c, r) {
		t.Errorf("combine(%v,%v) got %v expected %v", x, y, c, r)
	}

	// 0,_ -> _
	y = minterm{"A": true, "B": true, "E": true}
	r = minterm{"A": true, "B": true, "E": true}
	c, ok = combine(x, y)
	if !ok {
		t.Errorf("failed to combine(%v,%v)", x, y)
	} else if !equals(c, r) {
		t.Errorf("combine(%v,%v) got %v expected %v", x, y, c, r)
	}
}

repository: etnz/boolgebra

repo_name: etnz/boolgebra

gha_language: Go

extension: go


text:
################################################################################
#    HPCC SYSTEMS software Copyright (C) 2012 HPCC Systems.
#
#    Licensed under the Apache License, Version 2.0 (the "License");
#    you may not use this file except in compliance with the License.
#    You may obtain a copy of the License at
#
#       http://www.apache.org/licenses/LICENSE-2.0
#
#    Unless required by applicable law or agreed to in writing, software
#    distributed under the License is distributed on an "AS IS" BASIS,
#    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#    See the License for the specific language governing permissions and
#    limitations under the License.
################################################################################

# Component: dfuserver

#####################################################
# Description:
# ------------
#    Cmake Input File for dfuserver
#####################################################

project( dfuserver )

set (    SRCS
         dfurun.cpp
         dfurunkdp.cpp
         dfuserver.cpp
         dfurepl.cpp
    )

include_directories (
         ./../../common/remote
         ./../../system/mp
         ./../../system/jhtree
         ./../../rtl/eclrtl
         ./../../ecl/schedulectrl
         ./../../rtl/include
         ./../base
         ./../../system/include
         ./../../system/jlib
         ./../ft
         ./../../common/environment
         ./../../common/workunit
    )

HPCC_ADD_EXECUTABLE ( dfuserver ${SRCS} )
set_target_properties ( dfuserver PROPERTIES
        COMPILE_FLAGS "-D_CONSOLE -D_DFUSERVER"
        )
install ( TARGETS dfuserver RUNTIME DESTINATION ${EXEC_DIR} )
target_link_libraries ( dfuserver
         jlib
         mp
         hrpc
         remote
         dalibase
         environment
         dllserver
         nbcd
         eclrtl
         deftype
         workunit
         schedulectrl
         dalift
         jhtree
         dfuwu
    )

repository: praveenmak/HPCC-Platform

repo_name: praveenmak/HPCC-Platform

extension: cmake


text:
@article{Matsumoto:1998:MTE:272991.272995,
    author = {Matsumoto, Makoto and Nishimura, Takuji},
    title = {Mersenne Twister: A 623-dimensionally Equidistributed Uniform Pseudo-random Number Generator},
    journal = {ACM Trans. Model. Comput. Simul.},
    issue_date = {Jan. 1998},
    volume = {8},
    number = {1},
    month = jan,
    year = {1998},
    issn = {1049-3301},
    pages = {3--30},
    numpages = {28},
    url = {http://doi.acm.org.proxy2.library.illinois.edu/10.1145/272991.272995},
    doi = {10.1145/272991.272995},
    acmid = {272995},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {k-distribution, m-sequences, GFSR, MT19937, Mersenne primes, Mersenne twister, TGFSR, finite fields, incomplete array, inversive-decimation method, multiple-recursive matrix method, primitive polynomials, random number generation, tempering},
}

@online{uniformrealdistribution,
    url = {http://en.cppreference.com/w/cpp/numeric/random/uniform\_real\_distribution},
    author = {cppreference.com},
    year = 2014,
    urldate = {2014-10-18},
    title = {std::uniform\_real\_distribution},
}

@online{diehard,
    url = {http://www.stat.fsu.edu/pub/diehard/},
    year = 1995,
    author = {George Marsaglia},
    title = {The Marsaglia Random Number CDROM including the Diehard Battery of Tests of Randomness}
}

@techreport{nisttoolkit,
 author = {Bassham,III, Lawrence E. and Rukhin, Andrew L. and Soto, Juan and Nechvatal, James R. and Smid, Miles E. and Barker, Elaine B. and Leigh, Stefan D. and Levenson, Mark and Vangel, Mark and Banks, David L. and Heckert, Nathanael Alan and Dray, James F. and Vo, San},
 title = {SP 800-22 Rev. 1a. A Statistical Test Suite for Random and Pseudorandom Number Generators for Cryptographic Applications},
 year = {2010},
 publisher = {National Institute of Standards \& Technology},
 address = {Gaithersburg, MD, United States},
}

@article{Panneton:2006:ILG:1132973.1132974,
 author = {Panneton, Fran\c{c}ois and L'Ecuyer, Pierre and Matsumoto, Makoto},
 title = {Improved Long-period Generators Based on Linear Recurrences Modulo 2},
 journal = {ACM Trans. Math. Softw.},
 issue_date = {March 2006},
 volume = {32},
 number = {1},
 month = mar,
 year = {2006},
 issn = {0098-3500},
 pages = {1--16},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/1132973.1132974},
 doi = {10.1145/1132973.1132974},
 acmid = {1132974},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {GFSR linear recurrence modulo 2, Mersenne twister, Random number generation, linear feedback shift register},
}

@article{Panneton:2005:XRN:1113316.1113319,
 author = {Panneton, Fran\c{c}ois and L'ecuyer, Pierre},
 title = {On the Xorshift Random Number Generators},
 journal = {ACM Trans. Model. Comput. Simul.},
 issue_date = {October 2005},
 volume = {15},
 number = {4},
 month = oct,
 year = {2005},
 issn = {1049-3301},
 pages = {346--361},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/1113316.1113319},
 doi = {10.1145/1113316.1113319},
 acmid = {1113319},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Random number generation, linear feedback shift register, linear recurrence modulo 2, xorshift},
}

@article{Payne:1969:CLP:362848.362860,
 author = {Payne, W. H. and Rabung, J. R. and Bogyo, T. P.},
 title = {Coding the Lehmer Pseudo-random Number Generator},
 journal = {Commun. ACM},
 issue_date = {Feb. 1969},
 volume = {12},
 number = {2},
 month = feb,
 year = {1969},
 issn = {0001-0782},
 pages = {85--86},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/362848.362860},
 doi = {10.1145/362848.362860},
 acmid = {362860},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {modular arithmetic, prime factorization, primitive roots, pseudo-random number, random number, simulation, uniform frequency function, uniform probability density},
}

@article{Wikramaratna:2008:ACR:1363375.1363601,
 author = {Wikramaratna, Roy S.},
 title = {The Additive Congruential Random Number generator-A Special Case of a Multiple Recursive Generator},
 journal = {J. Comput. Appl. Math.},
 issue_date = {June 2008},
 volume = {216},
 number = {2},
 month = jun,
 year = {2008},
 issn = {0377-0427},
 pages = {371--387},
 numpages = {17},
 url = {http://dx.doi.org/10.1016/j.cam.2007.05.018},
 doi = {10.1016/j.cam.2007.05.018},
 acmid = {1363601},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {65C10, 68U20, Algorithm, Implementation, Pseudo-random number generator, Theoretical analysis},
}

repository: kashev/rngs

repo_name: kashev/rngs


text:
@article{white2012methodological,
 author = {White, Ethan P and Xiao, Xiao and Nick, JB and Sibly, Richard M},
 title = {Methodological tools},
 year = {2012}
}

repository: weecology/website

repo_name: weecology/website