Search dblp for Publications

export results for "toc:db/conf/gi/gi2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/gi/0002K00,
  author       = {Christian Jacobi and
                  Daniel Kroening},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Proving the Correctness of a Complete Microprocessor},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {293--303},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_24},
  doi          = {10.1007/978-3-642-58322-3\_24},
  timestamp    = {Thu, 27 Jun 2019 11:28:34 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/0002K00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AppelrathMM00,
  author       = {Hans{-}J{\"{u}}rgen Appelrath and
                  Uwe Marquardt and
                  Heinrich C. Mayr},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Unternehmen Hochschule},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {475--476},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_40},
  doi          = {10.1007/978-3-642-58322-3\_40},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/AppelrathMM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BaarHSS00,
  author       = {Thomas Baar and
                  Reiner H{\"{a}}hnle and
                  Theo Sattler and
                  Peter H. Schmitt},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Entwurfsmustergesteuerte Erzeugung von OCL-Constraints},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {389--404},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_30},
  doi          = {10.1007/978-3-642-58322-3\_30},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/BaarHSS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BarthFGT00,
  author       = {Thomas Barth and
                  Bernd Freisleben and
                  Manfred Grauer and
                  Frank Thilo},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Verteilte L{\"{o}}sung simulationsbasierter Optimierungsprobleme
                  auf vernetzten Workstations},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {274--292},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_23},
  doi          = {10.1007/978-3-642-58322-3\_23},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/BarthFGT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BohneWLL00,
  author       = {Andreas Bohne and
                  Thomas Wetter and
                  Elke Lang and
                  Claus{-}Wilhelm von der Lieth},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {181--196},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_16},
  doi          = {10.1007/978-3-642-58322-3\_16},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/BohneWLL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Brauer00,
  author       = {Wilfried Brauer},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Anwendungsorientierung in der Informatik-Ausbildung},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {16--18},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_3},
  doi          = {10.1007/978-3-642-58322-3\_3},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Brauer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DewalS00,
  author       = {Sanjay Dewal and
                  Ludger Schnichels},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Bank2010: Eine fachliche und technische Vision},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {337--355},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_27},
  doi          = {10.1007/978-3-642-58322-3\_27},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/DewalS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Eberle00,
  author       = {Stephan Eberle},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {XML-Basierte Internetanbindung Technischer Prozesse},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {356--371},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_28},
  doi          = {10.1007/978-3-642-58322-3\_28},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Eberle00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ebert00,
  author       = {Christof Ebert},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Improving the Validation Process for a Better Field Quality in a Product
                  Line Architecture},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {372--388},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_29},
  doi          = {10.1007/978-3-642-58322-3\_29},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Ebert00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Edelkamp00,
  author       = {Stefan Edelkamp},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Neue Wege in der Exploration},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {65--77},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_8},
  doi          = {10.1007/978-3-642-58322-3\_8},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Edelkamp00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/El-Kebbe00,
  author       = {Dania A. El{-}Kebbe},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Towards a Manufacturing System under Hard Real - Time Constraints},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {138--145},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_13},
  doi          = {10.1007/978-3-642-58322-3\_13},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/El-Kebbe00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Erk00,
  author       = {Katrin Erk},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Die Verarbeitung von Parallelismus-Constraints},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {146--164},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_14},
  doi          = {10.1007/978-3-642-58322-3\_14},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Erk00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Faltin00,
  author       = {Nils Faltin},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Aktives Lernen von Algorithmen mit interaktiven Visualisierungen},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_12},
  doi          = {10.1007/978-3-642-58322-3\_12},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Faltin00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Gehrke00,
  author       = {Thomas Gehrke},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter
                  Systeme},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {405--419},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_31},
  doi          = {10.1007/978-3-642-58322-3\_31},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Gehrke00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Grosskreutz00,
  author       = {Henrik Grosskreutz},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Probabilistic Projection and Belief Update in the pGOLOG Framework},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {233--249},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_20},
  doi          = {10.1007/978-3-642-58322-3\_20},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Grosskreutz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofestadtL00,
  author       = {Ralf Hofest{\"{a}}dt and
                  Hans{-}Peter Lenhof},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Workshop "Molekulare Bioinformatik"},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {471--472},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_38},
  doi          = {10.1007/978-3-642-58322-3\_38},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/HofestadtL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Iwan00,
  author       = {Gero Iwan},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Explaining What Went Wrong in Dynamic Domains},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {250--263},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_21},
  doi          = {10.1007/978-3-642-58322-3\_21},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Iwan00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Kastner00,
  author       = {Daniel K{\"{a}}stner},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {{PROPAN:} Ein retargierbares System f{\"{u}}r Postpassoptimierungen
                  und -analysen},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {197--215},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_17},
  doi          = {10.1007/978-3-642-58322-3\_17},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Kastner00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Keedy00,
  author       = {James Leslie Keedy},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Some Misunderstandings about the Anglo-Saxon Graduation System},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {44--52},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_6},
  doi          = {10.1007/978-3-642-58322-3\_6},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Keedy00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Keil-Slawik00,
  author       = {Reinhard Keil{-}Slawik},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Audio - Video - {DISCO:} Alltagstaugliche Konzepte f{\"{u}}r
                  das Lernen mit neuen Medien},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {32--43},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_5},
  doi          = {10.1007/978-3-642-58322-3\_5},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Keil-Slawik00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Kramer00,
  author       = {Bernd J. Kr{\"{a}}mer},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses
                  im Zeitraffer},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {12--15},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_2},
  doi          = {10.1007/978-3-642-58322-3\_2},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Kramer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/KrobbH00,
  author       = {Claudia Krobb and
                  J{\"{o}}rg Hackenberg},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Modellierung und Unterst{\"{u}}tzung verfahrenstechnischer Modellierungsprozesse},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {264--273},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_22},
  doi          = {10.1007/978-3-642-58322-3\_22},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/KrobbH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Lenk00,
  author       = {Klaus Lenk},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Electronic Government},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {469--470},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_37},
  doi          = {10.1007/978-3-642-58322-3\_37},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Lenk00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Liggesmeyer00,
  author       = {Peter Liggesmeyer},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Formale und stochastische Methoden zur Qualit{\"{a}}tssicherung
                  technischer Software},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {321--336},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_26},
  doi          = {10.1007/978-3-642-58322-3\_26},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Liggesmeyer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ludewig00,
  author       = {Jochen Ludewig},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Erfolg macht Spa{\ss}: Softwaretechnik an der Universit{\"{a}}t
                  Stuttgart},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {20--31},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_4},
  doi          = {10.1007/978-3-642-58322-3\_4},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Ludewig00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Meyer00,
  author       = {Dirk Meyer},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {304--317},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_25},
  doi          = {10.1007/978-3-642-58322-3\_25},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Meyer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Monecke00,
  author       = {Marc Monecke},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {93--107},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_10},
  doi          = {10.1007/978-3-642-58322-3\_10},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Monecke00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ottmann00,
  author       = {Thomas Ottmann},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {M{\"{o}}glichkeiten und Grenzen der Virtualisierung des Informatikstudiums},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {3--11},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_1},
  doi          = {10.1007/978-3-642-58322-3\_1},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Ottmann00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Peroz00,
  author       = {Nazir Peroz},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Workshop "Technologien zur virtuellen Ausbildung f{\"{u}}r wirtschaftlich
                  schwache L{\"{a}}nder"},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {479--481},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_42},
  doi          = {10.1007/978-3-642-58322-3\_42},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Peroz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/PipkaM00,
  author       = {Jens Uwe Pipka and
                  Mira Mezini},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Weiterentwicklung objektorientierter Softwaresysteme: Risiken und
                  deren Vermeidung},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {420--439},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_32},
  doi          = {10.1007/978-3-642-58322-3\_32},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/PipkaM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ruggaber00,
  author       = {Rainer Ruggaber},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {\emph{{\(\prod\)}}\({}^{\mbox{2}}\): Unterst{\"{u}}tzung mobiler
                  und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {223--232},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_19},
  doi          = {10.1007/978-3-642-58322-3\_19},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Ruggaber00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SaakeS00,
  author       = {Gunter Saake and
                  Kai{-}Uwe Sattler},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Workshop Internet-Datenbanken},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {467--468},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_36},
  doi          = {10.1007/978-3-642-58322-3\_36},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/SaakeS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SaupeJ00,
  author       = {Dietmar Saupe and
                  Dietmar Jack{\`{e}}l},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Grafiktag 2000},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {473--474},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_39},
  doi          = {10.1007/978-3-642-58322-3\_39},
  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SaupeJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchubertS00,
  author       = {Sigrid E. Schubert and
                  Andreas Schwill},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Workshop Lehrerbildung Informatik},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {477--478},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_41},
  doi          = {10.1007/978-3-642-58322-3\_41},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/SchubertS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchumacherS00,
  author       = {Markus Schumacher and
                  Ralf Steinmetz},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Sicherheit in Mediendaten},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {463--464},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_34},
  doi          = {10.1007/978-3-642-58322-3\_34},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/SchumacherS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Stenzel00,
  author       = {Roland Stenzel},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {A Behavior and Utility-Based Control Architecture for Real-Time Applications},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_9},
  doi          = {10.1007/978-3-642-58322-3\_9},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Stenzel00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/TheisenG00,
  author       = {Marc Theisen and
                  Felix C. G{\"{a}}rtner},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Correctness Preserving Transformations for the Design of Parallelized
                  Low-Power Systems},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {165--180},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_15},
  doi          = {10.1007/978-3-642-58322-3\_15},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/TheisenG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Thiesen00,
  author       = {Hans{-}J{\"{u}}rgen Thiesen},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Perspektiven der Bioinformatik in der Funktionellen Genomforschung},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {55--62},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_7},
  doi          = {10.1007/978-3-642-58322-3\_7},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Thiesen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wagner00,
  author       = {Arno Wagner},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {{WWW.BDD-PORTAL.ORG:} Ein Forschungsportal im {WWW}},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {216--222},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_18},
  doi          = {10.1007/978-3-642-58322-3\_18},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Wagner00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Weidauer00,
  author       = {Christian Weidauer},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Generatorunterst{\"{u}}tzte objektorientierte Entwicklung multimedialer
                  Lehr- und Lernsysteme zur Effizienzsteigerung und Qualit{\"{a}}tsverbesserung},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {440--460},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_33},
  doi          = {10.1007/978-3-642-58322-3\_33},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Weidauer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WillmsWS00,
  author       = {Janine Willms and
                  Ina Wentzlaff and
                  Markus Specker},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Kreativit{\"{a}}t in der Informatik: Anwendungsbeispiele der
                  innovativen Prinzipien aus {TRIZ}},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {108--120},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_11},
  doi          = {10.1007/978-3-642-58322-3\_11},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/WillmsWS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WirsingGKNR00,
  author       = {Martin Wirsing and
                  Martin Gogolla and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Tobias Nipkow and
                  Wolfgang Reif},
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Workshop {\"{u}}ber Rigorose Entwicklung software-intensiver
                  Systeme},
  booktitle    = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  pages        = {465--466},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3\_35},
  doi          = {10.1007/978-3-642-58322-3\_35},
  timestamp    = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/WirsingGKNR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2000,
  editor       = {Kurt Mehlhorn and
                  Gregor Snelting},
  title        = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
                  2000},
  series       = {Informatik aktuell},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-642-58322-3},
  doi          = {10.1007/978-3-642-58322-3},
  isbn         = {978-3-540-67880-9},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics