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.

10078 Publications


1998 | Conference Paper | LibreCat-ID: 8281
Structured Transition Systems as Lax Coalgebras
A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
Model Checking Graph-Interpreted Temporal Formulas
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 16890
Dreidimensionale Welten auf flachen Bildschirmen
G. Domik-Kienegger, S. Vollbracht, in: Zeitschrift Forschungsforum Paderborn , 1998.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 10196
3- and 4-critical graphs of small even order
G. Brinkmann, E. Steffen, Discrete Mathematics 188 (1997) 193–197.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 13859
A High Resolution Investigation of the Anisotropic Electron-Positron Momentum Distribution in Diamond
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Materials Science Forum 255–257 (1997) 475–478.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 13777
As on InP(110) studied within density-functional theory
U. Grossner, W.G. Schmidt, F. Bechstedt, Physical Review B 56 (1997) 6719–6726.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 1445
KnittingFactory: An Infrastructure for Distributed Web Applications
A. Baratloo, M. Karaul, H. Karl, Z.M. Kedem, Technical Report (1997).
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 14991
A user-adaptive chart editing system based on user modeling and critiquing
B. Gutkauf, S. Thies, G. Domik, in: User Modeling, 1997, pp. 159–170.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 15571
La fondazione del punto matematico nella filosofia di Tommaso Campanella
R. Hagengruber, Bruniana & Campanelliana 3 (1997) 77–92.
LibreCat | Download (ext.)
 

1997 | Conference Paper | LibreCat-ID: 2013
A Closer Step towards Management of Metacomputing-Resources
M. Brune, C. Hellmann, A. Keller, in: Proc. Workshop Hypercomputing at ITG/GI-Conference Architekur von Rechensystemen, Rostock, Germany, 1997.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: Default

Export / Embed