en
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
Corradini, Andrea, et al. “Structured Transition Systems as Lax Coalgebras.” Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), vol. 11, Elsevier, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.” Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16890
Domik-Kienegger, Gitta, and S. Vollbracht. “Dreidimensionale Welten Auf Flachen Bildschirmen.” Zeitschrift Forschungsforum Paderborn , 1998.
LibreCat
1997 | Journal Article | LibreCat-ID: 10196
Brinkmann, Gunnar, and Eckhard Steffen. “3- and 4-Critical Graphs of Small Even Order.” Discrete Mathematics, vol. 188, 1997, pp. 193–97.
LibreCat
1997 | Journal Article | LibreCat-ID: 13859
Nilen, R. W. N., et al. “A High Resolution Investigation of the Anisotropic Electron-Positron Momentum Distribution in Diamond.” Materials Science Forum, vol. 255–257, 1997, pp. 475–78, doi:10.4028/www.scientific.net/msf.255-257.475.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 13777
Grossner, U., et al. “As on InP(110) Studied within Density-Functional Theory.” Physical Review B, vol. 56, no. 11, 1997, pp. 6719–26, doi:10.1103/physrevb.56.6719.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 1445
Baratloo, A., et al. “KnittingFactory: An Infrastructure for Distributed Web Applications.” Technical Report, 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 14991
Gutkauf, Bernd, et al. “A User-Adaptive Chart Editing System Based on User Modeling and Critiquing.” User Modeling, 1997, pp. 159–70.
LibreCat
1997 | Journal Article | LibreCat-ID: 15571
Hagengruber, Ruth. “La fondazione del punto matematico nella filosofia di Tommaso Campanella.” Bruniana & Campanelliana, vol. 3, no. 1, 1997, pp. 77–92.
LibreCat
| Download (ext.)
1997 | Conference Paper | LibreCat-ID: 2013
Brune, Matthias, et al. “A Closer Step towards Management of Metacomputing-Resources.” Proc. Workshop Hypercomputing at ITG/GI-Conference Architekur von Rechensystemen, 1997.
LibreCat