Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

14345 Publications


2000 | Conference Paper | LibreCat-ID: 8332
@inproceedings{Busatto_Engels_Mehner_Wagner_2000, place={Berlin/Heidelberg}, series={LNCS}, title={A Framework for Adding Packages to Graph Transformation Approaches}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany)}, publisher={Springer}, author={Busatto, Giorgio and Engels, Gregor and Mehner, Katharina and Wagner, Annika}, year={2000}, pages={352–367}, collection={LNCS} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8341
@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS}, title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={2000}, pages={310–322}, collection={LNCS} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15108
@inproceedings{Hüllermeier_2000, title={A method for predicting solutions in case-based problem solving}, booktitle={in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Blanzieri, E. and Portinale, L.Editors}, year={2000}, pages={124–135} }
LibreCat
 

2000 | Misc | LibreCat-ID: 13095
@book{Hellebrand_Liang_Wunderlich_2000, place={IEEE European Test Workshop, Cascais, Portugal}, title={A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters}, author={Hellebrand, Sybille and Liang, Hua-Guo and Wunderlich, Hans-Joachim}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 13005
@inproceedings{Hellebrand_Liang_Wunderlich_2000, place={Atlantic City, NJ, USA}, title={A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters}, DOI={10.1109/test.2000.894274}, booktitle={{IEEE International Test Conference (ITC’00)}}, publisher={{IEEE}}, author={Hellebrand, Sybille and Liang, Hua-Guo and Wunderlich, Hans-Joachim}, year={2000}, pages={778–784} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7863
@inproceedings{Cherchago_Alexandrova_2000, title={A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics}, booktitle={Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia)}, author={Cherchago, Alexey and Alexandrova, N.}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2150
@inproceedings{Czumaj_Scheideler_2000, title={A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)}, booktitle={STOC}, publisher={ACM}, author={Czumaj, Artur and Scheideler, Christian}, year={2000}, pages={38--47} }
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2211
@inproceedings{Czumaj_Scheideler_2000, title={A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems }, booktitle={32nd ACM Symposium on Theory of Computing}, author={Czumaj, Artur and Scheideler, Christian}, year={2000}, pages={38–47} }
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 7691
@article{Diaconescu_Hoch_Heidtkamp_Meier_Reuter_Wieck_2000, title={A new peak in the bend resistance of a four-terminal device written by FIB implantation}, volume={284–288}, DOI={10.1016/s0921-4526(99)03002-1}, journal={Physica B: Condensed Matter}, publisher={Elsevier BV}, author={Diaconescu, Dorina and Hoch, Sascha and Heidtkamp, Christian and Meier, Cedrik and Reuter, Dirk and Wieck, Andreas D}, year={2000}, pages={1906–1907} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10183
@article{Steffen_2000, title={A refinement of Vizing’s theorem}, volume={218}, journal={Discrete Mathematics}, author={Steffen, Eckhard}, year={2000}, pages={289–291} }
LibreCat
 

2000 | Report | LibreCat-ID: 8210
@book{Mehner_Wagner_2000, title={Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen}, publisher={University of Saarbrücken}, author={Mehner, Katharina and Wagner, Annika}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7398
@article{Depke_Heckel_Küster_Langham_2000, title={Agenten im Auftrag des Bankkunden}, volume={31}, number={1–2}, journal={Geldinstitute}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen and Langham, Matthew}, year={2000}, pages={32–33} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 13609
@inproceedings{Eisenring_Platzner_2000, title={An Implementation Framework for Run-time Reconfigurable Systems}, booktitle={Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE)}, publisher={CSREA Press}, author={Eisenring, Michael H. and Platzner, Marco}, year={2000}, pages={151–157} }
LibreCat
 

2000 | Report | LibreCat-ID: 21001
@book{Hahn_Meschut_Eis_Kötting_2000, place={Düsseldorf}, title={Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile}, publisher={Verlag und Vertriebsgesellschaft mbH}, author={Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G.}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13758
@article{Frisch_Vogt_Visbeck_Hannappel_Willig_Braun_Richter_Bernholc_Schmidt_Esser_2000, title={Angle Resolved Photoemission Spectroscopy of the InP(001) surface}, volume={166}, DOI={10.1016/s0169-4332(00)00431-1}, journal={Applied Surface Science}, author={Frisch, A.M. and Vogt, P. and Visbeck, S. and Hannappel, Th. and Willig, F. and Braun, W. and Richter, W. and Bernholc, J. and Schmidt, Wolf Gero and Esser, N.}, year={2000}, pages={224–230} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 17528
@article{Peckhaus_2000, title={Análisis regresivo}, volume={15}, number={2 (November)}, journal={Adef Revista de Filosofia (Buenos Aires)}, author={Peckhaus, Volker}, year={2000}, pages={23–38} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19196
@inbook{Seng_2000, place={Dresden}, title={Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung”}, booktitle={Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul}, author={Seng, Eva- Maria}, editor={Lupfer, Gilbert and Rudert, Konstanze and Sigel, PaulEditors}, year={2000}, pages={296–309} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 18338
@article{Peckhaus_2000, title={Arsac, Jacques, «Les langages de programmation: une moderne Babel», C.R. Académie des Sciences (Paris). La vie des Sciences 13, Nr. 1 (1996), 25–37}, number={Zbl. 927.68015}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 927.68015]}, author={Peckhaus, Volker}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 18344
@article{Tophinke_2000, title={Autonome Aspekte gesprochener und geschriebener Sprache: Theoretische Überlegungen und empirische Befunde}, volume={(SUL) 85}, journal={Sprache und Literatur in Wissenschaft und Unterricht }, author={Tophinke, Doris}, year={2000}, pages={3–22} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20998
@article{Hahn_Meschut_Eis_Maciej_2000, title={Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile}, volume={52}, number={6}, journal={Schweißen und Schneiden}, author={Hahn, O. and Meschut, Gerson and Eis, M. and Maciej, M.}, year={2000}, pages={340–348} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 3251
@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 3674
@book{Harteis_2000, place={München}, title={Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung}, publisher={Neuer Merkur}, author={Harteis, Christian}, year={2000} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3602
@inbook{Harteis_2000, place={Opladen}, title={Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung}, booktitle={Kompendium Weiterbildung}, publisher={Leske+Budrich}, author={Harteis, Christian}, editor={Harteis, Christian and Heid, Helmut and Kraft, SusanneEditors}, year={2000}, pages={209--217} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 18345
@article{Peckhaus_2000, title={Boolos, George; Heck, Richard G. jun., “Die Grundlagen der Arithmetik, §§ 82–3”, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428}, number={Zbl. 935.03008}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.03008]}, author={Peckhaus, Volker}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10182
@article{Brinkmann_Choudum_Grünewald_Steffen_2000, title={Bounds for the independence number of critical graphs}, volume={32}, journal={Bull. London Math. Soc.}, author={Brinkmann, Gunnar and Choudum, Sheshayya A and Grünewald, Stefan and Steffen, Eckhard}, year={2000}, pages={137–140} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6015
@inproceedings{Kundisch_2000, title={Buyer Search Behavior on an Electronic Commodity Market: Consumer’s Decision for a Sequential or Simultaneous Search Method}, booktitle={Proceedings of the International Conference on Electronic Commerce 2000 (ICEC)}, author={Kundisch, Dennis}, editor={Kim, S. H. and Sheng, O. and Lee, J. K. and Whinston, A. B. and Schmid, B.Editors}, year={2000}, pages={88–93} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16496
@inproceedings{Meyer auf der Heide_Vöcking_Westermann_2000, title={Caching in networks}, booktitle={SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms}, author={Meyer auf der Heide, Friedhelm and Vöcking, Berthold and Westermann, Matthias}, year={2000}, pages={430–439} }
LibreCat
 

2000 | Dissertation | LibreCat-ID: 19621
@book{Westermann_2000, place={Universität Paderborn}, title={Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints}, author={Westermann, Matthias}, year={2000} }
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 15063
@inproceedings{Hüllermeier_2000, title={Change detection in heuristic search}, booktitle={Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas}, author={Hüllermeier, Eyke}, year={2000}, pages={898–903} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3023
@inbook{Blömer_2000, place={Berlin, Heidelberg}, title={Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}, DOI={10.1007/3-540-45022-x_22}, booktitle={Automata, Languages and Programming}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2000}, pages={248–259} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2147
@inproceedings{Czumaj_Scheideler_2000, title={Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma}, booktitle={SODA}, author={Czumaj, Artur and Scheideler, Christian}, year={2000}, pages={30--39} }
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 2148
@article{Czumaj_Scheideler_2000, title={Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma}, volume={17}, number={3–4}, journal={Random Struct. Algorithms}, author={Czumaj, Artur and Scheideler, Christian}, year={2000}, pages={213--237} }
LibreCat
 

2000 | Dissertation | LibreCat-ID: 19620
@book{Rieping_2000, place={Universität Paderborn}, title={Communication in Parallel Systems-Models, Algorithms and Implementations}, author={Rieping, Ingo}, year={2000} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
@inbook{Meyer auf der Heide_Kutyłowski_Ragde_2000, place={Berlin, Heidelberg}, title={Complexity Theory and Algorithms}, DOI={10.1007/3-540-44520-x_59}, booktitle={Euro-Par 2000 Parallel Processing}, author={Meyer auf der Heide, Friedhelm and Kutyłowski, Mirosław and Ragde, Prabhakar}, year={2000} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 18150
@inproceedings{Ziegler_Sohler_2000, title={Computing Cut Numbers}, booktitle={Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00)}, author={Ziegler, Martin and Sohler, Christian}, year={2000}, pages={73–79} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 18146
@inproceedings{Ziegler_Brattka_2000, place={Berlin, Heidelberg}, title={Computing the Dimension of Linear Subspaces}, volume={1963}, DOI={10.1007/3-540-44411-4_34}, booktitle={SOFSEM 2000: Theory and Practice of Informatics}, publisher={Springer}, author={Ziegler, Martin and Brattka, Vasco}, year={2000}, pages={450–458} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8331
@inproceedings{Heckel_Llabrés_Ehrig_Orejas_2000, title={Concurrency of Double-Pullback Graph Transitions}, booktitle={Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany)}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 17010
@article{Czumaj_Meyer auf der Heide_Stemann_2000, title={Contention Resolution in Hashing Based Shared Memory Simulations}, DOI={10.1137/s009753979529564x}, journal={SIAM Journal on Computing}, author={Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}, year={2000}, pages={1703–1739} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 7522
@inbook{Engels_Groenewegen_Kappel_2000, title={Coordinated Collaboration of Objects}, booktitle={Proceedings of Advances in Object-Oriented Modeling}, publisher={The MIT Press}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={2000}, pages={307–332} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 18337
@article{Peckhaus_2000, title={da Silva, Jairo José, “Husserl’s Phenomenology and Weyl’s Predicativism”, Synthese 110 (1997), 277–296}, number={Zbl. 927.01014}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 927.01014]}, author={Peckhaus, Volker}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 19709
@article{Büker_2000, title={Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein}, volume={27, H. 162}, journal={Praxis Deutsch }, author={Büker, Petra}, year={2000}, pages={31–36} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19397
@inbook{Eke_2000, place={Amsterdam-Atlanta, GA}, title={Das Schreckliche und das Komische. George Tabori und die Shoah}, booktitle={Jews in German Literature since 1945: German-Jewish Literature?}, publisher={Rodopi}, author={Eke, Norbert Otto}, editor={O’ Dochartaigh, PólEditor}, year={2000}, pages={567–586} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3248
@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16495
@inproceedings{Meyer auf der Heide_Räcke_Westermann_2000, title={Data management in hierarchical bus networks}, DOI={10.1145/341800.341814}, booktitle={Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’00}, author={Meyer auf der Heide, Friedhelm and Räcke, H. and Westermann, M.}, year={2000} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 11779
@inproceedings{Haeb-Umbach_2000, title={Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation}, booktitle={International Conference on Spoken Language Processing (ICSLP 2000)}, author={Haeb-Umbach, Reinhold}, year={2000} }
LibreCat | Download (ext.)
 

2000 | Journal Article | LibreCat-ID: 18617
@article{Schindlmayr_2000, title={Decay properties of the one-particle Green function in real space and imaginary time}, volume={62}, DOI={10.1103/PhysRevB.62.12573}, number={19}, journal={Physical Review B}, publisher={American Physical Society}, author={Schindlmayr, Arno}, year={2000}, pages={12573–12576} }
LibreCat | Files available | DOI | WoS
 

2000 | Conference Paper | LibreCat-ID: 8336
@inproceedings{Depke_Heckel_Küster_2000, title={Deploying Agents in an Electronic Banking Environment}, booktitle={Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19401
@inbook{Eke_2000, place={Bielefeld}, title={Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis’ autobiographische Fragmente Erinnerungen aus meinem Leben}, booktitle={Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz}, publisher={Aisthesis}, author={Eke, Norbert Otto}, editor={Beutin, Wolfgang and Stein, PeterEditors}, year={2000}, pages={55–80} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6692
@article{Bendfeld_Gruffke_Ortjohann_Voss_2000, title={Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte}, volume={3}, journal={Bundes Bau Blatt}, publisher={Ministerium für Verkehr, Bau- und Wohnungswesen}, author={Bendfeld, Jörg and Gruffke, Michael and Ortjohann, Egon and Voss, Jürgen}, year={2000} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed