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.
2545 Publications
1999 | Conference Paper | LibreCat-ID: 3254
@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }
LibreCat
1999 | Book Chapter | LibreCat-ID: 27936
@inbook{Schlegel-Matthies_1999, title={Interkulturelle Bildung als Aufgabe haushaltsbezogenen Unterrichts}, booktitle={Internationale Perspektiven in Hauswirtschaft und Haushaltswissenschaft. 20 Jahre Beirat. Dokumentations- und Diskussionsbeiträge}, publisher={Baltmannsweiler}, author={Schlegel-Matthies, Kirsten}, editor={Thiele-Wittig, M.}, year={1999}, pages={25–31} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 17864
@inproceedings{Fischer_Lukovszki_Ziegler_1999, place={Vancouver}, title={Partitioned neighborhood spanners of minimal outdegree}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry}, author={Fischer, Matthias and Lukovszki, Tamas and Ziegler, Martin}, year={1999} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18959
@inproceedings{Lukovszki_1999, title={New Results on Fault Tolerant Geometric Spanners}, DOI={10.1007/3-540-48447-7_20}, booktitle={Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS}, author={Lukovszki, Tamás}, year={1999}, pages={193–204} }
LibreCat
| DOI
1999 | Conference (Editor) | LibreCat-ID: 7792
@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }
LibreCat
1999 | Journal Article | LibreCat-ID: 7693
@article{Eshlaghi_Meier_Suter_Reuter_Wieck_1999, title={Depth profile of the implantation-enhanced intermixing of Ga+ focused ion beam in AlAs/GaAs quantum wells}, volume={86}, DOI={10.1063/1.371720}, number={11}, journal={Journal of Applied Physics}, publisher={AIP Publishing}, author={Eshlaghi, Soheyla and Meier, Cedrik and Suter, Dieter and Reuter, D. and Wieck, A. D.}, year={1999}, pages={6605–6607} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 11805 | 
@inproceedings{Harris_Aubert_Haeb-Umbach_Beyerlein_1999, title={A study of broadcast news audio stream segmentation and segment clustering}, booktitle={Eurospeech}, author={Harris, Matthew J. and Aubert, Xavier L. and Haeb-Umbach, Reinhold and Beyerlein, Peter}, year={1999} }
LibreCat
| Download (ext.)
1999 | Conference Paper | LibreCat-ID: 15809
@inproceedings{Hüllermeier_Dubois_Prade_1999, title={Fuzzy rules in case-based reasoning}, booktitle={In Proceedings RàPC-1999, Raisonnement à partir de Cas, Paris Palaiseau, France, In Conferences AFIA-1999}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, year={1999}, pages={45–54} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 15232
@inproceedings{Hüllermeier_Dubois_Prade_1999, title={Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation}, booktitle={in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, editor={Zimmermann, H.J.Editor}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 17506
@inproceedings{Peckhaus_1999, place={Providence, R.I.}, title={19th Century Logic: Between Philosophy and Mathematics}, booktitle={Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998}, author={Peckhaus, Volker}, editor={Tattersall, J.J.}, year={1999}, pages={1–20} }
LibreCat