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.

14243 Publications


2000 | Journal Article | LibreCat-ID: 3247
@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4894
@article{Fahr_Irlenbusch_2000, title={Fairness as a constraint on trust in reciprocity: earned property rights in a reciprocal exchange experiment}, number={3}, journal={Economics Letters}, author={Fahr, Ren{\’e} and Irlenbusch, Bernd}, year={2000}, pages={275--282} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13756
@article{Pulci_Lüdge_Schmidt_Bechstedt_2000, title={First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces}, volume={464}, DOI={10.1016/s0039-6028(00)00729-9}, journal={Surface Science}, author={Pulci, Olivia and Lüdge, Kathy and Schmidt, Wolf Gero and Bechstedt, F}, year={2000}, pages={272–282} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15109
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Blanzieri, E. and Portinale, L.Editors}, year={2000}, pages={61–73} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15808
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={In Proceedings RàPC-2000, Raisonnement à partir de Cas, Toulouse, France}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, year={2000}, pages={7–16} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14845
@inproceedings{Hüllermeier_2000, title={Focusing search by using problem solving experience}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={55–59} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8342
@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}, volume={1779}, DOI={http://dx.doi.org/10.1007/3-540-45104-8_28}, booktitle={Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}, publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000}, pages={359–368}, collection={LNCS} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16234
@inbook{Dubois_Hüllermeier_Prade_2000, title={Formalizing case-based inference using fuzzy rules}, booktitle={Soft Computing in Case-Based Reasoning}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Pal, S.K. and So, D.Y. and Dillon, T.Editors}, year={2000}, pages={47–72} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
@inproceedings{Depke_Heckel_2000, title={Formalizing the Development of Agent-Based Systems Using Graph Processes}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Depke, Ralph and Heckel, Reiko}, year={2000}, pages={419–426} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2145
@article{Scheideler_Vöcking_2000, title={From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols}, volume={30}, DOI={10.1137/S0097539799353431}, number={4}, journal={SIAM J. Comput.}, author={Scheideler, Christian and Vöcking, Berthold}, year={2000}, pages={1126--1155} }
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed