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.

13543 Publications


1998 | Book Review | LibreCat-ID: 18304
@article{Peckhaus_1998, title={Macintyre, Angus/Wilkie, A.J., “On the Decidability of the Real Exponential Field”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 441–467}, number={Zbl. 896.03012}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03012]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18239
@article{Peckhaus_1998, title={Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 52–72}, number={Zbl. 878.03006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03006]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18303
@article{Peckhaus_1998, title={McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334}, number={Zbl. 896.03007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03007]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18234
@article{Peckhaus_1998, title={McGinn, Marie, Wittgenstein and the Philosophical Investigations, Routledge: London 1997}, number={Zbl. 878.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03002]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18309
@article{Peckhaus_1998, title={Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 469–492}, number={Zbl. 897.03053}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 897.03053]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 13060
@inbook{Hellebrand_Wunderlich_Hertwig_1998, place={In: M. Nicolaidis, Y. Zorian, D. K. Pradhan (Eds.): On-Line Testing for VLSI, Boston: Kluwer Academic Publishers 1998}, series={5}, title={Mixed-Mode BIST Using Embedded Processors}, booktitle={Mixed-Mode BIST Using Embedded Processors}, publisher={{Kluwer Academic Publishers}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre}, year={1998}, collection={5} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 13061
@article{Hellebrand_Wunderlich_Hertwig_1998, title={Mixed-Mode BIST Using Embedded Processors}, volume={12}, number={1/2}, journal={{Journal of Electronic Testing Theory and Applications - JETTA}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre}, year={1998}, pages={127–138} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
@inproceedings{Gadducci_Heckel_Koch_1998, place={Paderborn}, title={Model Checking Graph-Interpreted Temporal Formulas}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1998} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8905
@inproceedings{Hemsel_Krome_Littmann_Wallaschek_1998, place={Ilmenau, Deutschland}, title={Modellierung piezoelektrischer Stapel- und Vielschichtaktoren für dynamischen Betrieb}, booktitle={Proceedings 2. Polnisch-Deutscher Workshop “Werkzeuge der Mechatronik”}, author={Hemsel, Tobias and Krome, Jürgen and Littmann, Walter and Wallaschek, Jörg}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18295
@article{Peckhaus_1998, title={Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 79–80}, number={Zbl. 894.01014}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01014]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Report | LibreCat-ID: 18145
@book{Ziegler_Fischer_Lukovszki_1998, title={Multimediale Entdeckungsreisen unserer Welt mit dem Internet}, author={Ziegler, Martin and Fischer, Matthias and Lukovszki, Tamás}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18233
@article{Peckhaus_1998, title={Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [9.4], 173–184}, number={Zbl. 878.00006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.00006]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 19206
@inbook{Seng_Saage_1998, place={Baden Baden}, title={Naturalisierte Utopien zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst}, booktitle={Bürgersinn und Kritik, Festschrift für Udo Bermbach zum 60. Geburtstag}, author={Seng, Eva- Maria and Saage, Richard}, editor={Greven, Michael Th. and Münkler, Herfried and Schmalz-Bruns, RainerEditors}, year={1998}, pages={207–238} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18297
@article{Peckhaus_1998, title={Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 81–88}, number={Zbl. 895.01006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01006]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 13063
@inproceedings{N. Yarmolik_V. Klimets_Hellebrand_Wunderlich_1998, place={Szczyrk, Poland}, title={New Transparent RAM BIST Based on Self-Adjusting Output Data Compression}, booktitle={{Design \& Diagnostics of Electronic Circuits \& Systems}}, author={N. Yarmolik, Vyacheslav and V. Klimets, Yuri and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998}, pages={27–33} }
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 4604
@inbook{Abberger_Feng_Heiler_1998, place={Heidelberg}, title={Nonparametric Smoothing and Quantile Estimation in Time Series}, booktitle={Risk Measurement, Econometrics and Neural Networks. Contributions to Economics. }, publisher={Physica-Verlag HD}, author={Abberger, Klaus and Feng, Yuanhua and Heiler, Siegfried}, editor={Bol, Georg and Nakhaeizadeh , Gholamreza and Vollmer, Karl-HeinzEditors}, year={1998}, pages={1–16} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15303
@inproceedings{Hüllermeier_1998, title={Numerical solutions for fuzzy initial value problems}, booktitle={in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia}, author={Hüllermeier, Eyke}, editor={Borne, P. and Ksouri, M. and El Kamel, A.Editors}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18223
@article{Peckhaus_1998, title={Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996}, number={Zbl. 873.00010/894.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 873.00010/894.03002]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18307
@article{Peckhaus_1998, title={Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415}, number={Zbl. 897.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 897.03005]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Dissertation | LibreCat-ID: 18445
@book{Oesterdiekhoff_1998, place={Universität Paderborn}, title={On Periodic Comparator Networks}, author={Oesterdiekhoff, Brigitte}, year={1998} }
LibreCat
 

1998 | Dissertation | LibreCat-ID: 7587
@book{Heckel_1998, title={Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems}, author={Heckel, Reiko}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18300
@article{Peckhaus_1998, title={Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 89–96}, number={Zbl. 895.01010}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01010]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3257
@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={10.1007/978-3-540-49382-2_26}, booktitle={Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

1998 | Book Chapter | LibreCat-ID: 15615
@inbook{Hagengruber_1998, place={Münster}, title={Philosophinnen}, booktitle={Feministische Hochschuldidaktik. Materialien der Koblenzer Frauenstudien}, publisher={Lit-Verlag}, author={Hagengruber, Ruth}, editor={De Sotelo, ElisabethEditor}, year={1998}, pages={185–246} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 6538
@inproceedings{Bendfeld_Bröker_Carvalho_Menne_Ortjohann_Temme_Voß_1998, place={Köln}, title={Photovoltaik- und windkraftbetriebene Umkehrosmoseanlage im Inselbetrieb}, booktitle={DGS/ISES, 11. Intern. Sonnenforum 1998}, author={Bendfeld, Jörg and Bröker, C. and Carvalho, Paulo Maeces Cesar de and Menne, K. and Ortjohann, Egon and Temme, L. and Voß, Jürgen}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18299
@article{Peckhaus_1998, title={Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102}, number={Zbl. 895.01008}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01008]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 3621
@article{Harteis_Prenzel_1998, title={Qualifications needed by educational staff working in the field of further education in the industrial sector-Results of a Delphi-study carried out in an industrial enterprise}, volume={44}, number={4}, journal={ZEITSCHRIFT FUR PADAGOGIK}, author={Harteis, Christian and Prenzel, Manfred}, year={1998}, pages={583--601} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 16563
@inproceedings{Cole_Maggs_Meyer auf der Heide_Mitzenmacher_Richa_Schröder_Sitaraman_Vöcking_1998, title={Randomized protocols for low-congestion circuit routing in multistage interconnection networks}, DOI={10.1145/276698.276790}, booktitle={Proceedings of the thirtieth annual ACM symposium on Theory of computing  - STOC ’98}, author={Cole, Richard and Maggs, Bruce M. and Meyer auf der Heide, Friedhelm and Mitzenmacher, Michael and Richa, Andréa W. and Schröder, Klaus and Sitaraman, Ramesh K. and Vöcking, Berthold}, year={1998} }
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 10607
@article{Platzner_1998, title={Reconfigurable Computer Architectures}, volume={115}, journal={e&i Elektrotechnik und Informationstechnik}, publisher={Springer}, author={Platzner, Marco}, year={1998}, pages={143–148} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 13771
@article{Shkrebtii_Esser_Richter_Schmidt_Bechstedt_Fimland_Kley_Del Sole_1998, title={Reflectance Anisotropy of GaAs(100): Theory and Experiment}, volume={81}, DOI={10.1103/physrevlett.81.721}, number={3}, journal={Physical Review Letters}, author={Shkrebtii, A. I. and Esser, N. and Richter, W. and Schmidt, Wolf Gero and Bechstedt, F. and Fimland, B. O. and Kley, A. and Del Sole, R.}, year={1998}, pages={721–724} }
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 7694
@article{Tscheuschner_Hoch_Leschinsky_Meier_Theis_Wieck_1998, title={Robustness of the Quantum Hall Effect, Sample Size Versus Sample Topology, and Quality Control Management of III–V Molecular Beam Epitaxy}, volume={12}, DOI={10.1142/s0217979298000636}, number={11}, journal={International Journal of Modern Physics B}, publisher={World Scientific Pub Co Pte Lt}, author={Tscheuschner, Ralf D. and Hoch, Sascha and Leschinsky, Eva and Meier, Cedrik and Theis, Sabine and Wieck, Andreas D.}, year={1998}, pages={1147–1170} }
LibreCat | DOI
 

1998 | Book Review | LibreCat-ID: 18271
@article{Peckhaus_1998, title={Rodych, Victor, “Wittgenstein on Mathematical Meaningfulness, Decidability, and Application”, Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224}, number={Zbl. 891.00007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 891.00007]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 16503
@article{Meyer auf der Heide_Schröder_Schwarze_1998, title={Routing on networks of optical crossbars}, volume={196}, DOI={10.1016/s0304-3975(97)86791-6}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm and Schröder, Klaus and Schwarze, Frank}, year={1998}, pages={181–200} }
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 2009
@inproceedings{Brune_Gehring_Keller_Reinefeld_1998, place={Edmonton, Canada}, series={LNCS}, title={RSD - Resource and Service Description}, DOI={10.1007/978-1-4615-5611-4_18}, booktitle={Proc. Int. Conf. on High-Performance Computing Systems (HPCS)}, author={Brune, Matthias and Gehring, Jörn and Keller, Axel and Reinefeld, Alexander}, year={1998}, collection={LNCS} }
LibreCat | DOI
 

1998 | Book Review | LibreCat-ID: 18222
@article{Peckhaus_1998, title={Russell, Bertrand, Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater, Reprint der Ausgabe von 1919, Routledge: London/New York 1993}, number={Zbl. 877.03001; Erstdruck mit falscher bibliographischer Angabe Zbl. 865.03001}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.03001; Erstdruck mit falscher bibliographischer Angabe Zbl. 865.03001]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 3396
@inbook{Gries_Jungblut_Meyer_1998, title={Russland vor der Schuldenfalle?}, booktitle={Vestnik Sankt Peterskogo Universiteta – Seraja Ekonomiceskaja, St. Petersburg}, author={Gries, Thomas and Jungblut, Stefan and Meyer, H.}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18298
@article{Peckhaus_1998, title={Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 103–108}, number={Zbl. 895.01007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01007]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18232
@article{Peckhaus_1998, title={Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270}, number={Zbl. 877.03011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.03011]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18269
@article{Peckhaus_1998, title={Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108}, number={Zbl. 889.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03002]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18245
@article{Peckhaus_1998, title={Schulz, Klaus-Dieter, Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie, Peter Lang: Frankfurt a.M. u.a. 1997}, number={Zbl. 881.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 881.03002]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 8466
@article{Kremer_Schwetz_1998, title={Selbstgesteuerte Weiterbildung von Ausbildern. Eine betriebspädagogische Studie}, number={25}, journal={Kölner Zeitschrift für Wirtschaft und Pädagogik}, author={Kremer, H.-Hugo and Schwetz, U.}, year={1998}, pages={189–193} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 13008
@inproceedings{Hellebrand_Wunderlich_N. Yarmolik_1998, place={Paris, France}, title={Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs}, DOI={10.1109/date.1998.655853}, booktitle={{IEEE Design, Automation and Test in Europe (DATE’98)}}, publisher={{IEEE (Comput.Soc)}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and N. Yarmolik, Vyacheslav}, year={1998}, pages={173–179} }
LibreCat | DOI
 

1998 | Conference (Editor) | LibreCat-ID: 7793
@book{Engels_Ehrig_Orejas_Wirsing_1998, series={Dagstuhl-Seminar-Report}, title={Semi-Formal and Formal Specification Techniques}, volume={218}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1998}, collection={Dagstuhl-Seminar-Report} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8282
@inproceedings{Heckel_Hoffmann_Knirsch_Kuske_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Simple Modules for Grace}, volume={1764}, booktitle={Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Heckel, Reiko and Hoffmann, Berthold and Knirsch, Peter and Kuske, Sabine}, year={1998}, pages={215–224}, collection={LNCS} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 10193
@article{Brinkmann_Steffen_1998, title={Snarks and reducibility}, volume={50}, journal={Ars Combinatoria}, author={Brinkmann, Gunnar and Steffen, Eckhard}, year={1998}, pages={292–296} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18212
@article{Peckhaus_1998, title={Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [9.4], 45–59}, number={Zbl. 876.00012}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 876.00012]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 2012
@article{Brune_Gehring_Keller_Monien_1998, title={Specifying Resources and Services in Metacomputing Environments}, volume={24}, DOI={10.1016/S0167-8191(98)00076-3}, journal={Parallel Computing}, publisher={Elsevier}, author={Brune, Matthias and Gehring, Jörn and Keller, Axel and Monien, Burkhard}, year={1998}, pages={1751–1776} }
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 18620
@article{Schindlmayr_Pollehn_Godby_1998, title={Spectra and total energies from self-consistent many-body perturbation theory}, volume={58}, DOI={10.1103/PhysRevB.58.12684}, number={19}, journal={Physical Review B}, publisher={American Physical Society}, author={Schindlmayr, Arno and Pollehn, Thomas Joachim and Godby, Rex William}, year={1998}, pages={12684–12690} }
LibreCat | Files available | DOI | WoS
 

1998 | Dissertation | LibreCat-ID: 19639
@book{Vöcking_1998, place={Universität Paderborn}, title={Static and Dynamic Data Management in Networks}, author={Vöcking, Berthold}, year={1998} }
LibreCat | Files available
 

1998 | Conference Paper | LibreCat-ID: 8281
@inproceedings{Corradini_Große-Rhode_Heckel_1998, series={Electronic Notes in Theoretical Computer Science}, title={Structured Transition Systems as Lax Coalgebras}, volume={11}, booktitle={Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)}, publisher={Elsevier}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1998}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed