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
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4894 LibreCat
 

2000 | Journal Article | LibreCat-ID: 13756
First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces
O. Pulci, K. Lüdge, W.G. Schmidt, F. Bechstedt, Surface Science 464 (2000) 272–282.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15109
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 61–73.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15808
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14845
Focusing search by using problem solving experience
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 55–59.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8342
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16234
Formalizing case-based inference using fuzzy rules
D. Dubois, E. Hüllermeier, H. Prade, in: S.K. Pal, D.Y. So, T. Dillon (Eds.), Soft Computing in Case-Based Reasoning, Springer, 2000, pp. 47–72.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
Formalizing the Development of Agent-Based Systems Using Graph Processes
R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2145
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed